BONNEVALLE Vincent pushed to branch master at Stefan / Typer
Commits: c8d9a873 by n3f4s at 2016-12-05T15:23:57+01:00 read CTRL-d (EOF) as "%quit" in REPL
makes the REPL always exit when typing C-d
- - - - -
1 changed file:
- src/REPL.ml
Changes:
===================================== src/REPL.ml ===================================== --- a/src/REPL.ml +++ b/src/REPL.ml @@ -214,7 +214,7 @@ let readfiles files (i, lctx, rctx) prt = (* Specials commands %[command-name] [args] *) let rec repl i clxp rctx = let repl = repl (i + 1) in - let ipt = read_input i in + let ipt = try read_input i with End_of_file -> "%quit" in _history := ipt::!_history; match ipt with (* Check special keywords *)
View it on GitLab: https://gitlab.com/monnier/typer/commit/c8d9a87369e02bed4b101c935c01003cc353...
Afficher les réponses par date