Commit b6beb55d authored by simonpj's avatar simonpj
Browse files

[project @ 2002-03-08 15:54:32 by simonpj]

More tests
parent 340cd1ec
......@@ -148,3 +148,5 @@ test "tc143" { myvtc("") }
test "tc144" { myvtc("") }
test "tc145" { myvtc("") }
test "tc146" { myvtc("") }
test "tc147" { myvtc("") }
test "tc148" { myvtc("") }
-- This one sent 5.03 into an infinite loop, because it
-- gazed too deeply into the functional type of PP
module ShouldCompile where
newtype PP = PP (Int -> PP)
foo = PP undefined
{-# OPTIONS -fglasgow-exts #-}
-- This program tickled a bug in 5.02.2's forall-lifting
module ShouldCompile where
class Class x where
combinator' :: (forall y. Class y => y -> y) -> x -> x
combinator :: (forall y. Class y => y -> y)
-> (forall x. Class x => x -> x)
combinator f = combinator' f
......@@ -27,3 +27,4 @@ test "tcrun016" { vtr("", "", "") }
test "tcrun017" { vtr("", "", "") }
test "tcrun018" { vtr("", "", "") }
test "tcrun019" { vtr("", "", "") }
test "tcrun020" { vtr("", "", "") }
{-# OPTIONS -fglasgow-exts #-}
-- Hugs (2001) diverges when evaluating main, unless (Monad m) is
-- added as an extra superclass to C2, which should not be necessary.
module Main where
import Monad
class Monad m => C1 m x
class (C1 m x) => C2 m x where
c2 :: x -> m x
instance Monad m => C1 m Bool
instance C2 Maybe Bool where
c2 = return
test :: Maybe Bool
test = c2 True
main = print test
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