Mercurial > urweb
view src/mono_print.sml @ 1739:c414850f206f
Add support for -boot flag, which allows in-tree execution of Ur/Web
The boot flag rewrites most hardcoded paths to point to the build
directory, and also forces static compilation. This is convenient
for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web.
The following changes were made:
* Header files were moved to include/urweb instead of include;
this lets FFI users point their C_INCLUDE_PATH at this directory
at write <urweb/urweb.h>. For internal Ur/Web executables,
we simply pass -I$PATH/include/urweb as normal.
* Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript
source files, while LIB is compiled products from libtool. For
in-tree compilation these live in different places.
* No longer reference Config for paths; instead use Settings; these
settings can be changed dynamically by Compiler.enableBoot ()
(TODO: add a disableBoot function.)
* config.h is now generated directly in include/urweb/config.h,
for consistency's sake (especially since it gets installed
along with the rest of the headers!)
* All of the autotools build products got updated.
* The linkStatic field in protocols now only contains the name of the
build product, and not the absolute path.
Future users have to be careful not to reference the Settings files
to early, lest they get an old version (this was the source of two
bugs during development of this patch.)
author | Edward Z. Yang <ezyang@mit.edu> |
---|---|
date | Wed, 02 May 2012 17:17:57 -0400 |
parents | d2b3fada532e |
children | c1e3805e604e |
line wrap: on
line source
(* Copyright (c) 2008, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: * * - Redistributions of source code must retain the above copyright notice, * this list of conditions and the following disclaimer. * - Redistributions in binary form must reproduce the above copyright notice, * this list of conditions and the following disclaimer in the documentation * and/or other materials provided with the distribution. * - The names of contributors may not be used to endorse or promote products * derived from this software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE * POSSIBILITY OF SUCH DAMAGE. *) (* Pretty-printing monomorphic Ur/Web *) structure MonoPrint :> MONO_PRINT = struct open Print.PD open Print open Mono structure E = MonoEnv val debug = ref false val dummyt = (TRecord [], ErrorMsg.dummySpan) fun p_typ' par env (t, _) = case t of TFun (t1, t2) => parenIf par (box [p_typ' true env t1, space, string "->", space, p_typ env t2]) | TRecord xcs => box [string "{", p_list (fn (x, t) => box [string x, space, string ":", space, p_typ env t]) xcs, string "}"] | TDatatype (n, ref (dk, _)) => ((if !debug then string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n ^ "[" ^ (case dk of Option => "Option" | Enum => "Enum" | Default => "Default") ^ "]") else string (#1 (E.lookupDatatype env n))) handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n)) | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] | TOption t => box [string "option(", p_typ env t, string ")"] | TList t => box [string "list(", p_typ env t, string ")"] | TSource => string "source" | TSignal t => box [string "signal(", p_typ env t, string ")"] and p_typ env = p_typ' false env fun p_enamed env n = (if !debug then string (#1 (E.lookupENamed env n) ^ "__" ^ Int.toString n) else string (#1 (E.lookupENamed env n))) handle E.UnboundNamed _ => string ("UNBOUNDN_" ^ Int.toString n) fun p_con_named env n = (if !debug then string (#1 (E.lookupConstructor env n) ^ "__" ^ Int.toString n) else string (#1 (E.lookupConstructor env n))) handle E.UnboundNamed _ => string ("CONSTRUCTOR_" ^ Int.toString n) fun p_patCon env pc = case pc of PConVar n => p_con_named env n | PConFfi {mod = m, con, ...} => box [string "FFIC(", string m, string ".", string con, string ")"] fun p_pat' par env (p, _) = case p of PWild => string "_" | PVar (s, _) => string s | PPrim p => Prim.p_t p | PCon (_, n, NONE) => p_patCon env n | PCon (_, n, SOME p) => parenIf par (box [p_patCon env n, space, p_pat' true env p]) | PRecord xps => box [string "{", p_list_sep (box [string ",", space]) (fn (x, p, _) => box [string x, space, string "=", space, p_pat env p]) xps, string "}"] | PNone _ => string "None" | PSome (t, p) => if !debug then box [string "Some[", p_typ env t, string "]", space, p_pat' true env p] else box [string "Some", space, p_pat' true env p] and p_pat x = p_pat' false x fun p_mode env m = case m of Attribute => string "Attribute" | Script => string "Script" | Source t => box [string "Source", space, p_typ env t] fun p_exp' par env (e, _) = case e of EPrim p => Prim.p_t p | ERel n => ((if !debug then string (#1 (E.lookupERel env n) ^ "_" ^ Int.toString n) else string (#1 (E.lookupERel env n))) handle E.UnboundRel _ => string ("UNBOUND_" ^ Int.toString n)) | ENamed n => p_enamed env n | ECon (_, pc, NONE) => p_patCon env pc | ECon (_, pc, SOME e) => parenIf par (box [p_patCon env pc, space, p_exp' true env e]) | ENone _ => string "None" | ESome (_, e) => parenIf par (box [string "Some", space, p_exp' true env e]) | EFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] | EFfiApp (m, x, es) => box [string "FFI(", string m, string ".", string x, string "(", p_list (p_exp env o #1) es, string "))"] | EApp (e1, e2) => parenIf par (box [p_exp env e1, space, p_exp' true env e2]) | EAbs (x, t, _, e) => parenIf true (box [string "fn", space, string x, space, string ":", space, p_typ env t, space, string "=>", space, p_exp (E.pushERel env x t NONE) e]) | EUnop (s, e) => parenIf true (box [string s, space, p_exp' true env e]) | EBinop (_, s, e1, e2) => parenIf true (box [p_exp' true env e1, space, string s, space, p_exp' true env e2]) | ERecord xes => box [string "{", p_list (fn (x, e, _) => box [string x, space, string "=", space, p_exp env e]) xes, string "}"] | EField (e, x) => box [p_exp' true env e, string ".", string x] | ECase (e, pes, {result, ...}) => parenIf true (box [string "case", space, p_exp env e, space, if !debug then box [string "return", space, p_typ env result, space] else box [], string "of", space, p_list_sep (box [space, string "|", space]) (fn (p, e) => box [p_pat env p, space, string "=>", space, p_exp (E.patBinds env p) e]) pes]) | EError (e, t) => box [string "(error", space, p_exp env e, space, string ":", space, p_typ env t, string ")"] | EReturnBlob {blob, mimeType, t} => box [string "(blob", space, p_exp env blob, space, string "in", space, p_exp env mimeType, space, string ":", space, p_typ env t, string ")"] | ERedirect (e, t) => box [string "(redirect", space, p_exp env e, space, string ":", space, p_typ env t, string ")"] | EStrcat (e1, e2) => parenIf par (box [p_exp' true env e1, space, string "^", space, p_exp env e2]) | EWrite e => box [string "write(", p_exp env e, string ")"] | ESeq (e1, e2) => box [string "(", p_exp env e1, string ";", space, p_exp env e2, string ")"] | ELet (x, t, e1, e2) => box [string "(let", space, string x, space, string ":", space, p_typ env t, space, string "=", space, string "(", p_exp env e1, string ")", space, string "in", space, string "(", p_exp (E.pushERel env x t NONE) e2, string "))"] | EClosure (n, es) => box [string "CLOSURE(", p_enamed env n, p_list_sep (string "") (fn e => box [string ", ", p_exp env e]) es, string ")"] | EQuery {exps, tables, state, query, body, initial} => box [string "query[", p_list (fn (x, t) => box [string x, space, string ":", space, p_typ env t]) exps, string "] [", p_list (fn (x, xts) => box [string x, space, string ":", space, string "{", p_list (fn (x, t) => box [string x, space, string ":", space, p_typ env t]) xts, string "}"]) tables, string "] [", p_typ env state, string "]", space, p_exp env query, space, string "initial", space, p_exp env initial, space, string "in", space, p_exp (E.pushERel (E.pushERel env "r" dummyt NONE) "acc" dummyt NONE) body] | EDml (e, _) => box [string "dml(", p_exp env e, string ")"] | ENextval e => box [string "nextval(", p_exp env e, string ")"] | ESetval (e1, e2) => box [string "setval(", p_exp env e1, string ",", space, p_exp env e2, string ")"] | EUnurlify (e, _, _) => box [string "unurlify(", p_exp env e, string ")"] | EJavaScript (m, e) => box [string "JavaScript(", p_mode env m, string ",", space, p_exp env e, string ")"] | ESignalReturn e => box [string "Return(", p_exp env e, string ")"] | ESignalBind (e1, e2) => box [string "Bind(", p_exp env e1, string ",", space, p_exp env e2, string ")"] | ESignalSource e => box [string "Source(", p_exp env e, string ")"] | EServerCall (n, _, _) => box [string "Server(", p_exp env n, string ")"] | ERecv (n, _) => box [string "Recv(", p_exp env n, string ")"] | ESleep n => box [string "Sleep(", p_exp env n, string ")"] | ESpawn n => box [string "Spawn(", p_exp env n, string ")"] and p_exp env = p_exp' false env fun p_vali env (x, n, t, e, s) = let val xp = if !debug then box [string x, string "__", string (Int.toString n)] else string x in box [xp, space, string "as", space, string s, space, string ":", space, p_typ env t, space, string "=", space, p_exp env e] end fun p_datatype env (x, n, cons) = let val env = E.pushDatatype env x n cons in box [if !debug then (string (x ^ "__" ^ Int.toString n)) else string x, space, string "=", space, p_list_sep (box [space, string "|", space]) (fn (x, n, NONE) => if !debug then (string (x ^ "__" ^ Int.toString n)) else string x | (x, _, SOME t) => box [if !debug then (string (x ^ "__" ^ Int.toString n)) else string x, space, string "of", space, p_typ env t]) cons] end fun p_policy env pol = case pol of PolClient e => box [string "sendClient", space, p_exp env e] | PolInsert e => box [string "mayInsert", space, p_exp env e] | PolDelete e => box [string "mayDelete", space, p_exp env e] | PolUpdate e => box [string "mayUpdate", space, p_exp env e] | PolSequence e => box [string "sendOwnIds", space, p_exp env e] fun p_decl env (dAll as (d, _) : decl) = case d of DDatatype x => box [string "datatype", space, p_list_sep (box [space, string "and", space]) (p_datatype (E.declBinds env dAll)) x] | DVal vi => box [string "val", space, p_vali env vi] | DValRec vis => let val env = E.declBinds env dAll in box [string "val", space, string "rec", space, p_list_sep (box [newline, string "and", space]) (p_vali env) vis] end | DExport (ek, s, n, ts, t, _) => box [string "export", space, Export.p_export_kind ek, space, p_enamed env n, space, string "as", space, string s, p_list_sep (string "") (fn t => box [space, string "(", p_typ env t, string ")"]) ts, space, string "->", space, p_typ env t] | DTable (s, xts, pe, ce) => box [string "(* SQL table ", string s, space, string ":", space, p_list (fn (x, t) => box [string x, space, string ":", space, p_typ env t]) xts, space, string "keys", space, p_exp env pe, space, string "constraints", space, p_exp env ce, space, string "*)"] | DSequence s => box [string "(* SQL sequence ", string s, string "*)"] | DView (s, _, e) => box [string "(* SQL view ", string s, space, string "as", space, p_exp env e, string "*)"] | DDatabase {name, expunge, initialize} => box [string "database", space, string name, space, string "(", p_enamed env expunge, string ",", space, p_enamed env initialize, string ")"] | DJavaScript s => box [string "JavaScript(", string s, string ")"] | DCookie s => box [string "cookie", space, string s] | DStyle s => box [string "style", space, string s] | DTask (e1, e2) => box [string "task", space, p_exp env e1, space, string "=", space, p_exp env e2] | DPolicy p => box [string "policy", space, p_policy env p] | DOnError _ => string "ONERROR" fun p_file env file = let val (pds, _) = ListUtil.foldlMap (fn (d, env) => (p_decl env d, E.declBinds env d)) env file in p_list_sep newline (fn x => x) pds end end