LablGTK-CRITICAL message

[RogerTarani]

trafficstars

Every time, the terminal used to launch ocaml-top throws a bunch of messages, whether all goes fine or not while editing and especially when evaluating OCaml code (when the toplevel is blocked, ocaml-top should be quitted).

1/ Is this a problem? Can it be fixed?

2/ What about the situation when the toplevel is blocked? Is Quit the only thing to do? (sometimes << can relaunch the toplelevel)

Configuration: ocaml-top 1.1.5 with Ocaml 4.06.1 on Debian Stretch

$ ocaml-top

(ocaml-top:6608): LablGTK-CRITICAL **: GSourceFunc: callback raised an exception

(ocaml-top:6608): GLib-CRITICAL **: Source ID 105783 was not found when attempting to remove it

(ocaml-top:6608): LablGTK-CRITICAL **: GSourceFunc: callback raised an exception

(ocaml-top:6608): GLib-CRITICAL **: Source ID 114740 was not found when attempting to remove it

(ocaml-top:6608): LablGTK-CRITICAL **: GSourceFunc: callback raised an exception

(ocaml-top:6608): GLib-CRITICAL **: Source ID 114743 was not found when attempting to remove it


(repeated)

[AltGr]

1/ Is this a problem? Can it be fixed?

ocaml blocking would be a problem. GTK messages spamming the console aren't in general (new ones appear with every version of GTK, and most programs using GTK have them...). The callback raised an exception seems slightly worrying, though.

2/ What about the situation when the toplevel is blocked?

:stop_button: or :rewind: should always work, otherwise it's a bug.

[RogerTarani]

1/ GTK messages Do you want more information about this callback raised an exception? And how can I get this information for you?

2/ Editor blocked again: :stop_button: : inactive :rewind: : active, when pressed toplevel is restarted but it doesn't solve the problem: in fact the text editor is blocked: Even with a ;;, the last line of code isn't left aligned (by ocp-indent?)

let s = Set.empty;;
           s.elements;;

Workaround: save the file [ctrl s], create new file [ctrl n] open the saved file [ctrl o], without necessarily relaunching the Toplelev with :rewind:. Note : I've just seen that the :stop_button: is strangely always inactive, even if I relaunch ocaml-top (on a Win7 machine where I first tried ocaml-top, I remember this button is always active).

[VKrishna04]

I dont know if this is the correct place but i have been searching for a solution to this

root@Dell:~# frama-c-gui -wp -wp-rte 12.c

** (frama-c-gui:7287): CRITICAL **: 21:54:47.243: GSourceFunc: callback raised an exception

this is stuck here till i press ctrl+c and abort this but gui is not opening up. This is frama-c in wsl2 Ubuntu in windows 10 Please help me or direct me in the correct direction. i have searched but did not find anything close to what i want.