Issues

• Create a meaningful function definition using existing elaborator constructs

  Roadmap
  tdidriksen/Idris-dev#30 · Filter by author tdidriksen opened on May 20, 2015
  3

• Copatterns desugaring bug

  bugCopatternsMedium
  tdidriksen/Idris-dev#28 · Filter by author sualitu opened on Jan 21, 2015

• Cleanup error messages for new desugaring implementation

  CopatternsEasyenhancementHigh priority
  tdidriksen/Idris-dev#27 · Filter by author tdidriksen opened on Nov 10, 2014

• Implement construct for right-hand side copatterns

  CopatternsenhancementLow priority
  tdidriksen/Idris-dev#26 · Filter by author tdidriksen opened on Nov 8, 2014

• Implement new desugaring mechanism for copatterns

  CopatternsenhancementMedium
  tdidriksen/Idris-dev#25 · Filter by author tdidriksen opened on Nov 6, 2014
  1

• Case analysis on types in corecords leads to a unification error

  bugCorecords
  tdidriksen/Idris-dev#24 · Filter by author tdidriksen opened on Nov 5, 2014
  1

• Partial functions don't desugar to total functions with metavariables

  Copatternsquestion
  tdidriksen/Idris-dev#23 · Filter by author tdidriksen opened on Oct 30, 2014
  1

• Write proper documentation for all functions in CopatternHelpers.hs

  CopatternsEasyenhancementHigh priority
  tdidriksen/Idris-dev#21 · Filter by author tdidriksen opened on Oct 29, 2014

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

  bugCopatternsMedium
  tdidriksen/Idris-dev#20 · Filter by author tdidriksen opened on Oct 29, 2014
  3

• Error Messages

  Ongoing
  tdidriksen/Idris-dev#19 · Filter by author sualitu opened on Oct 29, 2014
  1

• Lazy types are evaluated in an odd way.

  question
  tdidriksen/Idris-dev#17 · Filter by author sualitu opened on Oct 29, 2014

• Allow parentheses around target for left-hand side projection

  CopatternsLow priorityMedium
  tdidriksen/Idris-dev#16 · Filter by author tdidriksen opened on Oct 29, 2014

• Recognize copatterns without a preceding token

  CopatternsenhancementHard
  tdidriksen/Idris-dev#12 · Filter by author tdidriksen opened on Oct 29, 2014
  2

• Make copatterns available in with clauses

  CopatternsenhancementLow priority
  tdidriksen/Idris-dev#11 · Filter by author tdidriksen opened on Oct 29, 2014

• Make copatterns available in where blocks

  CopatternsenhancementMedium
  tdidriksen/Idris-dev#10 · Filter by author tdidriksen opened on Oct 29, 2014

• Corecords: Revamp internal representation of corecords

  CorecordsEasy
  tdidriksen/Idris-dev#8 · Filter by author sualitu opened on Oct 23, 2014

• Corecords: Inference in type constructor does not work properly.

  CorecordsHardLow priority
  tdidriksen/Idris-dev#3 · Filter by author sualitu opened on Oct 22, 2014
  4

• Corecords: Projection Equivalence

  CorecordsMedium
  tdidriksen/Idris-dev#2 · Filter by author sualitu opened on Oct 22, 2014
  1