Mercurial > urweb

annotate src/core.sml @ 1591:20f898c29525

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweaks to choices of source positions to use in error messages, including for subSgn
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 13:12:07 -0400
parents b4480a56cab7
children 0577be31a435
rev   line source
adamc@16 1 (* Copyright (c) 2008, Adam Chlipala
adamc@16 2 * All rights reserved.
adamc@16 3 *
adamc@16 4 * Redistribution and use in source and binary forms, with or without
adamc@16 5 * modification, are permitted provided that the following conditions are met:
adamc@16 6 *
adamc@16 7 * - Redistributions of source code must retain the above copyright notice,
adamc@16 8 * this list of conditions and the following disclaimer.
adamc@16 9 * - Redistributions in binary form must reproduce the above copyright notice,
adamc@16 10 * this list of conditions and the following disclaimer in the documentation
adamc@16 11 * and/or other materials provided with the distribution.
adamc@16 12 * - The names of contributors may not be used to endorse or promote products
adamc@16 13 * derived from this software without specific prior written permission.
adamc@16 14 *
adamc@16 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
adamc@16 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
adamc@16 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
adamc@16 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
adamc@16 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
adamc@16 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
adamc@16 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
adamc@16 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
adamc@16 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
adamc@16 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
adamc@16 25 * POSSIBILITY OF SUCH DAMAGE.
adamc@16 26 *)
adamc@16 27
adamc@16 28 structure Core = struct
adamc@16 29
adamc@16 30 type 'a located = 'a ErrorMsg.located
adamc@16 31
adamc@16 32 datatype kind' =
adamc@16 33 KType
adamc@16 34 | KArrow of kind * kind
adamc@16 35 | KName
adamc@16 36 | KRecord of kind
adamc@87 37 | KUnit
adamc@214 38 | KTuple of kind list
adamc@16 39
adamc@626 40 | KRel of int
adamc@626 41 | KFun of string * kind
adamc@626 42
adamc@16 43 withtype kind = kind' located
adamc@16 44
adamc@16 45 datatype con' =
adamc@16 46 TFun of con * con
adamc@16 47 | TCFun of string * kind * con
adamc@16 48 | TRecord of con
adamc@16 49
adamc@16 50 | CRel of int
adamc@16 51 | CNamed of int
adamc@48 52 | CFfi of string * string
adamc@16 53 | CApp of con * con
adamc@16 54 | CAbs of string * kind * con
adamc@16 55
adamc@626 56 | CKAbs of string * con
adamc@626 57 | CKApp of con * kind
adamc@626 58 | TKFun of string * con
adamc@626 59
adamc@16 60 | CName of string
adamc@16 61
adamc@16 62 | CRecord of kind * (con * con) list
adamc@16 63 | CConcat of con * con
adamc@621 64 | CMap of kind * kind
adamc@16 65
adamc@87 66 | CUnit
adamc@87 67
adamc@214 68 | CTuple of con list
adamc@214 69 | CProj of con * int
adamc@214 70
adamc@16 71 withtype con = con' located
adamc@16 72
adamc@731 73 datatype datatype_kind = datatype DatatypeKind.datatype_kind
adamc@188 74
adamc@177 75 datatype patCon =
adamc@177 76 PConVar of int
adamc@192 77 | PConFfi of {mod : string, datatyp : string, params : string list,
adamc@192 78 con : string, arg : con option, kind : datatype_kind}
adamc@177 79
adamc@177 80 datatype pat' =
adamc@177 81 PWild
adamc@182 82 | PVar of string * con
adamc@177 83 | PPrim of Prim.t
adamc@192 84 | PCon of datatype_kind * patCon * con list * pat option
adamc@182 85 | PRecord of (string * pat * con) list
adamc@177 86
adamc@177 87 withtype pat = pat' located
adamc@177 88
adamc@16 89 datatype exp' =
adamc@16 90 EPrim of Prim.t
adamc@16 91 | ERel of int
adamc@16 92 | ENamed of int
adamc@192 93 | ECon of datatype_kind * patCon * con list * exp option
adamc@48 94 | EFfi of string * string
adamc@48 95 | EFfiApp of string * string * exp list
adamc@16 96 | EApp of exp * exp
adamc@26 97 | EAbs of string * con * con * exp
adamc@16 98 | ECApp of exp * con
adamc@16 99 | ECAbs of string * kind * exp
adamc@16 100
adamc@626 101 | EKAbs of string * exp
adamc@626 102 | EKApp of exp * kind
adamc@626 103
adamc@29 104 | ERecord of (con * exp * con) list
adamc@16 105 | EField of exp * con * { field : con, rest : con }
adamc@445 106 | EConcat of exp * con * exp * con
adamc@149 107 | ECut of exp * con * { field : con, rest : con }
adamc@493 108 | ECutMulti of exp * con * { rest : con }
adamc@16 109
adamc@182 110 | ECase of exp * (pat * exp) list * { disc : con, result : con }
adamc@177 111
adamc@102 112 | EWrite of exp
adamc@102 113
adamc@110 114 | EClosure of int * exp list
adamc@110 115
adamc@450 116 | ELet of string * con * exp * exp
adamc@450 117
adamc@1020 118 | EServerCall of int * exp list * con
adamc@607 119
adamc@16 120 withtype exp = exp' located
adamc@16 121
adamc@731 122 datatype effect = datatype Export.effect
adamc@731 123 datatype export_kind = datatype Export.export_kind
adamc@144 124
adamc@16 125 datatype decl' =
adamc@16 126 DCon of string * int * kind * con
adamc@807 127 | DDatatype of (string * int * string list * (string * int * con option) list) list
adamc@109 128 | DVal of string * int * con * exp * string
adamc@125 129 | DValRec of (string * int * con * exp * string) list
adamc@1104 130 | DExport of export_kind * int * bool
adamc@707 131 | DTable of string * int * con * string * exp * con * exp * con
adamc@338 132 | DSequence of string * int * string
adamc@754 133 | DView of string * int * string * exp * con
adamc@271 134 | DDatabase of string
adamc@461 135 | DCookie of string * int * con * string
adamc@720 136 | DStyle of string * int * string
adamc@1075 137 | DTask of exp * exp
adamc@1199 138 | DPolicy of exp
adam@1294 139 | DOnError of int
adamc@16 140
adamc@16 141 withtype decl = decl' located
adamc@16 142
adamc@16 143 type file = decl list
adamc@16 144
adamc@16 145 end