Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality function...
[ghc-hetmet.git] / compiler / ilxGen / tests / test2b.hs
1 foreign import "ilxHello" unsafe ilxHello :: IO ()
2 main = ilxHello