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
975d04b210
describe how to change key bindings
2013-07-08 11:12:07 +01:00
Jeremie Dimino
cbc658ca41
handle LTerm_inputrc.Parse_error
2013-07-08 11:04:05 +01:00
Jérémie Dimino
c5916882f2
Merge pull request #17 from lehy/patch-1
...
Add hint on using the opam-provided utop
2013-06-19 09:56:22 -07:00
lehy
3e84e20904
Add hint on using the opam-provided utop
2013-06-19 18:23:48 +02: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
Jérémie Dimino
2b7dadf4b5
version 1.5
2013-04-28 22:42:26 +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
2e0026da7c
add a Maintainers field to _oasis
2013-04-06 09:37:26 +01: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
a2d132e5e4
update dist script
2013-03-10 16:54:09 +00:00
Jérémie Dimino
51b24b6d5d
version 1.4
2013-03-10 16:44:58 +00: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
Jérémie Dimino
179fce4484
added a note about misconfiguration of CAML_LD_LIBRARY_PATH
2013-02-23 12:13:36 -05: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
427102aacb
new release
2013-01-29 15:52:13 -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
Jérémie Dimino
2e7fa1dbc7
recommend to install utop via opam in the readme
2013-01-18 23:29:58 -05:00
Jérémie Dimino
cce03d4c83
Add an example showing how to build a custom utop with ocamlbuild
2012-10-29 11:11:46 +01:00
Jérémie Dimino
30bbe90ac6
explain how to build a custom utop toplevel
2012-10-29 10:48:35 +01:00
Jérémie Dimino
91c6254145
typo in README.md
2012-10-20 11:43:05 +02:00
Jérémie Dimino
6e911b41dc
Add a Makefile
...
It compiles setup.ml to a native executable.
2012-10-17 11:36:33 +02:00
Jérémie Dimino
cd2f0bd205
move to git
2012-10-17 11:32:11 +02: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
wojciech.meyer
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
wojciech.meyer
e4796c8e51
car $ cdr -> cadr
...
Ignore-this: 2b5aa46e42282ee30710daaf8d735116
darcs-hash:20120731235124-33bd9-9fd2bf3a358e2ed54eac23aaa56df50ece816004
2012-08-01 01:51:24 +02:00
wojciech.meyer
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
wojciech.meyer
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