Mercurial > urweb
comparison src/elaborate.sig @ 1733:ab24a7cb2a64
'urweb daemon start' and 'urweb daemon stop'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Apr 2012 16:23:03 -0400 |
parents | 4a03aa3251cb |
children | 6fcce0592178 |
comparison
equal
deleted
inserted
replaced
1732:4a03aa3251cb | 1733:ab24a7cb2a64 |
---|---|
39 | 39 |
40 val unifyMore : bool ref | 40 val unifyMore : bool ref |
41 (* Run all phases of type inference, even if an error is detected by an | 41 (* Run all phases of type inference, even if an error is detected by an |
42 * early phase. *) | 42 * early phase. *) |
43 | 43 |
44 val incremental : bool ref | |
45 | |
44 end | 46 end |