1. SystemFC1 distinguishes between data type constructors (T) and type functions (S_n). It seems that in CoreSyn these both become TyCon.TyCon -- do I have this right? Is there a way to ask which kind of thing a TyCon stands for?
2. Type function applications in SystemFC1 are always fully saturated, but type constructor applications might not be fully saturated, right? Thanks, - a _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
