diff options
Diffstat (limited to 'frontend/check.icl')
| -rw-r--r-- | frontend/check.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index 1a2f5aa..6e4209f 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -28,7 +28,7 @@ checkGenerics // add * for kind-star instances and *->* for arrays # kinds = [ KindConst - , KindArrow [KindConst, KindConst] + , KindArrow [KindConst] ] # (kinds_ptr, th_vars) = newPtr (TVI_Kinds kinds) th_vars # (cons_ptr, th_vars) = newPtr (TVI_Empty) th_vars |