I am not able to reproduce this on my Ubuntu 12.10 VM. What version of GHC are you using? Do you have anything in your ~/.ghci file? What command are you running? Does putStrLn "Hello World" work? What is the active .cabal project? The GHCi interface is sensitive to changes in the way GHCi formats it output, so it is a bit fragile. Some things that will currently break it are... * Anything that tries to read input on stdin * :set prompt (Leksah uses the prompt to detect when the output finishes) I added some tests a while back to try to catch issues running GHCi. Can you please try this... cd leksah/vendor/leksah-server cabal install --enable-tests --force-reinstall You should see this near the end... Running 1 test suites... Test suite test-tool: RUNNING... Test suite test-tool: PASS Test suite logged to: dist/test/leksah-server-0.13.0.0-test-tool.log 1 of 1 test suites (1 of 1 test cases) passed. Thanks, Hamish On 7 Mar 2013, at 08:48, Alejandro Toribio Bello Ruiz wrote:

Leksah 0.13.2 compiled successfully on Ubuntu 12.10 following the new instructions on .travis.yml, but arise the old problem where the GHCi integration break when the first command set is from the debug scratch pane. This bug was fixed on Leksah 0.12.1.3. What happened? This issue is very import for my students. Would be very grateful if you fix this bug.

Regards

El viernes, 1 de marzo de 2013 23:04:59 UTC-5, Hamish escribió: 12.10 uses webkit 1.10 so the -fwebkit1.8 was probably tripping it up.

I have updated webkit so that webkit 1.8 is detected automatically and updated the .travis.yml file.

Please try again.

On 23 Feb 2013, at 06:20, alejandr...@gmail.com wrote:

...

I compiled Leksah 0.13.2 using Ubuntu 12.04 (I followed the instructions on .travis.yml). It was OK, but when I tried to compile with Ubuntu 12.10, I got the following error:

Building webkit-0.12.5... Preprocessing library webkit-0.12.5... gtk2hsC2hs: Errors during expansion of binding hooks:

webkit1.8/Graphics/UI/Gtk/WebKit/DOM/File.chs:17: (column 14) [ERROR] >>> Unknown identifier! Cannot find a definition for `webkit_dom_file_get_file_name' in the header file. webkit1.8/Graphics/UI/Gtk/WebKit/DOM/File.chs:23: (column 16) [ERROR] >>> Unknown identifier! Cannot find a definition for `webkit_dom_file_get_file_size' in the header file.

Can you help me, please?

Alejandro T. Bello Ruiz

-- You received this message because you are subscribed to the Google Groups "leksah" group. To unsubscribe from this group and stop receiving emails from it, send an email to leksah+un...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.

-- You received this message because you are subscribed to the Google Groups "leksah" group. To unsubscribe from this group and stop receiving emails from it, send an email to leksah+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.