Mercurial > urweb
diff src/mono_fooify.sig @ 2261:f81f1930c5d6
Fix SQL-parsing and declaration-ordering bugs.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Wed, 30 Sep 2015 00:33:52 -0400 |
| parents | 6f2ea4ed573a |
| children |
line wrap: on
line diff
--- a/src/mono_fooify.sig Mon Sep 28 22:16:51 2015 -0400 +++ b/src/mono_fooify.sig Wed Sep 30 00:33:52 2015 -0400 @@ -16,6 +16,7 @@ val lookup : t -> foo_kind -> int -> (int -> t -> vr * t) -> t * int val lookupList : t -> foo_kind -> Mono.typ -> (int -> t -> vr * t) -> t * int val enter : t -> t + (* This list should be reversed before adding to list of file declarations. *) val decls : t -> Mono.decl list val freshName : t -> int * t @@ -32,6 +33,7 @@ (* Easy-to-use interface in [Sqlcache]. Uses [Fm.canonical]. *) val canonicalFm : Fm.t ref (* Set at the end of [Monoize]. *) val urlify : MonoEnv.env -> Mono.exp * Mono.typ -> Mono.exp option +(* This list should be reversed before adding to list of file declarations. *) val getNewFmDecls : unit -> Mono.decl list end