changeset 0:502c6d622477

Initial skeleton
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 10:06:22 -0500
parents
children 4202f6eda946
files .hgignore Makefile src/errormsg.sig src/errormsg.sml src/laconic.sml src/main.mlton.sml src/prefix.cm src/prefix.mlb src/sources src/suffix.mlb
diffstat 10 files changed, 231 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,10 @@
+syntax: glob
+
+*~
+.cm
+src/.cm
+
+bin/*
+
+src/lacweb.cm
+src/lacweb.mlb
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,41 @@
+all: smlnj mlton
+
+.PHONY: all smlnj mlton clean
+
+smlnj: src/lacweb.cm
+mlton: bin/lacweb
+
+clean:
+	rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
+		src/lacweb.cm src/lacweb.mlb
+	rm -rf .cm src/.cm
+
+src/lacweb.cm: src/prefix.cm src/sources
+	cat src/prefix.cm src/sources \
+	>src/lacweb.cm
+
+src/lacweb.mlb: src/prefix.mlb src/sources src/suffix.mlb
+	cat src/prefix.mlb src/sources src/suffix.mlb \
+	| sed 's/^\(.*\).grm$$/\1.mlton.grm.sig\n\1.mlton.grm.sml/' \
+	| sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
+	>src/lacweb.mlb
+
+%.mlton.lex: %.lex
+	cp $< $@
+%.mlton.grm: %.grm
+	cp $< $@
+
+%.mlton.lex.sml: %.mlton.lex
+	mllex $<
+
+%.mlton.grm.sig %.mlton.grm.sml: %.mlton.grm
+	mlyacc $<
+
+MLTON := mlton
+
+ifdef DEBUG
+	MLTON += -const 'Exn.keepHistory true'
+endif
+
+bin/lacweb: src/lacweb.mlb src/*.sig src/*.sml
+	$(MLTON) -output $@ src/lacweb.mlb
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/errormsg.sig	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,39 @@
+(* 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 ERROR_MSG = sig
+
+    type pos = {line : int,
+                char : int}
+           
+    type span = {file : string,
+                 first : pos,
+                 last : pos}
+
+    type 'a located = 'a * span
+
+end
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/errormsg.sml	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,39 @@
+(* 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.
+ *)
+
+structure ErrorMsg :> ERROR_MSG = struct
+
+type pos = {line : int,
+            char : int}
+
+type span = {file : string,
+             first : pos,
+             last : pos}
+
+type 'a located = 'a * span
+
+end
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/laconic.sml	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,59 @@
+(* 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.
+ *)
+
+structure Laconic = struct
+
+type 'a located = 'a ErrorMsg.located
+
+datatype kind' =
+         KType
+       | KArrow of kind * kind
+       | KName
+       | KRecord of kind
+
+withtype kind = kind' located
+
+datatype con' =
+         CAnnot of con * kind
+
+       | TFun of con * con
+       | TCFun of bool * string option * kind * con
+       | TRecord of con
+
+       | CFvar of string
+       | CBvar of int
+       | CApp of con * con
+       | CAbs of string * kind * con
+
+       | CName of string
+
+       | CRecord of (string * con) list
+       | CConcat of con * con
+
+withtype con = con' located
+
+end
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/main.mlton.sml	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,27 @@
+(* 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.
+ *)
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/prefix.cm	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,6 @@
+Group is
+
+$/basis.cm
+$/smlnj-lib.cm
+$/ml-yacc-lib.cm
+$/pp-lib.cm
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/prefix.mlb	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,5 @@
+$(SML_LIB)/basis/basis.mlb
+$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
+$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb
+$(SML_LIB)/smlnj-lib/PP/pp-lib.mlb
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/sources	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,4 @@
+errormsg.sig
+errormsg.sml
+
+laconic.sml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/suffix.mlb	Sat Jan 26 10:06:22 2008 -0500
@@ -0,0 +1,1 @@
+main.mlton.sml