Commit Graph

186 Commits

Author SHA1 Message Date
Martin Trojer 7290a63513 some boilerplate so utop.el can go up on melpa (http://melpa.milkbox.net/) 2014-03-07 14:59:29 +00:00
Jeremie Dimino 6101de8028 fix previous commit 2014-02-14 10:01:48 +00:00
Jeremie Dimino 991ae65caa make utop work with trunk 2014-02-14 09:53:18 +00:00
Jeremie Dimino 938da825d3 add Async_kernel.Ivar.Deferred.t to the async hack
Fixes janestreet/async_kernel#2
2014-02-10 09:42:34 +00:00
Jeremie Dimino cb2711067f emacs-mode: [tab] --> (kbd "TAB")
fixes #54
2014-01-17 09:17:53 +00:00
Jeremie Dimino ee400fe51b complete on #load_rec the same way as #load
closes #52
2014-01-09 08:46:16 +00:00
Jeremie Dimino 578c3771c5 add the -require command line argument 2013-12-10 15:19:10 +00:00
Jeremie Dimino 52d0f02e0a add option -no-autoload 2013-11-26 13:48:34 +00:00
Jeremie Dimino 5b0adae849 fix startup files autoloading and allow to disable it 2013-11-26 13:22:36 +00:00
Jeremie Dimino d11d83ba65 fix #7: avoid a stack overflow in UTop_lexer 2013-11-20 10:58:33 +00:00
Jeremie Dimino bc85016584 fix #38
Handle errors from custom camlp4 ast filters
2013-11-20 09:41:06 +00:00
Jeremie Dimino d6e3dd0551 load every files in $OCAML_TOPLEVEL_PATH/autoload at startup 2013-11-04 12:58:15 +00:00
Jeremie Dimino cad0bb92da avoid record disambiguation warning 2013-10-25 10:52:32 +01:00
Jeremie Dimino 3f5ebae989 more syntax errors 2013-10-25 10:52:05 +01:00
Thomas Refis 7d56719b15 add completion on typeof directive 2013-10-16 14:33:02 +02:00
Thomas Refis 7b1984b7bc extend typeof directive 2013-10-16 10:18:44 +02:00
Jeremie Dimino 5e99e350c2 fix compilation with ocaml < 4.01 2013-08-08 11:50:17 -04:00
Jeremie Dimino e4962e3f73 fix #30 2013-08-07 12:35:02 -04:00
Jeremie Dimino 893cd5f327 compile with findlib < 1.4 2013-08-07 12:10:10 -04:00
Jeremie Dimino 5b5839c039 hide topfind messages 2013-08-07 11:57:28 -04:00
Jeremie Dimino 99618eafd7 don't fail when a search path does not exist 2013-07-15 12:49:40 +01:00
Jeremie Dimino 3df2cccf51 change the trick for getting type errors
Instead of generating "module (_ : sig end) = struct <phrase> end", we
generate "let _ () = let module _ = struct <phrase> end in ()". This
avoid type errors due to the use of first-class module inside a
functor.
2013-07-15 09:24:18 +01:00
Jeremie Dimino e02a18b4d7 set the filename in the lexbuf 2013-07-12 12:02:18 +01:00
Jeremie Dimino 586bfbdc04 add the #typeof directive 2013-07-10 16:51:52 +01:00
Jeremie Dimino cbc658ca41 handle LTerm_inputrc.Parse_error 2013-07-08 11:04:05 +01:00
Jeremie Dimino 589f0707c4 fix UTop.check_phrase
The [get_ocaml_error_message] was done after the [Btype.backtrack] in
case of error, causing the type to be displayed incorrectly.
2013-05-21 10:26:59 +01:00
Jérémie Dimino b721aa054b fix the split_words function in uTop.ml 2013-05-17 19:39:14 +01:00
Jeremie Dimino c1ec47d83e follow type aliases 2013-04-26 14:14:11 +01:00
Jeremie Dimino c1bb8be73f always show the box for backward search 2013-04-26 09:57:41 +01:00
Jeremie Dimino 8da5b260fa add an option to hide the completion bar 2013-04-26 09:53:59 +01:00
Jérémie Dimino 725c6b0327 Merge pull request #8 from benkard/input-multi
Add multi-phrase input
2013-04-14 09:51:44 -07:00
Matthias Andreas Benkard c9e89f0079 Emacs: Enable the use of multi-phrase input on startup. 2013-04-14 14:01:40 +02:00
Matthias Andreas Benkard 244c6cfe01 Apply maintainer's suggestions. 2013-04-14 13:32:04 +02:00
Jérémie Dimino e8c1b5f8ca change the '$' character in the prompt to '#' to match the standard
toplevel.
2013-04-05 17:21:50 +01:00
Matthias Andreas Benkard 9deca3da21 `input-multi`: Fix error highlighting. 2013-04-03 22:53:12 +02:00
Matthias Andreas Benkard 3c10f874bc Support the `input-multi` command on the Emacs side. 2013-04-03 22:03:18 +02:00
Matthias Andreas Benkard 022a271565 Fix a typo. 2013-04-03 22:02:56 +02:00
Matthias Andreas Benkard 4db7da7a4c uTop_main: Handle `input-multi` commands. 2013-04-03 21:21:57 +02:00
Matthias Andreas Benkard bef8cb8fed Add function `parse_use_file`. 2013-04-03 21:21:52 +02:00
Jérémie Dimino 7e7116ca9d fix detection of eof reaching when using camlp4 2013-03-09 19:15:14 +00:00
Jérémie Dimino 5123624b63 automatically load camlp4 when needed 2013-03-09 18:44:57 +00:00
Jeremie Dimino ae1636cf45 added the option -show-reserved to disable [hide_reserved] 2013-02-06 17:27:09 -05:00
Jeremie Dimino 8da31fbdce allow to hide identifiers starting with a '_'
Enabled by default.
2013-02-06 17:22:03 -05:00
Jeremie Dimino 77e525d17a make sure -short-paths is the default with ocaml >= 4.01.0 2013-01-29 15:02:52 -05:00
Jeremie Dimino b166bf9d17 added the command line option -short-paths for ocaml >= 4.01.0 2013-01-29 14:20:31 -05:00
Jeremie Dimino 9d5578d6f8 refactoring of expression rewriting
Ignore-this: 3713a9bc8818619cb8fa0afdc14d6a41

- factorize the code between lwt and async stuff
- handle type aliases

darcs-hash:20121015094544-c41ad-167ffe2a9f5ecb8973914e9e57b9879c09f561af
2012-10-15 11:45:44 +02:00
Jeremie Dimino 6574b1252e remove local variables from uTop_main.ml
Ignore-this: fec887057546e3d42782e2fb33a18bad

darcs-hash:20121015080512-c41ad-c684ef7b334e14ab95b71b85eb827a0aee0d153a
2012-10-15 10:05:12 +02:00
anil 98421358fd async-autorun
Ignore-this: d1d8552acc992f5825101d2a81d29e13
Detect statements that have an Async Deferred type and run them in a
separate thread that blocks the top-level until completed.  This is
similar to the Lwt patch, except that the Deferred types may have a
few more type aliases, and must be wrapped into a unit closure.

darcs-hash:20121015060259-b29a9-51a32b2a217d3097169e5ad9ba4f222227426a79
2012-10-15 08:02:59 +02:00
wojciech.meyer ee65d72abd Showing type of an identifier at point
Ignore-this: 40b69923375d0ccdf6b1a98891b1bca6

darcs-hash:20120801020653-33bd9-7e0a38b19718bfe0965d9570388f9f5cb74dda48
2012-08-01 04:06:53 +02:00
wojciech.meyer 354b6d774a Allow C-j to eval with auto-end
Ignore-this: 8cd09eabbc6b9d5483a5aa380e2cb278

darcs-hash:20120801001337-33bd9-a5d76dab972820c41fc2beb40818a98013f111c6
2012-08-01 02:13:37 +02:00