Cryptol.Eval.Error

Documentation

evalPanic :: String -> [String] -> a

Panic from an Eval context.

data EvalError

Constructors

InvalidIndex Integer

TypeCannotBeDemoted Type

DivideByZero

WordTooWide Integer

UserError String

Instances

Show EvalError

Exception EvalError

PP EvalError

invalidIndex :: Integer -> a

A sequencing operation has gotten an invalid index.

typeCannotBeDemoted :: Type -> a

For things like `(inf) or `(0-1)

divideByZero :: a

For division by 0.

wordTooWide :: Integer -> a

For when we know that a word is too wide and will exceed gmp's limits (though words approaching this size will probably cause the system to crash anyway due to lack of memory)

cryUserError :: String -> a

For error