Skip to content

Remove Data constraint from defaulted type variables

Fredrik Wieczerkowski requested to merge fix-data-defaulting into master

This fixes #38 (closed) by removing the Data constraint from defaulted type variables (just like Eq, Ord, etc.):

Prelude> x*y=:=12 where x,y free
Evaluating expression: x*y=:=12 where x,y free
{x = -1, y = -12} True
{x = -2, y = -6} True
{x = -4, y = -3} True
{x = 1, y = 12} True
{x = 2, y = 6} True
{x = -12, y = -1} True
{x = -6, y = -2} True
{x = -3, y = -4} True
{x = 4, y = 3} True
{x = 12, y = 1} True
{x = 6, y = 2} True
{x = 3, y = 4} True

Merge request reports