cryptol-mode REPL contains unwanted control codes

[david-christiansen]

When launching the REPL in cryptol-mode on a new file, I get the following errors:

                        _        _
   ___ _ __ _   _ _ __ | |_ ___ | |
  / __| '__| | | | '_ \| __/ _ \| |
 | (__| |  | |_| | |_) | || (_) | |
  \___|_|   \__, | .__/ \__\___/|_|
            |___/|_| version 2.1.0 (faab3ae)

�]0;cryptol��]0;cryptol�[error] can't find file: /Users/dchristiansen/tmp/Test.cry
cryptol> 
cryptol> 
Process cryptol finished
xo                        _        _
   ___ _ __ _   _ _ __ | |_ ___ | |
  / __| '__| | | | '_ \| __/ _ \| |
 | (__| |  | |_| | |_) | || (_) | |
  \___|_|   \__, | .__/ \__\___/|_|
            |___/|_| version 2.1.0 (faab3ae)

�]0;cryptol��]0;cryptol�Parse error at 3:1, unexpected end of input
cryptol> 

Github isn't showing the ^G characters that are also in it. Shouldn't these be stripped out?

[kiniry]

ping?

[thoughtpolice]

Blagh, sorry. This got swept under my mountain of 20,000 github notifications. I haven't experienced this on Linux IIRC - I'll test with Cryptol 2.2 soon.

[david-christiansen]

I'm not currently experiencing this in GNU/Linux with Cryptol 2.5.0 or the latest development version.

When this was reported, my work machine was a Mac, so that might be relevant.