Search results

AST with unbound + recussion schemes for transformations

Status: Open.

#43 In sweirich/replib;

· csabahruska opened on Aug 5, 2017

Failed deriving for GADT

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#23 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Impossible Sat instance

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#24 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Variable capture when substituting in patterns

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#25 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Add suport for existentials to RepLib

auto-migrated

Priority-Low

Type-Enhancement

Status: Open.

#18 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Can't import derived reps qualified by module name

auto-migrated

Priority-Low

Type-Defect

Status: Open.

#15 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Create real test suites

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#17 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Also derive alpha-respecting Ord instance

auto-migrated

Priority-Medium

Type-Enhancement

Status: Open.

#11 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Add Read and Enum to Data.RepLib.PreludeLib

auto-migrated

Priority-Low

Type-Enhancement

Status: Open.

#8 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Extend library with examples from other libs

auto-migrated

Priority-Low

Type-Enhancement

Status: Open.

#6 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Derive reps for datatypes with record components

auto-migrated

Priority-Medium

Type-Enhancement

Status: Open.

#4 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015

Fixity declarations for cons and pairs?

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#3 In sweirich/replib;

· GoogleCodeExporter opened on Mar 14, 2015