Mercurial > urweb

comparison src/compiler.sig @ 1183:9d3ccb8b39ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
safeGet
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Mar 2010 18:28:44 -0500
parents 618f9f458da9
children a4ac900d3085
comparison
equal deleted inserted replaced
1182:0b1d666bddb4 1183:9d3ccb8b39ac
1 (* Copyright (c) 2008-2009, Adam Chlipala 1 (* Copyright (c) 2008-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
51 rewrites : Settings.rewrite list, 51 rewrites : Settings.rewrite list,
52 filterUrl : Settings.rule list, 52 filterUrl : Settings.rule list,
53 filterMime : Settings.rule list, 53 filterMime : Settings.rule list,
54 protocol : string option, 54 protocol : string option,
55 dbms : string option, 55 dbms : string option,
56 sigFile : string option 56 sigFile : string option,
57 safeGets : string list
57 } 58 }
58 val compile : string -> bool 59 val compile : string -> bool
59 val compiler : string -> unit 60 val compiler : string -> unit
60 val compileC : {cname : string, oname : string, ename : string, libs : string, 61 val compileC : {cname : string, oname : string, ename : string, libs : string,
61 profile : bool, debug : bool, link : string list} -> bool 62 profile : bool, debug : bool, link : string list} -> bool