diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-09-27 03:52:14 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-09-27 03:52:14 -0400 |
| commit | f8d7c70d8f52003e14a66144a48bb4f06a1c185f (patch) | |
| tree | 4a51a711e16aa962b6347942120fa77743670333 /src/mono_fooify.sig | |
| parent | 97115c5f804824c024a0c08c288889d29f743e64 (diff) | |
Pure caching sort of works.
Diffstat (limited to 'src/mono_fooify.sig')
| -rw-r--r-- | src/mono_fooify.sig | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/mono_fooify.sig b/src/mono_fooify.sig index 9eb8038b..ef8f09c2 100644 --- a/src/mono_fooify.sig +++ b/src/mono_fooify.sig @@ -19,9 +19,6 @@ structure Fm : sig val decls : t -> Mono.decl list val freshName : t -> int * t - - (* Set at the end of [Monoize]. *) - val canonical : t ref end (* General form used in [Monoize]. *) @@ -32,7 +29,9 @@ val fooifyExp : foo_kind -> Mono.exp * Mono.typ -> Mono.exp * Fm.t -(* Easy-to-use special case used in [Sqlcache]. *) -val urlify : MonoEnv.env -> Mono.exp * Mono.typ -> Mono.exp +(* 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 +val getNewFmDecls : unit -> Mono.decl list end |