Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
187:fb6ed259f5bd | 188:8e9f97508f0d |
---|---|
51 | 51 |
52 val pushStruct : env -> int -> (string * Cjr.typ) list -> env | 52 val pushStruct : env -> int -> (string * Cjr.typ) list -> env |
53 val lookupStruct : env -> int -> (string * Cjr.typ) list | 53 val lookupStruct : env -> int -> (string * Cjr.typ) list |
54 | 54 |
55 val declBinds : env -> Cjr.decl -> env | 55 val declBinds : env -> Cjr.decl -> env |
56 | |
57 val classifyDatatype : (string * int * Cjr.typ option) list -> Cjr.datatype_kind | |
56 | 58 |
57 end | 59 end |