Search results

solitary patterns involving type functions do not work

auto-migrated

omega1.5.2

Priority-Medium

Type-Defect

Status: Open.

#109 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

tyfun rule is kind-unsafe, but still accepted

auto-migrated

Component-Logic

omega1.5.1

Priority-Critical

Type-Defect

Status: Open.

#110 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

42t is accepted at the value level

auto-migrated

omega1.5.1

Priority-Low

Type-Defect

Status: Open.

#106 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

repl misformats certain labels

auto-migrated

omega1.5.2

Priority-Low

Type-Defect

Status: Open.

#102 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

Int type overflows

auto-migrated

omega1.5.1

OpSys-All

Priority-Low

Type-Defect

Status: Open.

#103 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

bad type function accepted as inductively sequential

auto-migrated

omega1.5.1

Priority-Low

Type-Defect

Status: Open.

#104 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

document "pattern" declarations

auto-migrated

Component-Docs

omega1.5

Priority-Low

Type-Enhancement

Status: Open.

#100 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

Printing type of polymorphic constructor

auto-migrated

omega1.5

Priority-Low

Type-Defect

Status: Open.

#101 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

kill off 'primitives'

auto-migrated

Maintainability

omega1.5

Priority-Low

Type-Enhancement

Status: Open.

#97 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

'Ex' inside data constructor does not typecheck

auto-migrated

omega1.5.1

Priority-Medium

Type-Defect

Status: Open.

#98 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

":k (~>)" crashes

auto-migrated

omega1.5

Priority-Low

Type-Defect

Status: Open.

#99 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015

function returning pair with higher-rank type does not typecheck

auto-migrated

omega1.5

Priority-Low

Type-Defect

Status: Open.

#95 In ggreif/omega;

· GoogleCodeExporter opened on Aug 9, 2015