Mercurial > urweb

comparison src/mono_fooify.sig @ 2261:f81f1930c5d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
2260:03b10c7fab9a 2261:f81f1930c5d6
14 val empty : int -> t 14 val empty : int -> t
15 15
16 val lookup : t -> foo_kind -> int -> (int -> t -> vr * t) -> t * int 16 val lookup : t -> foo_kind -> int -> (int -> t -> vr * t) -> t * int
17 val lookupList : t -> foo_kind -> Mono.typ -> (int -> t -> vr * t) -> t * int 17 val lookupList : t -> foo_kind -> Mono.typ -> (int -> t -> vr * t) -> t * int
18 val enter : t -> t 18 val enter : t -> t
19 (* This list should be reversed before adding to list of file declarations. *)
19 val decls : t -> Mono.decl list 20 val decls : t -> Mono.decl list
20 21
21 val freshName : t -> int * t 22 val freshName : t -> int * t
22 end 23 end
23 24
30 -> Mono.exp * Fm.t 31 -> Mono.exp * Fm.t
31 32
32 (* Easy-to-use interface in [Sqlcache]. Uses [Fm.canonical]. *) 33 (* Easy-to-use interface in [Sqlcache]. Uses [Fm.canonical]. *)
33 val canonicalFm : Fm.t ref (* Set at the end of [Monoize]. *) 34 val canonicalFm : Fm.t ref (* Set at the end of [Monoize]. *)
34 val urlify : MonoEnv.env -> Mono.exp * Mono.typ -> Mono.exp option 35 val urlify : MonoEnv.env -> Mono.exp * Mono.typ -> Mono.exp option
36 (* This list should be reversed before adding to list of file declarations. *)
35 val getNewFmDecls : unit -> Mono.decl list 37 val getNewFmDecls : unit -> Mono.decl list
36 38
37 end 39 end