@@ -123,9 +123,10 @@ typeToString _ String = return "string"
123typeToString _ Number = return "number"
123typeToString _ Number = return "number"
124typeToString _ Boolean = return "boolean"
124typeToString _ Boolean = return "boolean"
125typeToString _ Array = return "array"
125typeToString _ Array = return "array"
126+typeToString _ (TypeVar _) = return "var"
126typeToString mn (TypeConstructor ty') = return $ qualifiedToString mn ty'
127typeToString mn (TypeConstructor ty') = return $ qualifiedToString mn ty'
127typeToString mn (TypeApp ty' (TypeVar _)) = typeToString mn ty'
128typeToString mn (TypeApp ty' (TypeVar _)) = typeToString mn ty'
128−typeToString _ _ = Left "Type class instance must be of the form T a1 ... an"
129+typeToString a b = Left $ "Type class instance must be of the form T a1 ... an " ++ show (a, b)
130mkDictionaryEntryName :: ModuleName -> Qualified ProperName -> Type -> Ident -> Desugar Ident
131mkDictionaryEntryName :: ModuleName -> Qualified ProperName -> Type -> Ident -> Desugar Ident
131mkDictionaryEntryName mn name ty ident = do
132mkDictionaryEntryName mn name ty ident = do