diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-08 10:59:06 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-08 10:59:06 -0400 |
| commit | e2a9136ed7123cb8e5cac4a20cbce5467643ecd6 (patch) | |
| tree | cf96ee150816d9120f27370837c836e5641bbdd9 /src/core_env.sig | |
| parent | baf22271ef6e646c97ddfa1e4193a8857816c67d (diff) | |
Parametrized datatypes through corify
Diffstat (limited to 'src/core_env.sig')
| -rw-r--r-- | src/core_env.sig | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/core_env.sig b/src/core_env.sig index 220c1da8..b0cf8304 100644 --- a/src/core_env.sig +++ b/src/core_env.sig @@ -42,10 +42,10 @@ signature CORE_ENV = sig val pushCNamed : env -> string -> int -> Core.kind -> Core.con option -> env val lookupCNamed : env -> int -> string * Core.kind * Core.con option - val pushDatatype : env -> string -> int -> (string * int * Core.con option) list -> env - val lookupDatatype : env -> int -> string * (string * int * Core.con option) list + val pushDatatype : env -> string -> int -> string list -> (string * int * Core.con option) list -> env + val lookupDatatype : env -> int -> string * string list * (string * int * Core.con option) list - val lookupConstructor : env -> int -> string * Core.con option * int + val lookupConstructor : env -> int -> string * string list * Core.con option * int val pushERel : env -> string -> Core.con -> env val lookupERel : env -> int -> string * Core.con |