Closed UlfNorell closed 10 years ago
From jmchap...@gmail.com on September 22, 2013 08:49:22
Owner: ---
From nils.anders.danielsson on September 23, 2013 09:12:50
Status: Fixed
From andres.s...@gmail.com on November 11, 2013 06:20:08
Labels: Type-Defect
From jmchap...@gmail.com on September 22, 2013 17:48:41
src/full/Agda/TypeChecking/Reduce.hs:1:48: Unsupported extension: DoAndIfThenElse
Original issue: http://code.google.com/p/agda/issues/detail?id=911