search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

Case-split should preserve ... if possible #944

Closed UlfNorell closed 10 years ago

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 07, 2013 11:28:20

What the title says.

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

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 07, 2013 02:57:54

This requires remembering if the original clause used ... or not. If we do this we should also remember whether it used named or positional implicits and preserve that choice.

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 09, 2013 02:43:42

Status: Duplicate
Mergedinto: 573