Seems to work
[rops.git] / types.ml
blob8cf4d1b0e598f3129dacb0b6c42b2c0956169143
1 type symbol = string ;;
3 type scheme_object =
4 Int of int
5 | String of string
6 | Symbol of symbol
7 | Null
8 | True
9 | False
10 | Quotation of scheme_object
11 | ProperList of scheme_object list
12 | ImproperList of (scheme_object list) * scheme_object
13 | Closure of scheme_object * scheme_environment * (symbol list)
14 | Builtin of ((scheme_object list) -> (scheme_object option))
15 | Continuation of scheme_environment * (scheme_object list) * (scheme_object list list)
16 | RestoreEnv of scheme_environment
17 | Rewind
18 | Cond of (scheme_object * scheme_object)
19 | Set of string
20 | Bind of string
21 and
22 environment_frame = (string, scheme_object) Hashtbl.t
23 and
24 scheme_environment = environment_frame list
27 exception Scheme_cast_error;;
28 exception Scheme_eval_error of string;;
29 exception Scheme_user_error of scheme_object list;;