search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

Enable -fwarn-pointless-pragmas for GHC >= 7.6.3... #948

Closed UlfNorell closed 10 years ago

UlfNorell commented 10 years ago

From nils.anders.danielsson on November 08, 2013 15:29:34

...and test the performance of some different combinations of pragmas in Agda.TypeChecking.Monad.Base.

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

UlfNorell commented 10 years ago

From andreas....@gmail.com on November 08, 2013 07:41:54

Why is this a defect with high prio?

But feel free to implement your proposal and do the performance tests...

UlfNorell commented 10 years ago

From nils.anders.danielsson on November 08, 2013 07:54:19

Why is this a defect with high prio?

I didn't find a good label. I think this should be fixed before the next release.

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 08, 2013 22:04:57

I did that when I inserted the pragmas, but of course that was a long time ago.

Owner: nils.anders.danielsson
Labels: -Type-Defect Type-Task

UlfNorell commented 10 years ago

From nils.anders.danielsson on November 11, 2013 07:27:35

Status: Fixed