Mercurial > urweb

annotate src/cjr.sml @ 2258:b1ba35ce2613

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug where pure caching didn't treat FFI applications as effectful.
author Ziv Scully <ziv@mit.edu>
date Sun, 27 Sep 2015 17:02:14 -0400
parents a9159911c3ba
children
rev   line source
adamc@29 1 (* Copyright (c) 2008, Adam Chlipala
adamc@29 2 * All rights reserved.
adamc@29 3 *
adamc@29 4 * Redistribution and use in source and binary forms, with or without
adamc@29 5 * modification, are permitted provided that the following conditions are met:
adamc@29 6 *
adamc@29 7 * - Redistributions of source code must retain the above copyright notice,
adamc@29 8 * this list of conditions and the following disclaimer.
adamc@29 9 * - Redistributions in binary form must reproduce the above copyright notice,
adamc@29 10 * this list of conditions and the following disclaimer in the documentation
adamc@29 11 * and/or other materials provided with the distribution.
adamc@29 12 * - The names of contributors may not be used to endorse or promote products
adamc@29 13 * derived from this software without specific prior written permission.
adamc@29 14 *
adamc@29 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
adamc@29 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
adamc@29 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
adamc@29 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
adamc@29 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
adamc@29 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
adamc@29 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
adamc@29 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
adamc@29 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
adamc@29 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
adamc@29 25 * POSSIBILITY OF SUCH DAMAGE.
adamc@29 26 *)
adamc@29 27
adamc@29 28 structure Cjr = struct
adamc@29 29
adamc@29 30 type 'a located = 'a ErrorMsg.located
adamc@29 31
adamc@731 32 datatype datatype_kind = datatype DatatypeKind.datatype_kind
adamc@188 33
adamc@29 34 datatype typ' =
adamc@269 35 TFun of typ * typ
adamc@29 36 | TRecord of int
adamc@196 37 | TDatatype of datatype_kind * int * (string * int * typ option) list ref
adamc@53 38 | TFfi of string * string
adamc@288 39 | TOption of typ
adamc@757 40 | TList of typ * int
adamc@29 41
adamc@29 42 withtype typ = typ' located
adamc@29 43
adamc@181 44 datatype patCon =
adamc@181 45 PConVar of int
adamc@186 46 | PConFfi of {mod : string, datatyp : string, con : string, arg : typ option}
adamc@181 47
adamc@181 48 datatype pat' =
adamc@181 49 PWild
adamc@182 50 | PVar of string * typ
adamc@181 51 | PPrim of Prim.t
adamc@188 52 | PCon of datatype_kind * patCon * pat option
adamc@182 53 | PRecord of (string * pat * typ) list
adamc@288 54 | PNone of typ
adamc@288 55 | PSome of typ * pat
adamc@181 56
adamc@181 57 withtype pat = pat' located
adamc@181 58
adam@1293 59 datatype failure_mode = datatype Settings.failure_mode
adam@1293 60
adamc@29 61 datatype exp' =
adamc@29 62 EPrim of Prim.t
adamc@29 63 | ERel of int
adamc@29 64 | ENamed of int
adamc@188 65 | ECon of datatype_kind * patCon * exp option
adamc@297 66 | ENone of typ
adamc@290 67 | ESome of typ * exp
adamc@53 68 | EFfi of string * string
adam@1663 69 | EFfiApp of string * string * (exp * typ) list
adamc@316 70 | EApp of exp * exp list
adamc@29 71
adamc@387 72 | EUnop of string * exp
adamc@387 73 | EBinop of string * exp * exp
adamc@387 74
adamc@29 75 | ERecord of int * (string * exp) list
adamc@29 76 | EField of exp * string
adamc@29 77
adamc@182 78 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
adamc@181 79
adamc@283 80 | EError of exp * typ
adam@1932 81 | EReturnBlob of {blob : exp option, mimeType : exp, t : typ}
adamc@1065 82 | ERedirect of exp * typ
adamc@283 83
adamc@102 84 | EWrite of exp
adamc@106 85 | ESeq of exp * exp
adamc@269 86 | ELet of string * typ * exp * exp
adamc@269 87
adamc@269 88 | EQuery of { exps : (string * typ) list,
adamc@269 89 tables : (string * (string * typ) list) list,
adamc@269 90 rnum : int,
adamc@269 91 state : typ,
adamc@269 92 query : exp,
adamc@269 93 body : exp,
adamc@282 94 initial : exp,
adamc@879 95 prepared : {id : int, query : string, nested : bool} option }
adamc@307 96 | EDml of { dml : exp,
adam@1293 97 prepared : {id : int, dml : string} option,
adam@1293 98 mode : failure_mode }
adamc@338 99 | ENextval of { seq : exp,
adamc@879 100 prepared : {id : int, query : string} option }
adamc@1073 101 | ESetval of { seq : exp, count : exp }
adamc@1112 102 | EUnurlify of exp * typ * bool
adamc@102 103
adamc@29 104 withtype exp = exp' located
adamc@29 105
adam@1349 106 datatype task = Initialize | ClientLeaves | Periodic of Int64.int
adamc@1075 107
adamc@29 108 datatype decl' =
adamc@29 109 DStruct of int * (string * typ) list
adamc@809 110 | DDatatype of (datatype_kind * string * int * (string * int * typ option) list) list
adamc@196 111 | DDatatypeForward of datatype_kind * string * int
adamc@29 112 | DVal of string * int * typ * exp
adamc@121 113 | DFun of string * int * (string * typ) list * typ * exp
adamc@129 114 | DFunRec of (string * int * (string * typ) list * typ * exp) list
adamc@273 115
adamc@707 116 | DTable of string * (string * typ) list * string * (string * string) list
adamc@338 117 | DSequence of string
adamc@754 118 | DView of string * (string * typ) list * string
adamc@687 119 | DDatabase of {name : string, expunge : int, initialize : int}
adamc@282 120 | DPreparedStatements of (string * int) list
adamc@29 121
adamc@569 122 | DJavaScript of string
adamc@725 123 | DCookie of string
adamc@720 124 | DStyle of string
adamc@569 125
adam@1348 126 | DTask of task * string (* first arg name *) * string * exp
adam@1294 127 | DOnError of int
adamc@1073 128
adamc@29 129 withtype decl = decl' located
adamc@29 130
adam@1845 131 datatype sidedness = datatype Mono.sidedness
adam@2056 132 datatype dbmode = datatype Mono.dbmode
adamc@643 133
adamc@731 134 datatype effect = datatype Export.effect
adamc@731 135 datatype export_kind = datatype Export.export_kind
adamc@731 136
adam@2056 137 type file = decl list * (export_kind * string * int * typ list * typ * sidedness * dbmode * bool) list
adamc@29 138
adamc@29 139 end