4.10 Dynamic types: the Dynamic structure
eval
Function
- Structure
Shell.Dynamic
- Type
val eval: string -> dynamic
- Syntax
eval expr -> dynamic
- Argument
- expr
- A string of an ML expression to dynamically evaluate.
- Values
- dynamic
- The dynamic evaluation of expr.
- Description
- Given a string ML expression, evaluates it dynamically. If there is a type error, it raises
EvalError.
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker