Mercurial > urweb

annotate src/mono.sml @ 853:19fdeef40ada

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Factor out common request functionality, in preparation for supporting different protocols
author Adam Chlipala <adamc@hcoop.net>
date Tue, 23 Jun 2009 14:05:12 -0400
parents 493f44759879
children 7a4b026e45dd
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@94 116
adamc@736 117 | EServerCall of exp * exp * typ * effect
adamc@670 118 | ERecv of exp * exp * typ
adamc@695 119 | ESleep of exp * exp
adamc@608 120
adamc@25 121 withtype exp = exp' located
adamc@25 122
adamc@25 123 datatype decl' =
adamc@808 124 DDatatype of (string * int * (string * int * typ option) list) list
adamc@164 125 | DVal of string * int * typ * exp * string
adamc@126 126 | DValRec of (string * int * typ * exp * string) list
adamc@731 127 | DExport of export_kind * string * int * typ list * typ
adamc@273 128
adamc@707 129 | DTable of string * (string * typ) list * exp * exp
adamc@338 130 | DSequence of string
adamc@754 131 | DView of string * (string * typ) list * exp
adamc@687 132 | DDatabase of {name : string, expunge : int, initialize : int}
adamc@25 133
adamc@569 134 | DJavaScript of string
adamc@569 135
adamc@725 136 | DCookie of string
adamc@720 137 | DStyle of string
adamc@718 138
adamc@25 139 withtype decl = decl' located
adamc@25 140
adamc@25 141 type file = decl list
adamc@25 142
adamc@25 143 end