52d0f02e0a
add option -no-autoload
2013-11-26 13:48:34 +00:00
5b0adae849
fix startup files autoloading and allow to disable it
2013-11-26 13:22:36 +00:00
d11d83ba65
fix #7 : avoid a stack overflow in UTop_lexer
2013-11-20 10:58:33 +00:00
bc85016584
fix #38
...
Handle errors from custom camlp4 ast filters
2013-11-20 09:41:06 +00:00
d6e3dd0551
load every files in $OCAML_TOPLEVEL_PATH/autoload at startup
2013-11-04 12:58:15 +00:00
cad0bb92da
avoid record disambiguation warning
2013-10-25 10:52:32 +01:00
3f5ebae989
more syntax errors
2013-10-25 10:52:05 +01:00
7d56719b15
add completion on typeof directive
2013-10-16 14:33:02 +02:00
7b1984b7bc
extend typeof directive
2013-10-16 10:18:44 +02:00
5e99e350c2
fix compilation with ocaml < 4.01
2013-08-08 11:50:17 -04:00
e4962e3f73
fix #30
2013-08-07 12:35:02 -04:00
893cd5f327
compile with findlib < 1.4
2013-08-07 12:10:10 -04:00
5b5839c039
hide topfind messages
2013-08-07 11:57:28 -04:00
99618eafd7
don't fail when a search path does not exist
2013-07-15 12:49:40 +01:00
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
e02a18b4d7
set the filename in the lexbuf
2013-07-12 12:02:18 +01:00
586bfbdc04
add the #typeof directive
2013-07-10 16:51:52 +01:00
cbc658ca41
handle LTerm_inputrc.Parse_error
2013-07-08 11:04:05 +01:00
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
b721aa054b
fix the split_words function in uTop.ml
2013-05-17 19:39:14 +01:00
c1ec47d83e
follow type aliases
2013-04-26 14:14:11 +01:00
c1bb8be73f
always show the box for backward search
2013-04-26 09:57:41 +01:00
8da5b260fa
add an option to hide the completion bar
2013-04-26 09:53:59 +01:00
725c6b0327
Merge pull request #8 from benkard/input-multi
...
Add multi-phrase input
2013-04-14 09:51:44 -07:00
c9e89f0079
Emacs: Enable the use of multi-phrase input on startup.
2013-04-14 14:01:40 +02:00
244c6cfe01
Apply maintainer's suggestions.
2013-04-14 13:32:04 +02:00
e8c1b5f8ca
change the '$' character in the prompt to '#' to match the standard
...
toplevel.
2013-04-05 17:21:50 +01:00
9deca3da21
`input-multi`: Fix error highlighting.
2013-04-03 22:53:12 +02:00
3c10f874bc
Support the `input-multi` command on the Emacs side.
2013-04-03 22:03:18 +02:00
022a271565
Fix a typo.
2013-04-03 22:02:56 +02:00
4db7da7a4c
uTop_main: Handle `input-multi` commands.
2013-04-03 21:21:57 +02:00
bef8cb8fed
Add function `parse_use_file`.
2013-04-03 21:21:52 +02:00
7e7116ca9d
fix detection of eof reaching when using camlp4
2013-03-09 19:15:14 +00:00
5123624b63
automatically load camlp4 when needed
2013-03-09 18:44:57 +00:00
ae1636cf45
added the option -show-reserved to disable [hide_reserved]
2013-02-06 17:27:09 -05:00
8da31fbdce
allow to hide identifiers starting with a '_'
...
Enabled by default.
2013-02-06 17:22:03 -05:00
77e525d17a
make sure -short-paths is the default with ocaml >= 4.01.0
2013-01-29 15:02:52 -05:00
b166bf9d17
added the command line option -short-paths for ocaml >= 4.01.0
2013-01-29 14:20:31 -05:00
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
6574b1252e
remove local variables from uTop_main.ml
...
Ignore-this: fec887057546e3d42782e2fb33a18bad
darcs-hash:20121015080512-c41ad-c684ef7b334e14ab95b71b85eb827a0aee0d153a
2012-10-15 10:05:12 +02:00
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
ee65d72abd
Showing type of an identifier at point
...
Ignore-this: 40b69923375d0ccdf6b1a98891b1bca6
darcs-hash:20120801020653-33bd9-7e0a38b19718bfe0965d9570388f9f5cb74dda48
2012-08-01 04:06:53 +02:00
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
718fb69db1
Print only OCaml preprocessor message loaded if it was really loaded
...
Ignore-this: b96ea788d929cf7dbb853adfa59e4213
darcs-hash:20120731235343-33bd9-711df107c2b3b4580c0c37fe8271e732a4caeada
2012-08-01 01:53:43 +02:00
e4796c8e51
car $ cdr -> cadr
...
Ignore-this: 2b5aa46e42282ee30710daaf8d735116
darcs-hash:20120731235124-33bd9-9fd2bf3a358e2ed54eac23aaa56df50ece816004
2012-08-01 01:51:24 +02:00
63bf082195
Add also pre-processor to file local variables in uTop_main as a proof of concept
...
Ignore-this: 930ca27ff89052f1d8d42e0f7d01fd88
darcs-hash:20120731235039-33bd9-bcc756ab753b24f1f776442a4276609e0d051e89
2012-08-01 01:50:39 +02:00
272f6f5c29
utop-ocaml-preprocessor - allow loading also pre-procesor from local file variables
...
Ignore-this: 50e32972f422612675d47fd9ce33fc43
darcs-hash:20120731234941-33bd9-16a892de7fff014771091a9a138380d665bdadd9
2012-08-01 01:49:41 +02:00
5a47685bfb
Factor out code to utop-eval-string
...
Ignore-this: 42d0ac92ee18eb0a7865743fe5058a5c
darcs-hash:20120731234841-33bd9-68f9230ddc9e8f41b48efa62dd9d048f2ae506d4
2012-08-01 01:48:41 +02:00
82cccd480a
Improvements for loading packages from the file local variables
...
Ignore-this: 8795ff387135ceb2b99ff8ae7f322875
darcs-hash:20120731231800-33bd9-adf29b40d61f7f63be893a8473edb6e77863b930
2012-08-01 01:18:00 +02:00
2691c736ef
allow to complete text in a tuareg buffer using the toplevel environment
...
Ignore-this: cdb99a49351689dc70386cf39083709
darcs-hash:20120716154000-c41ad-eac5e3f59960f62c93e1cf27f8e1ce982d9f9b95
2012-07-16 17:40:00 +02:00
Jeremie Dimino
Thomas Refis
Jérémie Dimino
Matthias Andreas Benkard
anil
wojciech.meyer