Mercurial > urweb

annotate src/mono.sml @ 1642:c3627f317bfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system)
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Dec 2011 21:06:25 -0500
parents 02fc16faecf3
children 0577be31a435
rev   line source
adamc@1199 1 (* Copyright (c) 2008-2010, Adam Chlipala
adamc@25 2 * All rights reserved.
adamc@25 3 *
adamc@25 4 * Redistribution and use in source and binary forms, with or without
adamc@25 5 * modification, are permitted provided that the following conditions are met:
adamc@25 6 *
adamc@25 7 * - Redistributions of source code must retain the above copyright notice,
adamc@25 8 * this list of conditions and the following disclaimer.
adamc@25 9 * - Redistributions in binary form must reproduce the above copyright notice,
adamc@25 10 * this list of conditions and the following disclaimer in the documentation
adamc@25 11 * and/or other materials provided with the distribution.
adamc@25 12 * - The names of contributors may not be used to endorse or promote products
adamc@25 13 * derived from this software without specific prior written permission.
adamc@25 14 *
adamc@25 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
adamc@25 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
adamc@25 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
adamc@25 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
adamc@25 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
adamc@25 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
adamc@25 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
adamc@25 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
adamc@25 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
adamc@25 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
adamc@25 25 * POSSIBILITY OF SUCH DAMAGE.
adamc@25 26 *)
adamc@25 27
adamc@25 28 structure Mono = struct
adamc@25 29
adamc@25 30 type 'a located = 'a ErrorMsg.located
adamc@25 31
adamc@731 32 datatype datatype_kind = datatype DatatypeKind.datatype_kind
adamc@188 33
adamc@25 34 datatype typ' =
adamc@25 35 TFun of typ * typ
adamc@25 36 | TRecord of (string * typ) list
adamc@196 37 | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref
adamc@51 38 | TFfi of string * string
adamc@288 39 | TOption of typ
adamc@757 40 | TList of typ
adamc@577 41 | TSource
adamc@568 42 | TSignal of typ
adamc@25 43
adamc@25 44 withtype typ = typ' located
adamc@25 45
adamc@178 46 datatype patCon =
adamc@178 47 PConVar of int
adamc@186 48 | PConFfi of {mod : string, datatyp : string, con : string, arg : typ option}
adamc@178 49
adamc@178 50 datatype pat' =
adamc@178 51 PWild
adamc@182 52 | PVar of string * typ
adamc@178 53 | PPrim of Prim.t
adamc@188 54 | PCon of datatype_kind * patCon * pat option
adamc@182 55 | PRecord of (string * pat * typ) list
adamc@288 56 | PNone of typ
adamc@288 57 | PSome of typ * pat
adamc@178 58
adamc@178 59 withtype pat = pat' located
adamc@178 60
adamc@568 61 datatype javascript_mode =
adamc@568 62 Attribute
adamc@568 63 | Script
adamc@590 64 | Source of typ
adamc@568 65
adamc@736 66 datatype effect = datatype Export.effect
adamc@736 67 datatype export_kind = datatype Export.export_kind
adamc@736 68
adam@1293 69 datatype failure_mode = datatype Settings.failure_mode
adam@1293 70
adam@1360 71 datatype binop_intness = Int | NotInt
adam@1360 72
adamc@25 73 datatype exp' =
adamc@25 74 EPrim of Prim.t
adamc@25 75 | ERel of int
adamc@25 76 | ENamed of int
adamc@188 77 | ECon of datatype_kind * patCon * exp option
adamc@297 78 | ENone of typ
adamc@290 79 | ESome of typ * exp
adamc@51 80 | EFfi of string * string
adamc@51 81 | EFfiApp of string * string * exp list
adamc@25 82 | EApp of exp * exp
adamc@26 83 | EAbs of string * typ * typ * exp
adamc@25 84
adamc@387 85 | EUnop of string * exp
adam@1360 86 | EBinop of binop_intness * string * exp * exp
adamc@387 87
adamc@29 88 | ERecord of (string * exp * typ) list
adamc@25 89 | EField of exp * string
adamc@25 90
adamc@182 91 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
adamc@178 92
adamc@94 93 | EStrcat of exp * exp
adamc@94 94
adamc@283 95 | EError of exp * typ
adamc@741 96 | EReturnBlob of {blob : exp, mimeType : exp, t : typ}
adamc@1065 97 | ERedirect of exp * typ
adamc@283 98
adamc@102 99 | EWrite of exp
adamc@106 100 | ESeq of exp * exp
adamc@251 101 | ELet of string * typ * exp * exp
adamc@102 102
adamc@111 103 | EClosure of int * exp list
adamc@111 104
adamc@252 105 | EQuery of { exps : (string * typ) list,
adamc@252 106 tables : (string * (string * typ) list) list,
adamc@252 107 state : typ,
adamc@252 108 query : exp,
adamc@252 109 body : exp,
adamc@252 110 initial : exp }
adam@1293 111 | EDml of exp * failure_mode
adamc@338 112 | ENextval of exp
adamc@1073 113 | ESetval of exp * exp
adamc@252 114
adamc@1112 115 | EUnurlify of exp * typ * bool
adamc@463 116
adamc@815 117 | EJavaScript of javascript_mode * exp
adamc@566 118
adamc@568 119 | ESignalReturn of exp
adamc@572 120 | ESignalBind of exp * exp
adamc@574 121 | ESignalSource of exp
adamc@1020 122
adamc@1020 123 | EServerCall of exp * typ * effect
adamc@1021 124 | ERecv of exp * typ
adamc@1021 125 | ESleep of exp
adamc@1021 126 | ESpawn of exp
adamc@608 127
adamc@25 128 withtype exp = exp' located
adamc@25 129
adamc@1220 130 datatype policy =
adamc@1220 131 PolClient of exp
adamc@1220 132 | PolInsert of exp
adamc@1221 133 | PolDelete of exp
adamc@1223 134 | PolUpdate of exp
adamc@1229 135 | PolSequence of exp
adamc@1199 136
adamc@25 137 datatype decl' =
adamc@808 138 DDatatype of (string * int * (string * int * typ option) list) list
adamc@164 139 | DVal of string * int * typ * exp * string
adamc@126 140 | DValRec of (string * int * typ * exp * string) list
adamc@1104 141 | DExport of export_kind * string * int * typ list * typ * bool
adamc@273 142
adamc@707 143 | DTable of string * (string * typ) list * exp * exp
adamc@338 144 | DSequence of string
adamc@754 145 | DView of string * (string * typ) list * exp
adamc@687 146 | DDatabase of {name : string, expunge : int, initialize : int}
adamc@25 147
adamc@569 148 | DJavaScript of string
adamc@569 149
adamc@725 150 | DCookie of string
adamc@720 151 | DStyle of string
adamc@718 152
adamc@1075 153 | DTask of exp * exp
adamc@1073 154
adamc@1199 155 | DPolicy of policy
adam@1294 156 | DOnError of int
adamc@1199 157
adamc@25 158 withtype decl = decl' located
adamc@25 159
adamc@25 160 type file = decl list
adamc@25 161
adamc@25 162 end