@@ -78,17 +78,11 @@ desugarModule _ = error "Exports should have been elaborated in name desugaring"
78-- \ return dict.foo;\
78-- \ return dict.foo;\
79-- \}" :: forall a. (Foo a) => a -> a
79-- \}" :: forall a. (Foo a) => a -> a
81−-- :: String -> String
81+-- fooString :: {} -> Foo String
82−-- fooString = (\s -> s ++ s)
82+-- fooString _ = { foo: \s -> s ++ s }
84−-- __Test_Foo_string :: {} -> Foo String
85−-- __Test_Foo_string = { foo: __Test_Foo_string_foo :: String -> String (unchecked) }
87−-- __Test_Foo_array_foo :: forall a. (Foo a) => [a] -> [a]
84+-- fooArray :: forall a. (Foo a) => Foo [a]
88−-- __Test_Foo_array_foo _1 = map (foo _1)
85+-- fooArray = { foo: map foo }
90−-- __Test_Foo_array :: forall a. Foo a -> Foo [a]
91−-- __Test_Foo_array _1 = { foo: __Test_Foo_array_foo _1 :: [a] -> [a] (unchecked) }
93desugarDecl :: ModuleName -> Declaration -> Desugar (Maybe DeclarationRef, [Declaration])
87desugarDecl :: ModuleName -> Declaration -> Desugar (Maybe DeclarationRef, [Declaration])
94desugarDecl mn d@(TypeClassDeclaration name args members) = do
88desugarDecl mn d@(TypeClassDeclaration name args members) = do