diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index d1a6c76ea5..c21baf04bd 100644 --- a/compiler/typecheck/TcTyClsDecls.hs +++ b/compiler/typecheck/TcTyClsDecls.hs @@ -699,10 +699,9 @@ tcFamDecl1 parent -- If Nothing, this is an abstract family in a hs-boot file; -- but eqns might be empty in the Just case as well ; case mb_eqns of - Nothing -> - return [ATyCon $ buildFamilyTyCon tc_name tvs' Nothing - AbstractClosedSynFamilyTyCon kind parent - NotInjective ] + Nothing -> return + [ ATyCon $ buildFamilyTyCon tc_name tvs' (resultVariableName sig) + AbstractClosedSynFamilyTyCon kind parent inj' ] Just eqns -> do { -- Process the equations, creating CoAxBranches |