ucsd-progsys/liquidhaskell — pull request #75 by nikivazou (2013-05-16 00:27:37+00:00)
Title: fix predicates on monomorphic tycon

Fixpoint used to crash when we defined an abstract refinement for monomorphic type constructors.

See test/pos/fixme.hs