My favorites | Sign in
Project Home Downloads Wiki Issues Source
New issue   Search
for
  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 kiw...@gmail.com, Sep 8, 2012
Agda (2.3.0.1) 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.

Regards,
Kiwamu Okabe
extend-haskell-src-exts-dependenc
1.2 KB   View   Download
Sep 8, 2012
Project Member #1 andres.s...@gmail.com
Agda development version works with haskell-src-exts-1.13.5.
Sep 8, 2012
#2 kiw...@gmail.com
Thank's.
When new agda release to Hackage?
Sep 8, 2012
Project Member #3 andres.s...@gmail.com
I don't know. Maybe someone from the Agda team can answer it.
Sep 20, 2012
Project Member #4 andreas....@gmail.com
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 ulf.nor...@gmail.com
(No comment was entered for this change.)
Status: Fixed
Sign in to add a comment

Powered by Google Project Hosting