diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-10 11:13:49 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-10 11:13:49 -0400 |
| commit | 5f2f492e122a26017496ed57d76ae39c6b1b254a (patch) | |
| tree | cd664060237ca5cd0fe162aa9d62c841e7c71328 /src/cjr_env.sig | |
| parent | 768dfadfe4717b0c3f7b207a4980c78288b44a93 (diff) | |
First executable generated
Diffstat (limited to 'src/cjr_env.sig')
| -rw-r--r-- | src/cjr_env.sig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/cjr_env.sig b/src/cjr_env.sig index 6a9b0e71..2aa785d5 100644 --- a/src/cjr_env.sig +++ b/src/cjr_env.sig @@ -34,6 +34,7 @@ signature CJR_ENV = sig exception UnboundRel of int exception UnboundNamed of int exception UnboundF of int + exception UnboundStruct of int val pushTNamed : env -> string -> int -> Cjr.typ option -> env val lookupTNamed : env -> int -> string * Cjr.typ option @@ -49,6 +50,9 @@ signature CJR_ENV = sig val pushF : env -> int -> string -> Cjr.typ -> Cjr.typ -> env val lookupF : env -> int -> string * Cjr.typ * Cjr.typ + val pushStruct : env -> int -> (string * Cjr.typ) list -> env + val lookupStruct : env -> int -> (string * Cjr.typ) list + val declBinds : env -> Cjr.decl -> env end |