# HG changeset patch # User Adam Chlipala # Date 1201359982 18000 # Node ID 502c6d622477274934edbdef8cfb59d7f5418b23 Initial skeleton diff -r 000000000000 -r 502c6d622477 .hgignore --- /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 diff -r 000000000000 -r 502c6d622477 Makefile --- /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 diff -r 000000000000 -r 502c6d622477 src/errormsg.sig --- /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 diff -r 000000000000 -r 502c6d622477 src/errormsg.sml --- /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 diff -r 000000000000 -r 502c6d622477 src/laconic.sml --- /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 diff -r 000000000000 -r 502c6d622477 src/main.mlton.sml --- /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. + *) + diff -r 000000000000 -r 502c6d622477 src/prefix.cm --- /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 diff -r 000000000000 -r 502c6d622477 src/prefix.mlb --- /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 + diff -r 000000000000 -r 502c6d622477 src/sources --- /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 diff -r 000000000000 -r 502c6d622477 src/suffix.mlb --- /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