Preparation for supporting GHC 8.0.1

[asr]

Last edit: 2016-05-01
GHC version: 8.0.1-rc4

Current issues related to support GHC 8.0.1:

• pqueue (see adapt to GHC-8.0.1 lspitzner/pqueue#2) which is required by uhc-util

• uhc-light (see Missing support for GHC 8 UU-ComputerScience/uhc#71)

  From Separate bug trackers for UHC and uhc-light UU-ComputerScience/uhc#73 (comment), the support for GHC 8.0.1 by uch-light requires that UHC supports GHC 8.0.1.

• uhc-util (see Missing support for GHC 8.0.1 UU-ComputerScience/uhc-util#8) which is required by uhc-light

• fclabels (see GHC 8: Segmentation fault/access violation in generated code sebastiaanvisser/fclabels#27)

• geniplate-mirror (see Added support template-haskell 2.11.*. danr/geniplate#4)

• hashtables (see Compile failure with GHC HEAD gregorycollins/hashtables#29)

• logict-state (see Added support for GHC 8 atzedijkstra/logict-state#1) which is required by uhc-util

• murmur-hash (see Missing support for GHC 8.0.1 nominolo/murmur-hash#11)

[asr]

I updated the OP.

[asr]

I updated the OP.

[asr]

I updated the OP.

[mietek]

There appears to be an issue with compiling agda-mode using GHC 8.0.1-rc3, as reported in Homebrew/homebrew-core#440 (comment) by @ilovezfs:

==> /usr/local/Cellar/agda/2.5.1/bin/agda-mode compile
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Symbol's function definition is void: byte-compile-disable-warning
Unable to compile the following Emacs Lisp files:
  /usr/local/Cellar/agda/2.5.1/share/x86_64-osx-ghc-8.0.0.20160411/Agda-2.5.1/emacs-mode/agda2-abbrevs.el
  /usr/local/Cellar/agda/2.5.1/share/x86_64-osx-ghc-8.0.0.20160411/Agda-2.5.1/emacs-mode/annotation.el
  /usr/local/Cellar/agda/2.5.1/share/x86_64-osx-ghc-8.0.0.20160411/Agda-2.5.1/emacs-mode/agda2-queue.el
  /usr/local/Cellar/agda/2.5.1/share/x86_64-osx-ghc-8.0.0.20160411/Agda-2.5.1/emacs-mode/eri.el
  /usr/local/Cellar/agda/2.5.1/share/x86_64-osx-ghc-8.0.0.20160411/Agda-2.5.1/emacs-mode/agda2.el
  /usr/local/Cellar/agda/2.5.1/share/x86_64-osx-ghc-8.0.0.20160411/Agda-2.5.1/emacs-mode/agda-input.el
  /usr/local/Cellar/agda/2.5.1/share/x86_64-osx-ghc-8.0.0.20160411/Agda-2.5.1/emacs-mode/agda2-highlight.el
  /usr/local/Cellar/agda/2.5.1/share/x86_64-osx-ghc-8.0.0.20160411/Agda-2.5.1/emacs-mode/agda2-mode.el
/usr/local/Library/Homebrew/debrew.rb:11:in `raise'
BuildError: Failed executing: /usr/local/Cellar/agda/2.5.1/bin/agda-mode compile

[ilovezfs]

@mietek Thank you for reporting this in the right place!

[asr]

@mietek I couldn't reproduce the issue with GNU Emacs 24.5.1. As it was mentioned by @zmwangx, the issue doesn't depend on GHC 8.0.1-rc3.

[ilovezfs]

The formula for agda only requires

 depends_on :emacs => ["21.1", :recommended]

The version that ships on El Capitan is 22.1.1.

@asr Given that the issue does not occur when using agda 2.5.1 + ghc-7.10.3b + emacs 22.1.1, and it does occur when using agda 2.5.1 + ghc 8.0.1-rc3 + emacs 22.1.1, there's clearly some sort of difference.

[zmwangx]

Emacs 22.1.1 from 2007 doesn't seem to have byte-compile-disable-warning. I'm surprised that it worked at all.

Anyway, assuming that agda2-mode is supported on 22.1.1 (I doubt it, because even some big name packages like magit have long since moved on), we can safely ignore the error, because the only difference between byte compiling or not is speed.

[ilovezfs]

@zmwangx well that would mean the bug is with 7.10.3b not failing. Also it means that if the formula is going to have an emacs option it should be requiring a higher version if 22.1.1 is not sufficient.

[asr]

I filed #1945 for continuing the discussion with the issue with agda-mode.

[ilovezfs]

@zmwangx Yep you were right. The issue is that --build-bottle fulfills the requirement :emacs => ["21.1", :recommended] with brew's emacs, which is 24.5, whereas --build-from-source fulfills the same requirement with the system emacs, which is 22.1.1. Despite the error, do the compiled agda emacs bindings from the bottle work with 21.1.1 at all? If not we really should raise that requirement to whatever is the minimum that does actually work.

[asr]

Since Agda compiles with GHC 8.0.1-rc3 and I didn't find any problem running make test I'm closing this issue. I'll open new issues for other problems known.

[asr]

Agda doesn't compile with GHC 8.0.1-rc4. I updated the OP.

[asr]

The murmur-hash issue was fixed, I updated the OP.

[asr]

GHC 8.0.1 (source tarball) was released, so I'm closing this issue. Please use #1971 for reporting new issues related to this version of GHC.