Mercurial > urweb

annotate src/mono.sml @ 1034:a779402841f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hooks for measuring how much interesting proving is going on in elaboration
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Nov 2009 12:44:14 -0500
parents 7a4a55e05081
children 217eb87dde31
rev   line source
adamc@25 1 (* Copyright (c) 2008, 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
adamc@25 69 datatype exp' =
adamc@25 70 EPrim of Prim.t
adamc@25 71 | ERel of int
adamc@25 72 | ENamed of int
adamc@188 73 | ECon of datatype_kind * patCon * exp option
adamc@297 74 | ENone of typ
adamc@290 75 | ESome of typ * exp
adamc@51 76 | EFfi of string * string
adamc@51 77 | EFfiApp of string * string * exp list
adamc@25 78 | EApp of exp * exp
adamc@26 79 | EAbs of string * typ * typ * exp
adamc@25 80
adamc@387 81 | EUnop of string * exp
adamc@387 82 | EBinop of string * exp * exp
adamc@387 83
adamc@29 84 | ERecord of (string * exp * typ) list
adamc@25 85 | EField of exp * string
adamc@25 86
adamc@182 87 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
adamc@178 88
adamc@94 89 | EStrcat of exp * exp
adamc@94 90
adamc@283 91 | EError of exp * typ
adamc@741 92 | EReturnBlob of {blob : exp, mimeType : exp, t : typ}
adamc@283 93
adamc@102 94 | EWrite of exp
adamc@106 95 | ESeq of exp * exp
adamc@251 96 | ELet of string * typ * exp * exp
adamc@102 97
adamc@111 98 | EClosure of int * exp list
adamc@111 99
adamc@252 100 | EQuery of { exps : (string * typ) list,
adamc@252 101 tables : (string * (string * typ) list) list,
adamc@252 102 state : typ,
adamc@252 103 query : exp,
adamc@252 104 body : exp,
adamc@252 105 initial : exp }
adamc@307 106 | EDml of exp
adamc@338 107 | ENextval of exp
adamc@252 108
adamc@463 109 | EUnurlify of exp * typ
adamc@463 110
adamc@815 111 | EJavaScript of javascript_mode * exp
adamc@566 112
adamc@568 113 | ESignalReturn of exp
adamc@572 114 | ESignalBind of exp * exp
adamc@574 115 | ESignalSource of exp
adamc@1020 116
adamc@1020 117 | EServerCall of exp * typ * effect
adamc@1021 118 | ERecv of exp * typ
adamc@1021 119 | ESleep of exp
adamc@1021 120 | ESpawn of exp
adamc@608 121
adamc@25 122 withtype exp = exp' located
adamc@25 123
adamc@25 124 datatype decl' =
adamc@808 125 DDatatype of (string * int * (string * int * typ option) list) list
adamc@164 126 | DVal of string * int * typ * exp * string
adamc@126 127 | DValRec of (string * int * typ * exp * string) list
adamc@731 128 | DExport of export_kind * string * int * typ list * typ
adamc@273 129
adamc@707 130 | DTable of string * (string * typ) list * exp * exp
adamc@338 131 | DSequence of string
adamc@754 132 | DView of string * (string * typ) list * exp
adamc@687 133 | DDatabase of {name : string, expunge : int, initialize : int}
adamc@25 134
adamc@569 135 | DJavaScript of string
adamc@569 136
adamc@725 137 | DCookie of string
adamc@720 138 | DStyle of string
adamc@718 139
adamc@25 140 withtype decl = decl' located
adamc@25 141
adamc@25 142 type file = decl list
adamc@25 143
adamc@25 144 end