[GTK] Changer un String Option en String?

Bonjour, j'ai une variable contenant un string option mais j'aimerai le convertir en string ...

Une idée svp?

let str_op mot = match mot with
| Some x -> x
| _ -> raise Not_found

let afficher_export () =
let dlg = GWindow.file_chooser_dialog
~title:"Exporter le projet"
~action:`SAVE
~parent:ui#window1
~destroy_with_parent:true () in
dlg#add_button_stock `CANCEL `CANCEL;
dlg#add_select_button_stock `SAVE `SAVE;
let res = if dlg#run () = `SAVE then dlg#filename else None in
dlg#destroy ();
let t1 = if (ui#vbox2#misc#visible) then 1 else 0 in
let t2 = if (ui#vbox3#misc#visible) then 1 else 0 in
let t3 = if (ui#vbox4#misc#visible) then 1 else 0 in
let t4 = if (ui#vbox5#misc#visible) then 1 else 0 in
let track_tab = [|t1;t2;t3;t4|] in
Camlc.export_c (str_op res) track_tab

Bonjour,

Je ne suis pas sûr d'avoir tout saisi, mais je crois que tu as la réponse dans ta question. ;) Si c'est bien ça, le problème est d'ailleurs plus général que son utilisation dans LablGTK. Mais il y a peut-être autre chose qui m'échappe...

Code:

---

1 2 3 4 5

exception IsNone let get = function | Some x -> x | _ -> raise IsNone

---

Cordialement,
Cacophrène

Salut, oui la réponse était dans la question, seulement j'étais pas sur que ce soit ca, malgré des tests, mais le probleme est survenu au niveau d'une conversion de Caml vers C...

Enfin ce bout de code pourra servir pour d'autre

A ce propos mon projet arrive à son terme Cacophrene, je n'ai pas pu faire tout ce que j'avais voulu, mais le principal est la. Il sera dispo dans quelques temps sur stool.fr rubrique téléchargements

:ccool:

Bonjour,

Citation:

---

Envoyé par djsimca

A ce propos mon projet arrive à son terme Cacophrene, je n'ai pas pu faire tout ce que j'avais voulu, mais le principal est la. Il sera dispo dans quelques temps sur stool.fr rubrique téléchargements

---

Bien joué. :ccool: J'irais jeter un œil avec plaisir.

Cordialement,
Cacophrène