diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-09-30 00:33:52 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-09-30 00:33:52 -0400 |
| commit | 36cb6a55281f753774e491cce3178eb8c927983e (patch) | |
| tree | e6b85d904b4e70406e2e2c2deab62ddd527a1bfe /src/mono_fooify.sig | |
| parent | 3c2143723af4a52064386104d2105137a77bd761 (diff) | |
Fix SQL-parsing and declaration-ordering bugs.
Diffstat (limited to 'src/mono_fooify.sig')
| -rw-r--r-- | src/mono_fooify.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mono_fooify.sig b/src/mono_fooify.sig index ef8f09c2..0cc72342 100644 --- a/src/mono_fooify.sig +++ b/src/mono_fooify.sig @@ -16,6 +16,7 @@ structure Fm : sig 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 @@ val fooifyExp : foo_kind (* 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 |