diff options
Diffstat (limited to 'compiler/typecheck/TcTypeNats.hs')
| -rw-r--r-- | compiler/typecheck/TcTypeNats.hs | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/compiler/typecheck/TcTypeNats.hs b/compiler/typecheck/TcTypeNats.hs index e7fb85fdbe..e6a6c7ed70 100644 --- a/compiler/typecheck/TcTypeNats.hs +++ b/compiler/typecheck/TcTypeNats.hs @@ -100,7 +100,8 @@ typeNatExpTyCon = mkTypeNatFunTyCon2 name typeNatLeqTyCon :: TyCon typeNatLeqTyCon = mkFamilyTyCon name - (mkFunTys [ typeNatKind, typeNatKind ] boolTy) + (map mkAnonBinder [ typeNatKind, typeNatKind ]) + boolTy (mkTemplateTyVars [ typeNatKind, typeNatKind ]) Nothing (BuiltInSynFamTyCon ops) @@ -119,7 +120,8 @@ typeNatLeqTyCon = typeNatCmpTyCon :: TyCon typeNatCmpTyCon = mkFamilyTyCon name - (mkFunTys [ typeNatKind, typeNatKind ] orderingKind) + (map mkAnonBinder [ typeNatKind, typeNatKind ]) + orderingKind (mkTemplateTyVars [ typeNatKind, typeNatKind ]) Nothing (BuiltInSynFamTyCon ops) @@ -138,7 +140,8 @@ typeNatCmpTyCon = typeSymbolCmpTyCon :: TyCon typeSymbolCmpTyCon = mkFamilyTyCon name - (mkFunTys [ typeSymbolKind, typeSymbolKind ] orderingKind) + (map mkAnonBinder [ typeSymbolKind, typeSymbolKind ]) + orderingKind (mkTemplateTyVars [ typeSymbolKind, typeSymbolKind ]) Nothing (BuiltInSynFamTyCon ops) @@ -162,7 +165,8 @@ typeSymbolCmpTyCon = mkTypeNatFunTyCon2 :: Name -> BuiltInSynFamily -> TyCon mkTypeNatFunTyCon2 op tcb = mkFamilyTyCon op - (mkFunTys [ typeNatKind, typeNatKind ] typeNatKind) + (map mkAnonBinder [ typeNatKind, typeNatKind ]) + typeNatKind (mkTemplateTyVars [ typeNatKind, typeNatKind ]) Nothing (BuiltInSynFamTyCon tcb) |