diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:44:39 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:44:39 -0500 |
| commit | 53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 (patch) | |
| tree | 0da23cead212d30f6066b38f5a13b7fdfb3e0a15 /src/elab_util.sig | |
| parent | e7e2ffc58a4f120801ae69217032948e511af213 (diff) | |
Check for leftover kind unifs
Diffstat (limited to 'src/elab_util.sig')
| -rw-r--r-- | src/elab_util.sig | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/elab_util.sig b/src/elab_util.sig index da1a02f4..895f836c 100644 --- a/src/elab_util.sig +++ b/src/elab_util.sig @@ -28,11 +28,19 @@ signature ELAB_UTIL = sig structure Kind : sig - val mapfold : (Elab.kind', 'state, 'abort) Search.mapfold_arg + val mapfold : (Elab.kind', 'state, 'abort) Search.mapfolder -> (Elab.kind, 'state, 'abort) Search.mapfolder val exists : (Elab.kind' -> bool) -> Elab.kind -> bool end +structure Con : sig + val mapfold : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder, + con : (Elab.con', 'state, 'abort) Search.mapfolder} + -> (Elab.con, 'state, 'abort) Search.mapfolder + val exists : {kind : Elab.kind' -> bool, + con : Elab.con' -> bool} -> Elab.con -> bool +end + val declBinds : ElabEnv.env -> Elab.decl -> ElabEnv.env end |