projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 1999-01-23 17:57:35 by sof]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc078.hs
1 -- !!! instance decls with no binds
2 --
3 module ShouldFail where
4
5 data Bar a = MkBar Int a
6
7 instance Eq a => Eq (Bar a)
8 instance Ord a => Ord (Bar a)
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)