type family normalisation
authorTom Schrijvers <tom.schrijvers@cs.kuleuven.be>
Fri, 11 May 2007 17:09:28 +0000 (17:09 +0000)
committerTom Schrijvers <tom.schrijvers@cs.kuleuven.be>
Fri, 11 May 2007 17:09:28 +0000 (17:09 +0000)
commit701797c3f724090508e06ded276723edfa431ab4
tree3c369c2fb69fe6668863d75623393da122a9ae33
parent289ee3d0daa95445ead578f2b674987a4187993d
type family normalisation
compiler/types/Coercion.lhs
compiler/types/FamInstEnv.lhs