Skip to content
Snippets Groups Projects
Commit 8406b0e1 authored by batterseapower's avatar batterseapower
Browse files

Really ignore the associated type defaults

parent c2f924c4
Branches at-defaults
No related tags found
No related merge requests found
......@@ -77,7 +77,8 @@ tyThingToLHsDecl t = noLoc $ case t of
-- class associated-types are a subset of TyCon
-- (mainly only type/data-families)
synifyClassAT :: ClassATItem -> (LTyClDecl Name, [LTyClDecl Name])
synifyClassAT (tc, mb_defs) = (noLoc (synifyTyCon tc), maybe [] (map synifyATDefault) mb_defs)
synifyClassAT (tc, _mb_defs) = (noLoc (synifyTyCon tc), [])
-- ignore the mb_defs since we ignore default methods
synifyATDefault :: TyCon -> LTyClDecl Name
synifyATDefault tc = noLoc (synifyAxiom ax)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment