From 0b48781249e7062928ff78ae3469a508a3e31eaa Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Jun 2008 15:56:33 -0400
Subject: Closure conversion

---
 src/mono_util.sig | 118 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 118 insertions(+)
 create mode 100644 src/mono_util.sig

(limited to 'src/mono_util.sig')

diff --git a/src/mono_util.sig b/src/mono_util.sig
new file mode 100644
index 00000000..750a4d3c
--- /dev/null
+++ b/src/mono_util.sig
@@ -0,0 +1,118 @@
+(* Copyright (c) 2008, Adam Chlipala
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ *
+ * - Redistributions of source code must retain the above copyright notice,
+ *   this list of conditions and the following disclaimer.
+ * - Redistributions in binary form must reproduce the above copyright notice,
+ *   this list of conditions and the following disclaimer in the documentation
+ *   and/or other materials provided with the distribution.
+ * - The names of contributors may not be used to endorse or promote products
+ *   derived from this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *)
+
+signature MONO_UTIL = sig
+
+structure Typ : sig
+    val mapfold : (Mono.typ', 'state, 'abort) Search.mapfolder
+                  -> (Mono.typ, 'state, 'abort) Search.mapfolder
+
+    val map : (Mono.typ' -> Mono.typ')
+              -> Mono.typ -> Mono.typ
+
+    val fold : (Mono.typ' * 'state -> 'state)
+              -> 'state -> Mono.typ -> 'state
+
+    val exists : (Mono.typ' -> bool) -> Mono.typ -> bool
+end
+
+structure Exp : sig
+    datatype binder =
+             NamedT of string * int * Mono.typ option
+           | RelE of string * Mono.typ
+           | NamedE of string * int * Mono.typ * Mono.exp option
+
+    val mapfoldB : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder,
+                    exp : ('typtext, Mono.exp', 'state, 'abort) Search.mapfolderB,
+                    bind : 'typtext * binder -> 'typtext}
+                   -> ('typtext, Mono.exp, 'state, 'abort) Search.mapfolderB
+    val mapfold : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder,
+                   exp : (Mono.exp', 'state, 'abort) Search.mapfolder}
+                  -> (Mono.exp, 'state, 'abort) Search.mapfolder
+
+    val map : {typ : Mono.typ' -> Mono.typ',
+               exp : Mono.exp' -> Mono.exp'}
+              -> Mono.exp -> Mono.exp
+    val mapB : {typ : Mono.typ' -> Mono.typ',
+                exp : 'typtext -> Mono.exp' -> Mono.exp',
+                bind : 'typtext * binder -> 'typtext}
+               -> 'typtext -> (Mono.exp -> Mono.exp)
+
+    val fold : {typ : Mono.typ' * 'state -> 'state,
+                exp : Mono.exp' * 'state -> 'state}
+               -> 'state -> Mono.exp -> 'state
+                                        
+    val exists : {typ : Mono.typ' -> bool,
+                  exp : Mono.exp' -> bool} -> Mono.exp -> bool
+end
+
+structure Decl : sig
+    datatype binder = datatype Exp.binder
+
+    val mapfoldB : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder,
+                    exp : ('typtext, Mono.exp', 'state, 'abort) Search.mapfolderB,
+                    decl : ('typtext, Mono.decl', 'state, 'abort) Search.mapfolderB,
+                    bind : 'typtext * binder -> 'typtext}
+                   -> ('typtext, Mono.decl, 'state, 'abort) Search.mapfolderB
+    val mapfold : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder,
+                   exp : (Mono.exp', 'state, 'abort) Search.mapfolder,
+                   decl : (Mono.decl', 'state, 'abort) Search.mapfolder}
+                  -> (Mono.decl, 'state, 'abort) Search.mapfolder
+
+    val fold : {typ : Mono.typ' * 'state -> 'state,
+                exp : Mono.exp' * 'state -> 'state,
+                decl : Mono.decl' * 'state -> 'state}
+               -> 'state -> Mono.decl -> 'state
+end
+
+structure File : sig
+    datatype binder = datatype Exp.binder
+
+    val mapfoldB : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder,
+                    exp : ('typtext, Mono.exp', 'state, 'abort) Search.mapfolderB,
+                    decl : ('typtext, Mono.decl', 'state, 'abort) Search.mapfolderB,
+                    bind : 'typtext * binder -> 'typtext}
+                   -> ('typtext, Mono.file, 'state, 'abort) Search.mapfolderB
+
+    val mapfold : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder,
+                   exp : (Mono.exp', 'state, 'abort) Search.mapfolder,
+                   decl : (Mono.decl', 'state, 'abort) Search.mapfolder}
+                  -> (Mono.file, 'state, 'abort) Search.mapfolder
+
+    val mapB : {typ : Mono.typ' -> Mono.typ',
+                exp : 'typtext -> Mono.exp' -> Mono.exp',
+                decl : 'typtext -> Mono.decl' -> Mono.decl',
+                bind : 'typtext * binder -> 'typtext}
+               -> 'typtext -> Mono.file -> Mono.file
+
+    val fold : {typ : Mono.typ' * 'state -> 'state,
+                exp : Mono.exp' * 'state -> 'state,
+                decl : Mono.decl' * 'state -> 'state}
+               -> 'state -> Mono.file -> 'state
+end
+
+end
-- 
cgit v1.2.3