Mercurial > urweb
comparison src/elaborate.sig @ 1531:7efcf8f4a44a
'-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 |