Commit d237c3ee authored by simonmar's avatar simonmar
Browse files

[project @ 2002-03-18 15:15:26 by simonmar]

This test doesn't need to import PrelGHC at all
parent eb3e0fd9
-- !!! Local universal quantification.
module ShouldSucceed where
import PrelGHC -- to get at All
data Monad2 m = MkMonad2 (forall a. a -> m a)
(forall a b. m a -> (a -> m b) -> m b)
Markdown is supported
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