Type variables from the Cryptol environment are not in scope within type brackets {| |}

[brianhuffman]

SAWScript Int variables are added as numeric type variables to the Cryptol context for parsing expressions:

sawscript> let foo (n:Int) = {{ zero:[n] }}
sawscript> foo 8
Cryptol.ecZero
  (Cryptol.seq (Cryptol.TCNum 8)
     Prelude.Bool)

However, the same variables are not in scope when parsing types within {| |} brackets:

sawscript> let bar (n:Int) = {| [n] |}
sawscript> bar 8
Cryptol error:
[error] at <stdin>:1:23--1:24:
  Undefined type 'n'

[brianhuffman]

Even types defined in the Cryptol prelude are not in scope:

sawscript> print {| Bit |}

Cryptol error:
[error] at <stdin>:1:10--1:13:
  Undefined type 'Bit'