e838896e53
Use pcase in utop-compat-resolve
...
Simpler than cond (and pcase is available since emacs 24)
2018-02-26 22:23:00 +07:00
14c2282449
fix indentation
...
no semantic changes here
2018-02-26 22:23:00 +07:00
b46cf690a7
fix docstring of utop-compat-resolve
...
It forgot to mention the recently supported reason mode
2018-02-26 22:23:00 +07:00
262539ae26
Fix utop -vnum ( #231 )
...
The handler for 'utop -vnum' failed to terminate after printing the
version number.
2018-02-26 12:34:37 +00:00
89c3355a2b
Naive fix for 4.06.0
2017-11-06 18:45:27 +08:00
39d18c9541
Enable -safe-string everywhere
...
Useful for testing on OCaml < 4.06.0
2017-11-06 18:33:48 +08:00
202917d9d3
Resurect UTop_main.interact
2017-05-26 15:26:27 +01:00
1497232d4e
findlib_top --> findlib.top, topkg setup
2017-05-26 14:33:20 +01:00
ea49d8e947
Add support for Reason
...
Include the necessary hooks for phrase detection in Reason.
2017-05-09 07:43:46 +01:00
fa27469e60
typo
2017-05-04 17:55:47 +01:00
8ed78f2e39
Add command line option to enable implicitly generated bindings
2017-04-28 09:25:39 +01:00
1639367765
Bind expressions to _0, _1, etc. ( #161 , #193 )
2017-04-28 09:25:39 +01:00
e0b4e635c7
Fix #205
2017-04-26 08:41:43 +01:00
d9f198899b
Refactor hooks for better handling of phrase eval, closes #201 .
...
The patch tries to improve on the current way of evaluating a phrase and
skipping to the next. It removes both `utop-skip-to-end-of-phrase` and
`utop-skip-blank-and-comments`, but adds `utop-next-phrase-beginning`.
We assume `utop-discover-phrase` is always returning the end position as
at end of a `;;`. Thereafter we use `utop-next-phrase-beginning` to skip
to the next phase if `utop-skip-after-eval-phrase` is non-nil.
2017-04-24 07:54:13 +01:00
644278311d
Simplify #if directives
...
UTop does not support OCaml < 4.02 anymore.
2017-04-20 13:55:08 +01:00
5e419e3f82
Run ppx preprocessors for both "input" and "input-multi" commands
...
Fix #192
2017-04-20 11:03:27 +01:00
a71455b2fd
Fix directive name
2017-04-11 17:36:56 +01:00
4661944155
Add #utop_stash and #utop_save
...
- Strip colour terminal escapes from errors
- Store inputs and outputs seperately in UTop_history
- Add #utop_save, which prints inputs and outputs similar to a simple
prompt
2017-04-11 17:31:58 +01:00
6b8c78de58
stashing rebased (by chrismamo1)
2017-04-11 17:31:58 +01:00
f5ee983845
Link the toplevel with -linkall
2017-04-10 18:13:54 +01:00
4abe1ca311
Topfind.don't_load --> Topfind.don't_load_deeply
...
Since we don't use `ocamlfind ocamlmktop` anymore
2017-04-10 18:13:32 +01:00
f64e9d2e78
Replace handwritten ppf with Format.formatter_of_buffer call
...
- Behavior is identical
- Makes utop forward compatible with merged PR 595 of ocaml trunk
2017-04-05 13:34:41 +01:00
2f64eb4785
restore expunge
2017-04-04 13:36:28 +01:00
eae41f42a6
Removed camlp4/camlp5
2017-04-04 13:36:28 +01:00
ba3d278b32
Switch to jbuilder
2017-04-04 13:36:28 +01:00
f2015062fa
Mention #help in #utop_help ( #190 )
2016-11-16 07:47:24 +00:00
7dcdfaa6a9
Tab complete mod_use directives.
2016-10-07 12:14:58 -04:00
c6f3647a45
fix build on 4.02
2016-08-15 10:20:41 +01:00
f630fa0afc
fix conditional
2016-08-15 10:06:33 +01:00
d888ee5ba9
Fix 4.04 compatibility
...
Closes #173
2016-08-15 09:32:20 +01:00
61bfe67bfb
typo
2016-07-01 07:26:50 -06:00
57f8ac4437
make ppx_tools dependency optional
2016-04-25 10:57:01 +01:00
80f4b60058
Update for Asttypes.arg_label changes in 4.03.
...
This is required for utop to compile on 4.03.0+beta2.
2016-04-11 20:05:02 +00:00
35c740c312
fix 4.01 compatibility
2016-04-08 09:52:11 +01:00
8d12d48d32
cut search for UTop_main.interact to avoid loops
2016-03-11 16:37:46 +00:00
eff7153821
fix compatibility with 4.03
2016-03-02 17:46:55 +00:00
5bfd1ba632
setup directories properly
2016-02-24 11:08:20 +00:00
c816baf8fb
register missing compiler error printer
2016-02-24 11:03:51 +00:00
a51d79079a
handle errors in UTop_main.interact
2016-02-24 10:46:18 +00:00
05a0816d95
make UTop_main.interact work and add an example
2016-02-23 11:27:22 +00:00
fa05edcc93
first try at UTop_main.interact
2016-02-23 11:06:52 +00:00
fd7c663264
#156 : start of support for quoted strings
2016-02-04 08:06:11 +00:00
b63e0f9225
fallback to latin-1 instead of escaping with \yHH
...
Fixes #155
2016-02-01 08:55:17 +00:00
9e41bf85da
Better check for async rewrite
...
Resolve the types Async.Std.Deferred.t instead of hard-coding a list
of aliases.
Fix #137
2016-01-07 10:30:53 +00:00
e608977856
add a `#pwd` directive
...
Closes #149
2015-11-23 12:48:27 +00:00
5c58afb3de
Fix non-exist function
...
Emacs does not have 'replace-in-string' function.
2015-11-05 19:32:03 +09:00
0003236802
attempt at fixing #141
2015-11-02 15:10:51 +00:00
c41969dc62
allow to configure the external editor
2015-10-29 10:07:28 +00:00
8d104762ce
set temporary file for external editor
2015-10-29 09:55:31 +00:00
2a8762c0f7
update definition of Deferred.t
...
It is now Async_kernel.Deferred0.t.
Fixes #137
2015-08-17 10:19:49 +01:00
d1419acbb7
make sure is never called
...
This cause a failure when pressing Enter in history search mode
2015-08-07 11:03:25 +01:00
a721d13082
update error message for utop-setup-ocaml-buffer
2015-08-06 10:58:42 +01:00
86c68d118e
add UTop.set_margin_function
2015-08-04 11:44:36 +01:00
fccbafa75b
don't trust locations returned by the compiler
2015-08-04 11:26:28 +01:00
92fafe1f48
Add UTop.end_and_accept_current_phrase
...
Closes #131
2015-05-12 16:46:24 +01:00
90ffbe737a
build with trunk
2015-03-18 16:47:29 +00:00
0a386c3fb8
use simpler emacs features for utop-compat-resolve
...
Some people have complained about this in the past IIRC.
2015-01-12 09:56:50 +00:00
1fa1b1f0b3
simplify utop-compat-resolve
...
No need to try loading one of the major mode as utop-mode is now a
minor mode and has to be used in conjunction with the current major
mode of the buffer.
2015-01-12 09:36:54 +00:00
6e7314861e
Code review by @diml
...
- Changed default key-binding for utop to C-c C-s to match tuareg
default
- Add some compatibility functions to make the transition easier for
existing users
2015-01-11 13:20:03 +01:00
ff3a379c5b
Use autoload cookies
2015-01-02 13:06:48 +01:00
1290b09521
A step closer to not relying on other major mode's variables
2015-01-02 12:11:02 +01:00
3c958ebf2e
Use minor mode rather than overriding variables at runtime
2015-01-02 11:44:08 +01:00
884328596a
Re-export Config.load_path as UTop.load_path
...
This change helps to implement toplevel extensions that want
to find files in the load path, e.g. for improved error messages.
2014-12-11 23:25:12 +03:00
ff18d998b5
Add findlib predicate pkg_utop
...
This allows required packages to distinguish whether they are
loaded in regular toplevel or in utop, and thus call Toploop
functions or those in UTop.
2014-12-11 13:47:03 +03:00
970b308126
Use tuple comparisons, present since cppo 1.1.2.
2014-11-17 17:58:12 +03:00
b7259ae286
Merge pull request #111 from mads379/master
...
#108 Enable utop-command to be buffer-local
2014-11-05 11:59:39 +01:00
137151cca9
#108 Enable utop-command to be buffer-local
2014-11-04 17:44:28 +01:00
3fe804e340
Fix 4.01 compatibility.
2014-10-22 18:22:52 +04:00
f17f8f2959
Print out a nice message if trying to load camlp4 with no support.
...
This handles #camlp4o;; #camlp4r;; and also indirect cases
like #require "sexplib.syntax";;.
2014-10-20 20:04:18 +04:00
789417bfce
Migrate from deprecated Format functions.
2014-10-20 17:14:39 +04:00
2eea83a65f
Remove unused/deprecated autodetection from myocamlbuild.ml.
...
FINDLIB_VERSION is not used anymore.
compiler-libs are provided as a package in findlib >=1.4.
errors.cmi is now provided by compiler-libs.
2014-10-20 17:14:39 +04:00
6f7ac4559f
Remove compatibility with pre-4.01.0.
2014-10-20 17:14:39 +04:00
121b1a9e58
Get rid of lwt.syntax.
2014-10-20 16:20:55 +04:00
257bfa7eb6
Replace pa_optcomp with cppo.
2014-10-20 16:20:55 +04:00
2116ebdcfc
change error message formatting of #require
...
Before:
utop # #require "foo";;
No such package: foo""
After:
utop # #require "foo";;
No such package: foo
The quoted empty string due to %S can be confusing to students.
2014-10-17 11:57:32 -04:00
ea45f25c73
Implement wrapper for -safe-string ( fixes #93 ).
2014-09-08 23:25:25 +04:00
064d874e61
Prettier fix for closing completion buffer
2014-08-21 22:35:26 +02:00
081a10dadd
Close *Completions* buffer after evaluation
...
This is a quick fix for #84 . There might be a better place in the
code for the fix but this certainly does the trick.
2014-08-21 19:06:08 +02:00
50a398744a
handle Syntaxerr.Ill_formed_ast
2014-08-18 11:29:34 +01:00
fac09516fc
ignore completion errors from invalid cmis
2014-08-18 11:27:03 +01:00
1541f25520
Fix compatibility with 4.02.
2014-08-07 15:31:14 +04:00
87b0ca1807
handle module aliases for completion
2014-07-30 13:49:59 +01:00
8d35b32af0
fix #77
2014-07-28 10:18:45 +01:00
495336f330
Fix build on 4.00.1 and earlier.
2014-07-05 02:17:01 +04:00
deccc8ea16
Don't stylise uge strings
...
Fix #73
2014-06-24 14:26:09 +01:00
6124f722f0
fix for trunk
2014-05-14 11:37:13 +01:00
cc8793665f
Revert "Add a shim for #ppx directive for 4.02."
...
This reverts commit 5cda9ffb9911bf27a936
2014-05-13 18:41:50 +04:00
1dc2409107
Don't execute all phrases twice on >=4.02 ( fixes #69 ).
2014-05-12 14:25:44 +04:00
c179eadcdb
Implement autocompletion for #ppx.
2014-05-07 19:37:46 +04:00
5cda9ffb99
Add a shim for #ppx directive for 4.02.
...
The patch that adds it was accepted, but missed the merge window
for 4.02: https://github.com/ocaml/ocaml/pull/54#issuecomment-42351331
2014-05-07 19:35:37 +04:00
8c09e086f5
Run ppx preprocessors before typing and report their errors gracefully.
2014-05-06 21:37:32 +04:00
5305027a36
Update for 4.02.
2014-05-06 20:18:39 +04:00
0c745bcef5
Implement -dparsetree and -dsource options (refs #51 ).
2014-05-02 19:43:30 +04:00
72a7e7bfbe
Implement -ppx option ( fixes #63 ).
2014-05-02 19:38:57 +04:00
b0795906e5
fix for trunk
2014-05-02 10:58:05 +01:00
5be7134436
silence camlp4
2014-04-24 09:11:19 +01:00
d082071cea
supports -require for scripts
2014-04-11 16:06:09 +01:00
089aed899a
Support for React 1.0.0.
2014-03-27 13:58:45 +01:00
3fdec164a8
better boiler plate
2014-03-07 21:47:37 +00:00
7290a63513
some boilerplate so utop.el can go up on melpa ( http://melpa.milkbox.net/ )
2014-03-07 14:59:29 +00:00
6101de8028
fix previous commit
2014-02-14 10:01:48 +00:00
991ae65caa
make utop work with trunk
2014-02-14 09:53:18 +00:00
938da825d3
add Async_kernel.Ivar.Deferred.t to the async hack
...
Fixes janestreet/async_kernel#2
2014-02-10 09:42:34 +00:00
cb2711067f
emacs-mode: [tab] --> (kbd "TAB")
...
fixes #54
2014-01-17 09:17:53 +00:00
ee400fe51b
complete on #load_rec the same way as #load
...
closes #52
2014-01-09 08:46:16 +00:00
578c3771c5
add the -require command line argument
2013-12-10 15:19:10 +00:00
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
Rudi Grinberg
tuncer
Jeremie Dimino
Andrea Richiardi
Jérémie Dimino
Fabian
Deokhwan Kim
chrismamo1
Richard Bonichon
Leonid Rozenberg
Jared Forsyth
whitequark
Syohei YOSHIDA
Mads Hartmann Jensen
Maverick Woo
Daniel Bünzli
Martin Trojer
Thomas Refis
Matthias Andreas Benkard
anil
wojciech.meyer