Mercurial > urweb

annotate src/source.sml @ 2276:c05f9a5e0f0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Progress on free paths, but consolidation seems to fail more with them.
author Ziv Scully <ziv@mit.edu>
date Mon, 09 Nov 2015 13:37:31 -0500
parents 403f0cc65b9c
children
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@623 41 | KFun of string * kind
adamc@623 42 | KVar of string
adamc@623 43
adamc@0 44 withtype kind = kind' located
adamc@0 45
adamc@1 46 datatype explicitness =
adamc@1 47 Explicit
adamc@1 48 | Implicit
adamc@1 49
adamc@0 50 datatype con' =
adamc@0 51 CAnnot of con * kind
adamc@0 52
adamc@0 53 | TFun of con * con
adamc@1 54 | TCFun of explicitness * string * kind * con
adamc@0 55 | TRecord of con
adamc@628 56 | TDisjoint of con * con * con
adamc@0 57
adamc@34 58 | CVar of string list * string
adamc@0 59 | CApp of con * con
adamc@67 60 | CAbs of string * kind option * con
adamc@0 61
adamc@623 62 | CKAbs of string * con
adamc@623 63 | TKFun of string * con
adamc@623 64
adamc@0 65 | CName of string
adamc@0 66
adamc@1 67 | CRecord of (con * con) list
adamc@0 68 | CConcat of con * con
adamc@621 69 | CMap
adamc@0 70
adamc@82 71 | CUnit
adamc@82 72
adamc@207 73 | CTuple of con list
adamc@207 74 | CProj of con * int
adamc@207 75
adamc@18 76 | CWild of kind
adamc@18 77
adamc@0 78 withtype con = con' located
adamc@0 79
adamc@706 80 datatype inference =
adamc@706 81 Infer
adamc@706 82 | DontInfer
adamc@706 83 | TypesOnly
adamc@706 84
adamc@30 85 datatype sgn_item' =
adamc@30 86 SgiConAbs of string * kind
adamc@30 87 | SgiCon of string * kind option * con
adamc@805 88 | SgiDatatype of (string * string list * (string * con option) list) list
adamc@156 89 | SgiDatatypeImp of string * string list * string
adamc@30 90 | SgiVal of string * con
adamc@707 91 | SgiTable of string * con * exp * exp
adamc@30 92 | SgiStr of string * sgn
adamc@59 93 | SgiSgn of string * sgn
adamc@58 94 | SgiInclude of sgn
adamc@88 95 | SgiConstraint of con * con
adamc@563 96 | SgiClassAbs of string * kind
adamc@563 97 | SgiClass of string * kind * con
adamc@30 98
adamc@30 99 and sgn' =
adamc@30 100 SgnConst of sgn_item list
adamc@30 101 | SgnVar of string
adamc@40 102 | SgnFun of string * sgn * sgn
adam@1864 103 | SgnWhere of sgn * string list * string * con
adamc@59 104 | SgnProj of string * string list * string
adamc@30 105
adamc@706 106 and pat' =
adamc@706 107 PWild
adamc@706 108 | PVar of string
adamc@706 109 | PPrim of Prim.t
adamc@706 110 | PCon of string list * string * pat option
adamc@706 111 | PRecord of (string * pat) list * bool
adamc@822 112 | PAnnot of pat * con
adamc@30 113
adamc@706 114 and exp' =
adamc@706 115 EAnnot of exp * con
adamc@170 116
adamc@706 117 | EPrim of Prim.t
adamc@706 118 | EVar of string list * string * inference
adamc@706 119 | EApp of exp * exp
adamc@706 120 | EAbs of string * con option * exp
adamc@706 121 | ECApp of exp * con
adamc@706 122 | ECAbs of explicitness * string * kind * exp
adamc@706 123 | EDisjoint of con * con * exp
adamc@706 124 | EDisjointApp of exp
adamc@170 125
adamc@706 126 | EKAbs of string * exp
adamc@403 127
adam@2009 128 | ERecord of (con * exp) list * bool
adamc@706 129 | EField of exp * con
adamc@706 130 | EConcat of exp * exp
adamc@706 131 | ECut of exp * con
adamc@706 132 | ECutMulti of exp * con
adamc@34 133
adamc@706 134 | EWild
adamc@34 135
adamc@706 136 | ECase of exp * (pat * exp) list
adamc@623 137
adamc@706 138 | ELet of edecl list * exp
adamc@446 139
adamc@446 140 and edecl' =
adamc@825 141 EDVal of pat * exp
adamc@446 142 | EDValRec of (string * con option * exp) list
adamc@446 143
adamc@706 144 withtype sgn_item = sgn_item' located
adamc@706 145 and sgn = sgn' located
adamc@706 146 and pat = pat' located
adamc@706 147 and exp = exp' located
adamc@446 148 and edecl = edecl' located
adamc@34 149
adam@2010 150 datatype ffi_mode =
adam@2010 151 Effectful
adam@2010 152 | BenignEffectful
adam@2010 153 | ClientOnly
adam@2010 154 | ServerOnly
adam@2010 155 | JsFunc of string
adam@2010 156
adamc@1 157 datatype decl' =
adamc@1 158 DCon of string * kind option * con
adamc@805 159 | DDatatype of (string * string list * (string * con option) list) list
adamc@156 160 | DDatatypeImp of string * string list * string
adamc@8 161 | DVal of string * con option * exp
adamc@123 162 | DValRec of (string * con option * exp) list
adamc@30 163 | DSgn of string * sgn
adam@1868 164 | DStr of string * sgn option * Time.time option * str * bool (* did this module come from the '-root' directive? *)
adam@1733 165 | DFfiStr of string * sgn * Time.time option
adamc@61 166 | DOpen of string * string list
adamc@88 167 | DConstraint of con * con
adamc@88 168 | DOpenConstraints of string * string list
adamc@109 169 | DExport of str
adamc@707 170 | DTable of string * con * exp * exp
adamc@338 171 | DSequence of string
adamc@754 172 | DView of string * exp
adamc@271 173 | DDatabase of string
adamc@459 174 | DCookie of string * con
adamc@720 175 | DStyle of string
adamc@1075 176 | DTask of exp * exp
adamc@1199 177 | DPolicy of exp
adam@1294 178 | DOnError of string * string list * string
adam@2010 179 | DFfi of string * ffi_mode list * con
adamc@30 180
adamc@30 181 and str' =
adamc@30 182 StrConst of decl list
adamc@30 183 | StrVar of string
adamc@34 184 | StrProj of str * string
adamc@40 185 | StrFun of string * sgn * sgn option * str
adamc@44 186 | StrApp of str * str
adamc@1 187
adamc@1 188 withtype decl = decl' located
adamc@30 189 and str = str' located
adamc@1 190
adamc@1 191 type file = decl list
adamc@1 192
adamc@0 193 end