search

dbuenzli / down

An OCaml toplevel (REPL) upgrade
http://erratique.ch/software/down
ISC License
81 stars 3 forks source link

Crash after trying to get type of empty (non-inputed) identifier #23

Closed Kakadu closed 5 years ago

Kakadu commented 5 years ago

To crash you need to load Down.0.0.2 and press Ctrl-T without pressing any other keys

# #use "down.top";;
Down v0.0.2 loaded. Type Down.help () for more info.
# Fatal error: exception Invalid_argument("index out of bounds")
dbuenzli commented 5 years ago

Thanks for the report !

Fourchaux commented 4 years ago

Sorry to re-open this, but I still have the same problem.

Config: OCaml 4.10.0+flambda - Down v0.0.2 (opam version) - Linux box x86_64.

dbuenzli commented 4 years ago

Mmmh it seems we need a release ! Can you please confirm opam pin down --dev works ?

Fourchaux commented 4 years ago

Yep, opam pin works.

dbuenzli commented 4 years ago

Thanks ! Will try to do a release over the weekend.