diff options
Diffstat (limited to 'frontend/checkKindCorrectness.dcl')
| -rw-r--r-- | frontend/checkKindCorrectness.dcl | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/frontend/checkKindCorrectness.dcl b/frontend/checkKindCorrectness.dcl deleted file mode 100644 index 6dc5678..0000000 --- a/frontend/checkKindCorrectness.dcl +++ /dev/null @@ -1,6 +0,0 @@ -definition module checkKindCorrectness - -import syntax, checksupport - -checkKindCorrectness :: !Index !Index IndexRange !{#CommonDefs} !Int !u:{# FunDef} !*{#DclModule} !*TypeVarHeap !*TypeDefInfos !*ErrorAdmin - -> (!u:{# FunDef}, !*{#DclModule}, !*TypeVarHeap, !*TypeDefInfos, !*ErrorAdmin) |