Autocomplete

[jpziegler]

Cryptol's REPL only seems to autocomplete on the first word. It would be nice to have a fuller version of autocomplete.

[brianhuffman]

Fixed in 8095862.

[weaversa]

Autocomplete is broken again.

Main> :t ta <tab>
:type  :type
Main> :t tail <tab>
:type  :type
Main> :t tail <enter>
tail : {a, b} [1 + a]b -> [a]b

[acfoltzer]

I've fixed this on the 2.1.0 branch, it will be incorporated into the next release and then merged back in to master.

[acfoltzer]

This was fixed in 2.1, is there more we need to do for 2.2?

[kiniry]

I misread your comment above and forgot to compare the comment date to the release date of 2.1.