Commit a2ae2702 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-28 10:37:40 by simonmar]

Add functional dependency/missing instance test.
parent c262f1c5
module A where
class Matrix a fa | a -> fa where
row :: [a] -> fa
module B where
import A
newtype Val = Val [Int]
instance Matrix Bool Val
module C where
-- !!! a test for missing instances w/ functional dependencies
-- (failed in GHC 5.00.2)
import A
import B
ct0a = row [True,False,True,False]
TOP=../../../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/test.mk
include ($confdir ++ "/../multimod-test.T")
test "typecheck.prog001" { mtc("C", "-fglasgow-exts") }
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