Mercurial > urweb
diff src/cjr_env.sig @ 188:8e9f97508f0d
Datatype representation optimization
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Aug 2008 19:49:21 -0400 |
parents | 31dfab1d4050 |
children |
line wrap: on
line diff
--- a/src/cjr_env.sig Sun Aug 03 19:01:16 2008 -0400 +++ b/src/cjr_env.sig Sun Aug 03 19:49:21 2008 -0400 @@ -53,5 +53,7 @@ val lookupStruct : env -> int -> (string * Cjr.typ) list val declBinds : env -> Cjr.decl -> env + + val classifyDatatype : (string * int * Cjr.typ option) list -> Cjr.datatype_kind end