Mercurial > urweb

annotate src/source.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 e976b187d73a
rev   line source
adamc@0 1 (* Copyright (c) 2008, Adam Chlipala
adamc@0 2 * All rights reserved.
adamc@0 3 *
adamc@0 4 * Redistribution and use in source and binary forms, with or without
adamc@0 5 * modification, are permitted provided that the following conditions are met:
adamc@0 6 *
adamc@0 7 * - Redistributions of source code must retain the above copyright notice,
adamc@0 8 * this list of conditions and the following disclaimer.
adamc@0 9 * - Redistributions in binary form must reproduce the above copyright notice,
adamc@0 10 * this list of conditions and the following disclaimer in the documentation
adamc@0 11 * and/or other materials provided with the distribution.
adamc@0 12 * - The names of contributors may not be used to endorse or promote products
adamc@0 13 * derived from this software without specific prior written permission.
adamc@0 14 *
adamc@0 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
adamc@0 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
adamc@0 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
adamc@0 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
adamc@0 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
adamc@0 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
adamc@0 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
adamc@0 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
adamc@0 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
adamc@0 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
adamc@0 25 * POSSIBILITY OF SUCH DAMAGE.
adamc@0 26 *)
adamc@0 27
adamc@4 28 structure Source = struct
adamc@0 29
adamc@0 30 type 'a located = 'a ErrorMsg.located
adamc@0 31
adamc@0 32 datatype kind' =
adamc@0 33 KType
adamc@0 34 | KArrow of kind * kind
adamc@0 35 | KName
adamc@0 36 | KRecord of kind
adamc@82 37 | KUnit
adamc@207 38 | KTuple of kind list
adamc@18 39 | KWild
adamc@0 40
adamc@0 41 withtype kind = kind' located
adamc@0 42
adamc@1 43 datatype explicitness =
adamc@1 44 Explicit
adamc@1 45 | Implicit
adamc@1 46
adamc@0 47 datatype con' =
adamc@0 48 CAnnot of con * kind
adamc@0 49
adamc@0 50 | TFun of con * con
adamc@1 51 | TCFun of explicitness * string * kind * con
adamc@85 52 | TDisjoint of con * con * con
adamc@0 53 | TRecord of con
adamc@0 54
adamc@34 55 | CVar of string list * string
adamc@0 56 | CApp of con * con
adamc@67 57 | CAbs of string * kind option * con
adamc@84 58 | CDisjoint of con * con * con
adamc@0 59
adamc@0 60 | CName of string
adamc@0 61
adamc@1 62 | CRecord of (con * con) list
adamc@0 63 | CConcat of con * con
adamc@67 64 | CFold
adamc@0 65
adamc@82 66 | CUnit
adamc@82 67
adamc@207 68 | CTuple of con list
adamc@207 69 | CProj of con * int
adamc@207 70
adamc@18 71 | CWild of kind
adamc@18 72
adamc@0 73 withtype con = con' located
adamc@0 74
adamc@30 75 datatype sgn_item' =
adamc@30 76 SgiConAbs of string * kind
adamc@30 77 | SgiCon of string * kind option * con
adamc@191 78 | SgiDatatype of string * string list * (string * con option) list
adamc@156 79 | SgiDatatypeImp of string * string list * string
adamc@30 80 | SgiVal of string * con
adamc@30 81 | SgiStr of string * sgn
adamc@59 82 | SgiSgn of string * sgn
adamc@58 83 | SgiInclude of sgn
adamc@88 84 | SgiConstraint of con * con
adamc@203 85 | SgiTable of string * con
adamc@211 86 | SgiClassAbs of string
adamc@211 87 | SgiClass of string * con
adamc@30 88
adamc@30 89 and sgn' =
adamc@30 90 SgnConst of sgn_item list
adamc@30 91 | SgnVar of string
adamc@40 92 | SgnFun of string * sgn * sgn
adamc@42 93 | SgnWhere of sgn * string * con
adamc@59 94 | SgnProj of string * string list * string
adamc@30 95
adamc@30 96 withtype sgn_item = sgn_item' located
adamc@30 97 and sgn = sgn' located
adamc@30 98
adamc@170 99 datatype pat' =
adamc@170 100 PWild
adamc@170 101 | PVar of string
adamc@173 102 | PPrim of Prim.t
adamc@170 103 | PCon of string list * string * pat option
adamc@174 104 | PRecord of (string * pat) list * bool
adamc@170 105
adamc@170 106 withtype pat = pat' located
adamc@170 107
adamc@34 108 datatype exp' =
adamc@34 109 EAnnot of exp * con
adamc@34 110
adamc@34 111 | EPrim of Prim.t
adamc@34 112 | EVar of string list * string
adamc@34 113 | EApp of exp * exp
adamc@34 114 | EAbs of string * con option * exp
adamc@34 115 | ECApp of exp * con
adamc@34 116 | ECAbs of explicitness * string * kind * exp
adamc@85 117 | EDisjoint of con * con * exp
adamc@34 118
adamc@34 119 | ERecord of (con * exp) list
adamc@34 120 | EField of exp * con
adamc@149 121 | ECut of exp * con
adamc@71 122 | EFold
adamc@34 123
adamc@211 124 | EWild
adamc@210 125
adamc@170 126 | ECase of exp * (pat * exp) list
adamc@170 127
adamc@34 128 withtype exp = exp' located
adamc@34 129
adamc@1 130 datatype decl' =
adamc@1 131 DCon of string * kind option * con
adamc@191 132 | DDatatype of string * string list * (string * con option) list
adamc@156 133 | DDatatypeImp of string * string list * string
adamc@8 134 | DVal of string * con option * exp
adamc@123 135 | DValRec of (string * con option * exp) list
adamc@30 136 | DSgn of string * sgn
adamc@30 137 | DStr of string * sgn option * str
adamc@48 138 | DFfiStr of string * sgn
adamc@61 139 | DOpen of string * string list
adamc@88 140 | DConstraint of con * con
adamc@88 141 | DOpenConstraints of string * string list
adamc@109 142 | DExport of str
adamc@203 143 | DTable of string * con
adamc@211 144 | DClass of string * con
adamc@271 145 | DDatabase of string
adamc@30 146
adamc@30 147 and str' =
adamc@30 148 StrConst of decl list
adamc@30 149 | StrVar of string
adamc@34 150 | StrProj of str * string
adamc@40 151 | StrFun of string * sgn * sgn option * str
adamc@44 152 | StrApp of str * str
adamc@1 153
adamc@1 154 withtype decl = decl' located
adamc@30 155 and str = str' located
adamc@1 156
adamc@1 157 type file = decl list
adamc@1 158
adamc@0 159 end