Skip to content
Snippets Groups Projects
Commit b55940ba authored by Patrick's avatar Patrick
Browse files

Add forall quantifier to D Int newtype instance

parent 67ed0e7c
No related branches found
No related tags found
Pipeline #107945 failed
Stage: tool-lint
    Stage: quick-build
      Stage: full-build
        Stage: packaging
          Stage: testing
            Hide whitespace changes
            Inline Side-by-side
            testsuite/tests/indexed-types/should_compile/T25611d.hs
            + 1
            − 1
            View file @ b55940ba
            ......@@ -29,7 +29,7 @@ g :: Int -> N Int
            g x = MkN x
            data family D :: Type -> k -> k
            newtype instance D Int (a::TYPE r) = MkD a
            newtype instance forall r. D Int (a::TYPE r) = MkD a
            f1 :: Int# -> D Int Int#
            f1 x = MkD x
            ......
            0% or .
            You are about to add 0 people to the discussion. Proceed with caution.
            Finish editing this message first!
            Please register or to comment