projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 2001-03-29 14:33:37 by simonmar]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc103.stderr
1 __export ShouldCompile C D{DD} D_;
2 1 newtype D a = DD (D_  a) ;
3 1 type C a = D   a -> a ;
4 1 type D_ a = C   (PrelMaybe.Maybe a) ;
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)