Panic: [Eval] fromVWord - not a word

[TomMD]

Just came across this exception and dropped out of the repl.

Main> :sat (\(e:[64]) -> (e@@[8..24]) != zero)
[warning] at <interactive>:1:1--1:36:
  Defaulting 4th type parameter
             of expression (@@)
             at <interactive>:1:17--1:19
  to 5
cryptol: You have encountered a bug in Cryptol's implementation.
*** Please create an issue at https://github.com/galoisinc/cryptol/issues

%< --------------------------------------------------- 
  Revision:  88983488fcdf9916eb18342b861b543ca2f8b1e5
  Branch:    master (non-committed files present during build)
  Location:  [Eval] fromVWord
  Message:   not a word
%< ---------------------------------------------------