diff options
Diffstat (limited to 'frontend/checkKindCorrectness.dcl')
| -rw-r--r-- | frontend/checkKindCorrectness.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/checkKindCorrectness.dcl b/frontend/checkKindCorrectness.dcl index 94bd8d1..26ebb28 100644 --- a/frontend/checkKindCorrectness.dcl +++ b/frontend/checkKindCorrectness.dcl @@ -2,5 +2,5 @@ definition module checkKindCorrectness import syntax, checksupport, containers -checkKindCorrectness :: !NumberSet !Index IndexRange !{#CommonDefs} !{#DclModule} !u:{# FunDef} !*TypeVarHeap !*TypeDefInfos !*ErrorAdmin - -> (!u:{# FunDef}, !*TypeVarHeap, !*TypeDefInfos, !*ErrorAdmin) +checkKindCorrectness :: !Index IndexRange !u:{# FunDef} !{#CommonDefs} !*{#DclModule} !*TypeVarHeap !*TypeDefInfos !*ErrorAdmin + -> (!u:{# FunDef}, !*{#DclModule}, !*TypeVarHeap, !*TypeDefInfos, !*ErrorAdmin) |