My favorites | Sign in
Project Home Downloads Wiki Issues Source
New issue   Search
  Advanced search   Search tips   Subscriptions
Issue 692: Agda can't compile with new haskell-src-exts-1.13.5.
2 people starred this issue and may be notified of changes. Back to list
Status:  Fixed
Owner:  ----
Closed:  Oct 2012

Sign in to add a comment
Reported by, Sep 8, 2012
Agda ( can't compile with new haskell-src-exts-1.13.5
on Debian GNU/Linux sid amd64.

> src/full/Agda/Compiler/MAlonzo/Compiler.hs:469:52:
>     Not in scope: data constructor `HS.ExplicitForall'
>     Perhaps you meant `HS.ExplicitForAll' (imported from Language.Haskell.Exts.Extension)

I think the patch attached will fix it.

Kiwamu Okabe
1.2 KB   View   Download
Sep 8, 2012
Project Member #1
Agda development version works with haskell-src-exts-1.13.5.
Sep 8, 2012
When new agda release to Hackage?
Sep 8, 2012
Project Member #3
I don't know. Maybe someone from the Agda team can answer it.
Sep 20, 2012
Project Member #4
Mmh, maybe it is time for a release.  I have been busy addressing bugs, but the list only grows. ;-)
Status: Accepted
Labels: Type-Defect Priority-High Build
Oct 8, 2012
Project Member #5
(No comment was entered for this change.)
Status: Fixed
Sign in to add a comment

Powered by Google Project Hosting