@@ -478,7 +478,7 @@ problemToHint problem =
478 T.FlexSuper s _ -> badFlexFlexSuper super s
478 T.FlexSuper s _ -> badFlexFlexSuper super s
479 T.RigidVar y -> badRigidVar y (toASuperThing super)
479 T.RigidVar y -> badRigidVar y (toASuperThing super)
480 T.RigidSuper s _ -> badRigidSuper s (toASuperThing super)
480 T.RigidSuper s _ -> badRigidSuper s (toASuperThing super)
481− T.Type h n _ -> badFlexSuper super tipe
481+ T.Type _ _ _ -> badFlexSuper super tipe
482 T.Record _ _ -> badFlexSuper super tipe
482 T.Record _ _ -> badFlexSuper super tipe
483 T.Unit -> badFlexSuper super tipe
483 T.Unit -> badFlexSuper super tipe
484 T.Tuple _ _ _ -> badFlexSuper super tipe
484 T.Tuple _ _ _ -> badFlexSuper super tipe