Mercurial > urweb

comparison src/elaborate.sig @ 1744:6fcce0592178

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Send daemon output to calling process
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 May 2012 12:45:35 -0400
parents ab24a7cb2a64
children 518e0b23c4ef
comparison
equal deleted inserted replaced
1743:1e940643a5f0 1744:6fcce0592178
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 44 val incremental : bool ref
45 val verbose : bool ref
45 46
46 end 47 end