Mercurial > urweb
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 |