Mercurial > urweb

annotate src/elab.sml @ 305:55eedecb6c50

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove need to mention table name in expressions for UPDATE and DELETE
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 14:30:32 -0400
parents 42dfb0d61cf0
children 9601c717d2f3
rev   line source
adamc@2 1 (* Copyright (c) 2008, Adam Chlipala
adamc@2 2 * All rights reserved.
adamc@2 3 *
adamc@2 4 * Redistribution and use in source and binary forms, with or without
adamc@2 5 * modification, are permitted provided that the following conditions are met:
adamc@2 6 *
adamc@2 7 * - Redistributions of source code must retain the above copyright notice,
adamc@2 8 * this list of conditions and the following disclaimer.
adamc@2 9 * - Redistributions in binary form must reproduce the above copyright notice,
adamc@2 10 * this list of conditions and the following disclaimer in the documentation
adamc@2 11 * and/or other materials provided with the distribution.
adamc@2 12 * - The names of contributors may not be used to endorse or promote products
adamc@2 13 * derived from this software without specific prior written permission.
adamc@2 14 *
adamc@2 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
adamc@2 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
adamc@2 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
adamc@2 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
adamc@2 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
adamc@2 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
adamc@2 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
adamc@2 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
adamc@2 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
adamc@2 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
adamc@2 25 * POSSIBILITY OF SUCH DAMAGE.
adamc@2 26 *)
adamc@2 27
adamc@2 28 structure Elab = struct
adamc@2 29
adamc@2 30 type 'a located = 'a ErrorMsg.located
adamc@2 31
adamc@2 32 datatype kind' =
adamc@2 33 KType
adamc@2 34 | KArrow of kind * kind
adamc@2 35 | KName
adamc@2 36 | KRecord of kind
adamc@82 37 | KUnit
adamc@207 38 | KTuple of kind list
adamc@2 39
adamc@2 40 | KError
adamc@76 41 | KUnif of ErrorMsg.span * string * kind option ref
adamc@2 42
adamc@2 43 withtype kind = kind' located
adamc@2 44
adamc@2 45 datatype explicitness =
adamc@2 46 Explicit
adamc@2 47 | Implicit
adamc@2 48
adamc@2 49 datatype con' =
adamc@2 50 TFun of con * con
adamc@2 51 | TCFun of explicitness * string * kind * con
adamc@85 52 | TDisjoint of con * con * con
adamc@2 53 | TRecord of con
adamc@2 54
adamc@2 55 | CRel of int
adamc@2 56 | CNamed of int
adamc@34 57 | CModProj of int * string list * string
adamc@2 58 | CApp of con * con
adamc@8 59 | CAbs of string * kind * con
adamc@84 60 | CDisjoint of con * con * con
adamc@2 61
adamc@2 62 | CName of string
adamc@2 63
adamc@2 64 | CRecord of kind * (con * con) list
adamc@2 65 | CConcat of con * con
adamc@67 66 | CFold of kind * kind
adamc@2 67
adamc@82 68 | CUnit
adamc@82 69
adamc@207 70 | CTuple of con list
adamc@207 71 | CProj of con * int
adamc@207 72
adamc@2 73 | CError
adamc@76 74 | CUnif of ErrorMsg.span * kind * string * con option ref
adamc@2 75
adamc@2 76 withtype con = con' located
adamc@2 77
adamc@188 78 datatype datatype_kind =
adamc@188 79 Enum
adamc@198 80 | Option
adamc@188 81 | Default
adamc@188 82
adamc@171 83 datatype patCon =
adamc@171 84 PConVar of int
adamc@171 85 | PConProj of int * string list * string
adamc@171 86
adamc@171 87 datatype pat' =
adamc@171 88 PWild
adamc@182 89 | PVar of string * con
adamc@173 90 | PPrim of Prim.t
adamc@191 91 | PCon of datatype_kind * patCon * con list * pat option
adamc@182 92 | PRecord of (string * pat * con) list
adamc@171 93
adamc@171 94 withtype pat = pat' located
adamc@171 95
adamc@9 96 datatype exp' =
adamc@14 97 EPrim of Prim.t
adamc@14 98 | ERel of int
adamc@9 99 | ENamed of int
adamc@34 100 | EModProj of int * string list * string
adamc@9 101 | EApp of exp * exp
adamc@26 102 | EAbs of string * con * con * exp
adamc@9 103 | ECApp of exp * con
adamc@9 104 | ECAbs of explicitness * string * kind * exp
adamc@9 105
adamc@29 106 | ERecord of (con * exp * con) list
adamc@12 107 | EField of exp * con * { field : con, rest : con }
adamc@149 108 | ECut of exp * con * { field : con, rest : con }
adamc@71 109 | EFold of kind
adamc@12 110
adamc@182 111 | ECase of exp * (pat * exp) list * { disc : con, result : con }
adamc@171 112
adamc@9 113 | EError
adamc@228 114 | EUnif of exp option ref
adamc@9 115
adamc@9 116 withtype exp = exp' located
adamc@9 117
adamc@31 118 datatype sgn_item' =
adamc@31 119 SgiConAbs of string * int * kind
adamc@31 120 | SgiCon of string * int * kind * con
adamc@191 121 | SgiDatatype of string * int * string list * (string * int * con option) list
adamc@191 122 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
adamc@31 123 | SgiVal of string * int * con
adamc@31 124 | SgiStr of string * int * sgn
adamc@59 125 | SgiSgn of string * int * sgn
adamc@88 126 | SgiConstraint of con * con
adamc@205 127 | SgiTable of int * string * int * con
adamc@211 128 | SgiClassAbs of string * int
adamc@211 129 | SgiClass of string * int * con
adamc@31 130
adamc@31 131 and sgn' =
adamc@31 132 SgnConst of sgn_item list
adamc@31 133 | SgnVar of int
adamc@41 134 | SgnFun of string * int * sgn * sgn
adamc@42 135 | SgnWhere of sgn * string * con
adamc@59 136 | SgnProj of int * string list * string
adamc@31 137 | SgnError
adamc@31 138
adamc@31 139 withtype sgn_item = sgn_item' located
adamc@31 140 and sgn = sgn' located
adamc@31 141
adamc@2 142 datatype decl' =
adamc@5 143 DCon of string * int * kind * con
adamc@191 144 | DDatatype of string * int * string list * (string * int * con option) list
adamc@191 145 | DDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
adamc@9 146 | DVal of string * int * con * exp
adamc@123 147 | DValRec of (string * int * con * exp) list
adamc@31 148 | DSgn of string * int * sgn
adamc@31 149 | DStr of string * int * sgn * str
adamc@48 150 | DFfiStr of string * int * sgn
adamc@88 151 | DConstraint of con * con
adamc@109 152 | DExport of int * sgn * str
adamc@205 153 | DTable of int * string * int * con
adamc@213 154 | DClass of string * int * con
adamc@271 155 | DDatabase of string
adamc@31 156
adamc@31 157 and str' =
adamc@31 158 StrConst of decl list
adamc@31 159 | StrVar of int
adamc@34 160 | StrProj of str * string
adamc@41 161 | StrFun of string * int * sgn * sgn * str
adamc@44 162 | StrApp of str * str
adamc@31 163 | StrError
adamc@2 164
adamc@2 165 withtype decl = decl' located
adamc@31 166 and str = str' located
adamc@31 167
adamc@2 168 type file = decl list
adamc@2 169
adamc@2 170 end