GitHub · Where software is built

Labels Milestones New issue

Create a meaningful function definition using existing elaborator constructs

#30

· tdidriksen opened

on May 20, 2015

Copatterns desugaring bug

#28

· sualitu opened

on Jan 21, 2015

Cleanup error messages for new desugaring implementation

#27

· tdidriksen opened

on Nov 10, 2014

Implement construct for right-hand side copatterns

#26

· tdidriksen opened

on Nov 8, 2014

Implement new desugaring mechanism for copatterns

#25

· tdidriksen opened

on Nov 6, 2014

Case analysis on types in corecords leads to a unification error

#24

· tdidriksen opened

on Nov 5, 2014

Partial functions don't desugar to total functions with metavariables

#23

· tdidriksen opened

on Oct 30, 2014

Write proper documentation for all functions in CopatternHelpers.hs

#21

· tdidriksen opened

on Oct 29, 2014

Multiple projections with the same name lead to 'No type declaration for ...'

#20

· tdidriksen opened

on Oct 29, 2014

Error Messages

#19

· sualitu opened

on Oct 29, 2014

Lazy types are evaluated in an odd way.

#17

· sualitu opened

on Oct 29, 2014

Allow parentheses around target for left-hand side projection

#16

· tdidriksen opened

on Oct 29, 2014