comparison src/compiler.sig @ 1677:3cfc79f92db7

-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Jan 2012 20:37:39 -0500
parents 154cfe2eb366
children 7b9775d4a8ce
comparison
equal deleted inserted replaced
1676:266814b15dd6 1677:3cfc79f92db7
1 (* Copyright (c) 2008-2010, Adam Chlipala 1 (* Copyright (c) 2008-2012, 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 *
183 val toPrepare : (string, Cjr.file) transform 183 val toPrepare : (string, Cjr.file) transform
184 val toChecknest : (string, Cjr.file) transform 184 val toChecknest : (string, Cjr.file) transform
185 val toSqlify : (string, Cjr.file) transform 185 val toSqlify : (string, Cjr.file) transform
186 186
187 val debug : bool ref 187 val debug : bool ref
188 val dumpSource : bool ref
189
188 val doIflow : bool ref 190 val doIflow : bool ref
189 191
190 val addPath : string * string -> unit 192 val addPath : string * string -> unit
191 val addModuleRoot : string * string -> unit 193 val addModuleRoot : string * string -> unit
192 194