search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

Instance search loops #956

Closed UlfNorell closed 10 years ago

UlfNorell commented 10 years ago

From andreas....@gmail.com on November 13, 2013 22:57:29

git clone git@github.com:andreasabel/cubical.git -b 0.0.0.1 cd cubical/src agda -i. -i Control/Bug-Loop.agda

Original issue: http://code.google.com/p/agda/issues/detail?id=956

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 27, 2013 05:14:40

It's not actually looping, just taking a long time. Rather than trying fix instance search I think we should bite the bullet and implement a proper class system.

Status: Duplicate
Labels: -Priority-High -Milestone-2.3.4 Priority-Medium
Mergedinto: 938