Mercurial > urweb

comparison src/elaborate.sig @ 1531:7efcf8f4a44a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'-dumpTypes'
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Aug 2011 16:53:06 -0400
parents 9a1026e2b3f5
children 5ecf67553da8
comparison
equal deleted inserted replaced
1530:09c56e03beaf 1531:7efcf8f4a44a
30 val elabFile : Source.sgn_item list -> Source.decl list -> Source.sgn_item list 30 val elabFile : Source.sgn_item list -> Source.decl list -> Source.sgn_item list
31 -> ElabEnv.env -> Source.file -> Elab.file 31 -> ElabEnv.env -> Source.file -> Elab.file
32 32
33 val resolveClass : ElabEnv.env -> Elab.con -> Elab.exp option 33 val resolveClass : ElabEnv.env -> Elab.con -> Elab.exp option
34 34
35 val dumpTypes : bool ref
36 (* After elaboration (successful or failed), should I output a mapping from
37 * all identifiers to their kinds/types? *)
38
35 end 39 end