diff options
Diffstat (limited to 'testsuite/tests/th/ClosedFam2TH.hs')
| -rw-r--r-- | testsuite/tests/th/ClosedFam2TH.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/th/ClosedFam2TH.hs b/testsuite/tests/th/ClosedFam2TH.hs index 0b25da9248..2a8b3b4ab6 100644 --- a/testsuite/tests/th/ClosedFam2TH.hs +++ b/testsuite/tests/th/ClosedFam2TH.hs @@ -11,10 +11,12 @@ $( return [ ClosedTypeFamilyD , KindedTV (mkName "b") (VarT (mkName "k")) ] ( TyVarSig (KindedTV (mkName "r") (VarT (mkName "k")))) Nothing) - [ TySynEqn [ (VarT (mkName "a")) + [ TySynEqn Nothing + [ (VarT (mkName "a")) , (VarT (mkName "a")) ] (ConT (mkName "Int")) - , TySynEqn [ (VarT (mkName "a")) + , TySynEqn Nothing + [ (VarT (mkName "a")) , (VarT (mkName "b")) ] (ConT (mkName "Bool")) ] ]) |