summaryrefslogtreecommitdiff
path: root/src/monoize.sig
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2014-11-29 03:37:59 -0500
committerGravatar Ziv Scully <ziv@mit.edu>2014-11-29 03:37:59 -0500
commit476f12674420391e24afd1846e176eabe550d36c (patch)
tree005dcd53b84f29711c04508a9202f6c8e03c87c8 /src/monoize.sig
parentb59e6e96601c09bd97a4cce881c9b9f8bf8816a3 (diff)
Basic field-resolution invalidation.
Diffstat (limited to 'src/monoize.sig')
-rw-r--r--src/monoize.sig2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/monoize.sig b/src/monoize.sig
index 951db01b..549bf6ee 100644
--- a/src/monoize.sig
+++ b/src/monoize.sig
@@ -31,4 +31,6 @@ signature MONOIZE = sig
val liftExpInExp : int -> Mono.exp -> Mono.exp
+ val urlifiedUnit : Mono.exp
+
end