Let classoperationresolution handle partially inlined dictionaries.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 10 Mar 2010 11:36:55 +0000 (12:36 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 10 Mar 2010 11:36:55 +0000 (12:36 +0100)
commitdb014de8ebda19a0828193c1230d0581bb923ce0
tree352539bc87c1556697c52ea8b11f6c9558326a7a
parentdd0b3f0f95a335492533202a5801d7df9edd2762
Let classoperationresolution handle partially inlined dictionaries.

Previously, if a dictionary argument was not yet an application of a
dataconstructor (e.g., completely inlined) but an application of a
polymorphic top level binder (e.g., $fsomething), then it would complain
about mismatching types.
cλash/CLasH/Normalize.hs