Refactor CoreArity a bit
authorsimonpj@microsoft.com <unknown>
Thu, 24 Dec 2009 15:34:48 +0000 (15:34 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 24 Dec 2009 15:34:48 +0000 (15:34 +0000)
commit0252f1a49233b7618dc8923f257a37579802fce9
tree9fe022a59afa137300608471ba333258287a4068
parentd28f8918c352a55bf1c57a699b597f8c788f2130
Refactor CoreArity a bit

I was experimenting with making coercions opaque to
arity.  I think this is ultimately the right thing to do
but I've left the functionality unchanged for now.
compiler/coreSyn/CoreArity.lhs
compiler/types/Type.lhs