October 2017 - ghc-devs

Simplify.hs depends on typechecker
by Joachim Breitner 26 Oct '17

26 Oct '17

Hi, while rebuilding Simplify.o only I noticed that all of the type checker, and HsSyn stuff, and renamer stuff, and so needed to be rebuilt, which I found strange. After a little investigation, it seems that the simplifier depends on CoreMonad, and that pulls some very few type-checker related things: 1. import TcRnMonad ( initTcForLookup ) import {-# SOURCE #-} TcSplice ( lookupThName_maybe ) for thNameToGhcName :: TH.Name -> CoreM (Maybe Name) thNameToGhcName th_name = do hsc_env <- getHscEnv liftIO $ initTcForLookup hsc_env (lookupThName_maybe th_name) which is not even used in GHC, but only in GHC Plugins, so this could probably be moved to a separate module pulled in by GhcPlugins.hs 2. import TcEnv ( lookupGlobal ) for instance MonadThings CoreM where lookupThing name = do { hsc_env <- getHscEnv ; liftIO $ lookupGlobal hsc_env name } This might be a bit harder to disentangle. But if successful, it would probably make building GHC in parallel quite a bit faster. And it just seems strange to me that the Core-to-Core code should depend on the type checker… I’m sending this out there in case someone has dug in that direction before and has insights to share. Greetings, Joachim (Attached is a transitively reduced dependency graph of Simplify.hs, created using Iavor’s https://github.com/yav/graphmod/wiki) -- Joachim “nomeata” Breitner mail(a)joachim-breitner.de https://www.joachim-breitner.de/

2 1

Bringing back #ghc IRC logging
by Niklas Hambüchen 25 Oct '17

25 Oct '17

Hi, as you may have noticed, #ghc IRC logging has been broken for months (though the channel topic still says "Logs: http://ircbrowse.net/ghc"). Logs being unavailable is bad because many problems and topics that were googleable before are no longer googleable. We have discussed in the last 2 days on #ghc whether we should just join #ghc with a 0-effort-on-our-side public logging service like botbot.me. This one in particular doesn't have the best UI but I found it to be very googleable, and many open-source projects use it successfully. Is anybody opposed to this? Niklas

4 5

Relocatable dist
by Moritz Angermann 24 Oct '17

24 Oct '17

Hi, while trying to make the binary-distribution logic work for cross compilers. I've come wonder, how hard it could be to make GHC relocatable. (e.g. just unpack the distribution, and use the compiler from the `bin` folder within). Right now this does not work due to the need for the path to package.conf, and this is hardcoded in the wrapper script to provide the proper libdir to ghc via -B[1]. Supposedly this is not an issue on Windows, as a relative path is common on windows and finding the location of the executable can be done safely. Or that's at least how I understand[1]. For macOS there is the haskell-platform, and ghc-dot-app[2] From [3], it sounds like automake is a build, and not a packaging system, and the binary dist usecase with configure is not really a standard use case. So why do I bring this up NOW? Apart from me trying to make cross compiler binary distributions working? The reason is that we are also trying to move towards hadrian, and by "starting from scratch", maybe we have a chance to reconsider how we do things? I must admit, I'm quite happy to use packages like llvm, by just downloading a package and adding the `bin` path to my $PATH. There is however one thing that the current configure appraoch does, which I think is quite noteworthy (apart from setting $prefix). That is, it does check for compilers and sets them accordingly, which might be desirable. Cheers, Moritz -- [1]: https://ghc.haskell.org/trac/ghc/wiki/Building/Installing [2]: https://ghc.haskell.org/trac/ghc/wiki/Building/MacOSX/Installer [3]: https://lists.gnu.org/archive/html/automake/2006-10/msg00005.html

4 11

forall in constraint
by Alan & Kim Zimmerman 23 Oct '17

23 Oct '17

I am working on the Trees that Grow stuff, and hit a small problem I have type family XIB x thing type family XNewImplicitBndrs x thing type ForallXImplicitBndrs (c :: * -> Constraint) (x :: *) (thing :: *) = ( c (XIB x thing) , c (XNewImplicitBndrs x thing) ) and I want to extend the DataId constraint type DataId p = ( Data p , ForallXImplicitBndrs Data p thing ) But the problem is I do not have `thing` at this point, and to get it in the code will involve some hs-boot nastiness. Is there any way to require "forall thing. Data thing" inside the DataId constraint? Alan

3 4

Can't build docs
by Simon Peyton Jones 23 Oct '17

23 Oct '17

On Linux I can't build the docs. Log below Simon "inplace/bin/ghc-stage1" -this-unit-id rts -shared -dynamic -dynload deploy -no-auto-link-packages -Lrts/dist/build -lffi -optl-Wl,-rpath -optl-Wl,'$ORIGIN' -optl-Wl,-zorigin `cat rts/dist/libs.depend` rts/dist/build/Adjustor.l_dyn_o rts/dist/build/Arena.l_dyn_o rts/dist/build/Capability.l_dyn_o rts/dist/build/CheckUnload.l_dyn_o rts/dist/build/ClosureFlags.l_dyn_o rts/dist/build/Disassembler.l_dyn_o rts/dist/build/FileLock.l_dyn_o rts/dist/build/Globals.l_dyn_o rts/dist/build/Hash.l_dyn_o rts/dist/build/Hpc.l_dyn_o rts/dist/build/HsFFI.l_dyn_o rts/dist/build/Inlines.l_dyn_o rts/dist/build/Interpreter.l_dyn_o rts/dist/build/LdvProfile.l_dyn_o rts/dist/build/Libdw.l_dyn_o rts/dist/build/LibdwPool.l_dyn_o rts/dist/build/Linker.l_dyn_o rts/dist/build/Messages.l_dyn_o rts/dist/build/OldARMAtomic.l_dyn_o rts/dist/build/PathUtils.l_dyn_o rts/dist/build/Pool.l_dyn_o rts/dist/build/Printer.l_dyn_o rts/dist/build/ProfHeap.l_dyn_o rts/dist/build/ProfilerReport.l_dyn_o rts/dist/build/ProfilerReportJson.l_dyn_o rts/dist/build/Profiling.l_dyn_o rts/dist/build/Proftimer.l_dyn_o rts/dist/build/RaiseAsync.l_dyn_o rts/dist/build/RetainerProfile.l_dyn_o rts/dist/build/RetainerSet.l_dyn_o rts/dist/build/RtsAPI.l_dyn_o rts/dist/build/RtsDllMain.l_dyn_o rts/dist/build/RtsFlags.l_dyn_o rts/dist/build/RtsMain.l_dyn_o rts/dist/build/RtsMessages.l_dyn_o rts/dist/build/RtsStartup.l_dyn_o rts/dist/build/RtsSymbolInfo.l_dyn_o rts/dist/build/RtsSymbols.l_dyn_o rts/dist/build/RtsUtils.l_dyn_o rts/dist/build/Schedule.l_dyn_o rts/dist/build/Sparks.l_dyn_o rts/dist/build/Stable.l_dyn_o rts/dist/build/StaticPtrTable.l_dyn_o rts/dist/build/Stats.l_dyn_o rts/dist/build/StgCRun.l_dyn_o rts/dist/build/StgPrimFloat.l_dyn_o rts/dist/build/STM.l_dyn_o rts/dist/build/Task.l_dyn_o rts/dist/build/ThreadLabels.l_dyn_o rts/dist/build/ThreadPaused.l_dyn_o rts/dist/build/Threads.l_dyn_o rts/dist/build/Ticky.l_dyn_o rts/dist/build/Timer.l_dyn_o rts/dist/build/TopHandler.l_dyn_o rts/dist/build/Trace.l_dyn_o rts/dist/build/Weak.l_dyn_o rts/dist/build/WSDeque.l_dyn_o rts/dist/build/xxhash.l_dyn_o rts/dist/build/hooks/FlagDefaults.l_dyn_o rts/dist/build/hooks/MallocFail.l_dyn_o rts/dist/build/hooks/OnExit.l_dyn_o rts/dist/build/hooks/OutOfHeap.l_dyn_o rts/dist/build/hooks/StackOverflow.l_dyn_o rts/dist/build/sm/BlockAlloc.l_dyn_o rts/dist/build/sm/CNF.l_dyn_o rts/dist/build/sm/Compact.l_dyn_o rts/dist/build/sm/Evac.l_dyn_o rts/dist/build/sm/Evac_thr.l_dyn_o rts/dist/build/sm/GCAux.l_dyn_o rts/dist/build/sm/GC.l_dyn_o rts/dist/build/sm/GCUtils.l_dyn_o rts/dist/build/sm/MarkWeak.l_dyn_o rts/dist/build/sm/MBlock.l_dyn_o rts/dist/build/sm/Sanity.l_dyn_o rts/dist/build/sm/Scav.l_dyn_o rts/dist/build/sm/Scav_thr.l_dyn_o rts/dist/build/sm/Storage.l_dyn_o rts/dist/build/sm/Sweep.l_dyn_o rts/dist/build/eventlog/EventLog.l_dyn_o rts/dist/build/eventlog/EventLogWriter.l_dyn_o rts/dist/build/linker/CacheFlush.l_dyn_o rts/dist/build/linker/Elf.l_dyn_o rts/dist/build/linker/elf_got.l_dyn_o rts/dist/build/linker/elf_plt_aarch64.l_dyn_o rts/dist/build/linker/elf_plt_arm.l_dyn_o rts/dist/build/linker/elf_plt.l_dyn_o rts/dist/build/linker/elf_reloc_aarch64.l_dyn_o rts/dist/build/linker/elf_reloc.l_dyn_o rts/dist/build/linker/elf_util.l_dyn_o rts/dist/build/linker/LoadArchive.l_dyn_o rts/dist/build/linker/M32Alloc.l_dyn_o rts/dist/build/linker/MachO.l_dyn_o rts/dist/build/linker/PEi386.l_dyn_o rts/dist/build/linker/SymbolExtras.l_dyn_o rts/dist/build/posix/GetEnv.l_dyn_o rts/dist/build/posix/GetTime.l_dyn_o rts/dist/build/posix/Itimer.l_dyn_o rts/dist/build/posix/OSMem.l_dyn_o rts/dist/build/posix/OSThreads.l_dyn_o rts/dist/build/posix/Select.l_dyn_o rts/dist/build/posix/Signals.l_dyn_o rts/dist/build/posix/TTY.l_dyn_o rts/dist/build/Apply.l_dyn_o rts/dist/build/Compact.l_dyn_o rts/dist/build/Exception.l_dyn_o rts/dist/build/HeapStackCheck.l_dyn_o rts/dist/build/PrimOps.l_dyn_o rts/dist/build/StgMiscClosures.l_dyn_o rts/dist/build/StgStartup.l_dyn_o rts/dist/build/StgStdThunks.l_dyn_o rts/dist/build/Updates.l_dyn_o rts/dist/build/AutoApply.l_dyn_o -fPIC -dynamic -eventlog -O0 -H64m -Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Irts -Irts/dist/build -DCOMPILING_RTS -this-unit-id rts -dcmm-lint -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -o rts/dist/build/libHSrts_l-ghc8.3.20171020.so "inplace/bin/ghc-stage1" -this-unit-id rts -shared -dynamic -dynload deploy -no-auto-link-packages -Lrts/dist/build -lffi -optl-Wl,-rpath -optl-Wl,'$ORIGIN' -optl-Wl,-zorigin `cat rts/dist/libs.depend` rts/dist/build/Adjustor.thr_l_dyn_o rts/dist/build/Arena.thr_l_dyn_o rts/dist/build/Capability.thr_l_dyn_o rts/dist/build/CheckUnload.thr_l_dyn_o rts/dist/build/ClosureFlags.thr_l_dyn_o rts/dist/build/Disassembler.thr_l_dyn_o rts/dist/build/FileLock.thr_l_dyn_o rts/dist/build/Globals.thr_l_dyn_o rts/dist/build/Hash.thr_l_dyn_o rts/dist/build/Hpc.thr_l_dyn_o rts/dist/build/HsFFI.thr_l_dyn_o rts/dist/build/Inlines.thr_l_dyn_o rts/dist/build/Interpreter.thr_l_dyn_o rts/dist/build/LdvProfile.thr_l_dyn_o rts/dist/build/Libdw.thr_l_dyn_o rts/dist/build/LibdwPool.thr_l_dyn_o rts/dist/build/Linker.thr_l_dyn_o rts/dist/build/Messages.thr_l_dyn_o rts/dist/build/OldARMAtomic.thr_l_dyn_o rts/dist/build/PathUtils.thr_l_dyn_o rts/dist/build/Pool.thr_l_dyn_o rts/dist/build/Printer.thr_l_dyn_o rts/dist/build/ProfHeap.thr_l_dyn_o rts/dist/build/ProfilerReport.thr_l_dyn_o rts/dist/build/ProfilerReportJson.thr_l_dyn_o rts/dist/build/Profiling.thr_l_dyn_o rts/dist/build/Proftimer.thr_l_dyn_o rts/dist/build/RaiseAsync.thr_l_dyn_o rts/dist/build/RetainerProfile.thr_l_dyn_o rts/dist/build/RetainerSet.thr_l_dyn_o rts/dist/build/RtsAPI.thr_l_dyn_o rts/dist/build/RtsDllMain.thr_l_dyn_o rts/dist/build/RtsFlags.thr_l_dyn_o rts/dist/build/RtsMain.thr_l_dyn_o rts/dist/build/RtsMessages.thr_l_dyn_o rts/dist/build/RtsStartup.thr_l_dyn_o rts/dist/build/RtsSymbolInfo.thr_l_dyn_o rts/dist/build/RtsSymbols.thr_l_dyn_o rts/dist/build/RtsUtils.thr_l_dyn_o rts/dist/build/Schedule.thr_l_dyn_o rts/dist/build/Sparks.thr_l_dyn_o rts/dist/build/Stable.thr_l_dyn_o rts/dist/build/StaticPtrTable.thr_l_dyn_o rts/dist/build/Stats.thr_l_dyn_o rts/dist/build/StgCRun.thr_l_dyn_o rts/dist/build/StgPrimFloat.thr_l_dyn_o rts/dist/build/STM.thr_l_dyn_o rts/dist/build/Task.thr_l_dyn_o rts/dist/build/ThreadLabels.thr_l_dyn_o rts/dist/build/ThreadPaused.thr_l_dyn_o rts/dist/build/Threads.thr_l_dyn_o rts/dist/build/Ticky.thr_l_dyn_o rts/dist/build/Timer.thr_l_dyn_o rts/dist/build/TopHandler.thr_l_dyn_o rts/dist/build/Trace.thr_l_dyn_o rts/dist/build/Weak.thr_l_dyn_o rts/dist/build/WSDeque.thr_l_dyn_o rts/dist/build/xxhash.thr_l_dyn_o rts/dist/build/hooks/FlagDefaults.thr_l_dyn_o rts/dist/build/hooks/MallocFail.thr_l_dyn_o rts/dist/build/hooks/OnExit.thr_l_dyn_o rts/dist/build/hooks/OutOfHeap.thr_l_dyn_o rts/dist/build/hooks/StackOverflow.thr_l_dyn_o rts/dist/build/sm/BlockAlloc.thr_l_dyn_o rts/dist/build/sm/CNF.thr_l_dyn_o rts/dist/build/sm/Compact.thr_l_dyn_o rts/dist/build/sm/Evac.thr_l_dyn_o rts/dist/build/sm/Evac_thr.thr_l_dyn_o rts/dist/build/sm/GCAux.thr_l_dyn_o rts/dist/build/sm/GC.thr_l_dyn_o rts/dist/build/sm/GCUtils.thr_l_dyn_o rts/dist/build/sm/MarkWeak.thr_l_dyn_o rts/dist/build/sm/MBlock.thr_l_dyn_o rts/dist/build/sm/Sanity.thr_l_dyn_o rts/dist/build/sm/Scav.thr_l_dyn_o rts/dist/build/sm/Scav_thr.thr_l_dyn_o rts/dist/build/sm/Storage.thr_l_dyn_o rts/dist/build/sm/Sweep.thr_l_dyn_o rts/dist/build/eventlog/EventLog.thr_l_dyn_o rts/dist/build/eventlog/EventLogWriter.thr_l_dyn_o rts/dist/build/linker/CacheFlush.thr_l_dyn_o rts/dist/build/linker/Elf.thr_l_dyn_o rts/dist/build/linker/elf_got.thr_l_dyn_o rts/dist/build/linker/elf_plt_aarch64.thr_l_dyn_o rts/dist/build/linker/elf_plt_arm.thr_l_dyn_o rts/dist/build/linker/elf_plt.thr_l_dyn_o rts/dist/build/linker/elf_reloc_aarch64.thr_l_dyn_o rts/dist/build/linker/elf_reloc.thr_l_dyn_o rts/dist/build/linker/elf_util.thr_l_dyn_o rts/dist/build/linker/LoadArchive.thr_l_dyn_o rts/dist/build/linker/M32Alloc.thr_l_dyn_o rts/dist/build/linker/MachO.thr_l_dyn_o rts/dist/build/linker/PEi386.thr_l_dyn_o rts/dist/build/linker/SymbolExtras.thr_l_dyn_o rts/dist/build/posix/GetEnv.thr_l_dyn_o rts/dist/build/posix/GetTime.thr_l_dyn_o rts/dist/build/posix/Itimer.thr_l_dyn_o rts/dist/build/posix/OSMem.thr_l_dyn_o rts/dist/build/posix/OSThreads.thr_l_dyn_o rts/dist/build/posix/Select.thr_l_dyn_o rts/dist/build/posix/Signals.thr_l_dyn_o rts/dist/build/posix/TTY.thr_l_dyn_o rts/dist/build/Apply.thr_l_dyn_o rts/dist/build/Compact.thr_l_dyn_o rts/dist/build/Exception.thr_l_dyn_o rts/dist/build/HeapStackCheck.thr_l_dyn_o rts/dist/build/PrimOps.thr_l_dyn_o rts/dist/build/StgMiscClosures.thr_l_dyn_o rts/dist/build/StgStartup.thr_l_dyn_o rts/dist/build/StgStdThunks.thr_l_dyn_o rts/dist/build/Updates.thr_l_dyn_o rts/dist/build/AutoApply.thr_l_dyn_o -fPIC -dynamic -optc-DTHREADED_RTS -eventlog -O0 -H64m -Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Irts -Irts/dist/build -DCOMPILING_RTS -this-unit-id rts -dcmm-lint -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wcpp-undef -Wnoncanonical-monad-instances -o rts/dist/build/libHSrts_thr_l-ghc8.3.20171020.so Running Sphinx v1.1.3 Running Sphinx v1.1.3 Running Sphinx v1.1.3 loading pickled environment... loading pickled environment... loading pickled environment... done done done building [latex]: all documents building [man]: all manpages updating environment: updating environment: 0 added, 2 changed, 0 removed reading sources... [ 50%] 8.4.1-notes 0 added, 2 changed, 0 removed reading sources... [ 50%] 8.4.1-notes reading sources... [100%] runtime_control reading sources... [100%] runtime_control looking for now-outdated files... looking for now-outdated files... none found pickling environment... none found pickling environment... done checking consistency... /5playpen/simonpj/HEAD/docs/users_guide/what_glasgow_exts_does.rst:: WARNING: document isn't included in any toctree done writing... ghc.1 { } done checking consistency... /5playpen/simonpj/HEAD/docs/users_guide/what_glasgow_exts_does.rst:: WARNING: document isn't included in any toctree done processing users_guide.tex... index license intro 8.2.1-notes 8.4.1-notes ghci runghc usage using using-warnings using-optimisation Exception occurred: File "/usr/lib/python2.7/dist-packages/docutils/writers/__init__.py", line 77, in write self.translate() File "/usr/lib/python2.7/dist-packages/sphinx/writers/manpage.py", line 35, in translate self.document.walkabout(visitor) File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 165, in walkabout visitor.dispatch_visit(self) File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 1604, in dispatch_visit return method(node) File "/usr/lib/python2.7/dist-packages/sphinx/writers/manpage.py", line 345, in unknown_visit raise NotImplementedError('Unknown node: ' + node.__class__.__name__) NotImplementedError: Unknown node: inline The full traceback has been saved in /tmp/sphinx-err-hAgScz.log, if you want to report the issue to the developers. Please also report this if it was a user error, so that a better error message can be provided next time. Either send bugs to the mailing list at <http://groups.google.com/group/sphinx-dev/>, or report them in the tracker at <http://bitbucket.org/birkenfeld/sphinx/issues/>. Thanks! using-concurrent flags make[1]: *** [docs/users_guide/build-man/ghc.1] Error 1 make[1]: *** Waiting for unfinished jobs.... runtime_control separate_compilation packages codegens phases shared_libs debugging profiling sooner lang glasgow_exts parallel safe_haskell ffi-chap extending_ghc gone_wrong debug-info utils win32-dlls bugs eventlog-formats editing-guide resolving references... writing... /5playpen/simonpj/HEAD/docs/users_guide/8.2.1-notes.rst:: WARNING: unusable reference target found: ../libraries/ghc-compact-0.1.0.0/GHC-Compact.html building [html]: targets for 37 source files that are out of date updating environment: /5playpen/simonpj/HEAD/docs/users_guide/ghci.rst:: WARNING: unusable reference target found: ../libraries/base-4.11.0.0/Control-Exception.html 0 added, 2 changed, 0 removed reading sources... [ 50%] 8.4.1-notes reading sources... [100%] runtime_control /5playpen/simonpj/HEAD/docs/users_guide/using-concurrent.rst:: WARNING: unusable reference target found: ../libraries/base-4.11.0.0/Control-Concurrent.html /5playpen/simonpj/HEAD/docs/users_guide/using-concurrent.rst:: WARNING: unusable reference target found: ../libraries/base-4.11.0.0/Control-Concurrent.html#v:setNumCapabilities /5playpen/simonpj/HEAD/docs/users_guide/using-concurrent.rst:: WARNING: unusable reference target found: ../libraries/base-4.11.0.0/Control-Concurrent.html#v:forkOn looking for now-outdated files... none found pickling environment... /5playpen/simonpj/HEAD/docs/users_guide/runtime_control.rst:: WARNING: unusable reference target found: ../libraries/base-4.11.0.0/GHC-Conc.html#v:enableAllocationLimit /5playpen/simonpj/HEAD/docs/users_guide/runtime_control.rst:: WARNING: unusable reference target found: ../libraries/base-4.11.0.0/GHC-Conc.html#v:par /5playpen/simonpj/HEAD/docs/users_guide/runtime_control.rst:: WARNING: unusable reference target found: ../libraries/base-4.11.0.0/GHC-Stats.html done checking consistency... /5playpen/simonpj/HEAD/docs/users_guide/what_glasgow_exts_does.rst:: WARNING: document isn't included in any toctree done preparing documents... Exception occurred: File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 173, in walkabout if child.walkabout(visitor): File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 165, in walkabout visitor.dispatch_visit(self) File "/usr/lib/python2.7/dist-packages/docutils/nodes.py", line 1604, in dispatch_visit return method(node) File "/usr/lib/python2.7/dist-packages/sphinx/writers/latex.py", line 1176, in visit_reference self.in_productionlist: AttributeError: LaTeXTranslator instance has no attribute 'in_productionlist' The full traceback has been saved in /tmp/sphinx-err-WghQBt.log, if you want to report the issue to the developers. Please also report this if it was a user error, so that a better error message can be provided next time. Either send bugs to the mailing list at <http://groups.google.com/group/sphinx-dev/>, or report them in the tracker at <http://bitbucket.org/birkenfeld/sphinx/issues/>. Thanks! done writing output... [ 2%] 8.2.1-notes make[1]: *** [docs/users_guide/users_guide.pdf] Error 1 writing output... [ 5%] 8.4.1-notes writing output... [ 8%] bugs writing output... [ 10%] codegens writing output... [ 13%] debug-info writing output... [ 16%] debugging writing output... [ 18%] editing-guide writing output... [ 21%] eventlog-formats writing output... [ 24%] extending_ghc writing output... [ 27%] ffi-chap writing output... [ 29%] flags writing output... [ 32%] ghc writing output... [ 35%] ghci writing output... [ 37%] glasgow_exts writing output... [ 40%] gone_wrong writing output... [ 43%] index writing output... [ 45%] intro writing output... [ 48%] lang writing output... [ 51%] license writing output... [ 54%] packages writing output... [ 56%] parallel writing output... [ 59%] phases writing output... [ 62%] profiling /5playpen/simonpj/HEAD/docs/users_guide/profiling.rst:557: WARNING: Pygments lexer name u'json' is not known writing output... [ 64%] runghc writing output... [ 67%] runtime_control writing output... [ 70%] safe_haskell writing output... [ 72%] separate_compilation writing output... [ 75%] shared_libs writing output... [ 78%] sooner writing output... [ 81%] usage writing output... [ 83%] using writing output... [ 86%] using-concurrent writing output... [ 89%] using-optimisation writing output... [ 91%] using-warnings writing output... [ 94%] utils writing output... [ 97%] what_glasgow_exts_does writing output... [100%] win32-dlls writing additional files... genindex search opensearch copying images... [100%] images/prof_scc.svg copying static files... done dumping search index... done dumping object inventory... done build succeeded, 2 warnings. make: *** [all] Error 2 simonpj@cam-05-unx:~/5builds/HEAD$

2 1

GHC HEAD now needs extra tools to build libffi?
by Ryan Scott 23 Oct '17

23 Oct '17

Trying to build a fresh copy of GHC HEAD (at commit [1]) today failed for me with this error: [2] /u/rgscott/Software/ghc4/libffi/build/missing: line 81: makeinfo: command not found WARNING: 'makeinfo' is missing on your system. You should only need it if you modified a '.texi' file, or any other file indirectly affecting the aspect of the manual. You might want to install the Texinfo package: <http://www.gnu.org/software/texinfo/> The spurious makeinfo call might also be the consequence of using a buggy 'make' (AIX, DU, IRIX), in which case you might want to install GNU make: <http://www.gnu.org/software/make/> On my Ubuntu machine, I was able to work around the issue by running: apt-get install texinfo But I'm not sure if the texinfo requirement was expected or an unintended side effect of recent libffi changes. Do you know what's happening here Moritz? Best, Ryan S. ----- [1] http://git.haskell.org/ghc.git/commit/e515c7f37be97e1c2ccc497ddd0a730e63ddf… [2] http://lpaste.net/6716863452582772736

8 25

haddock specializeInstHead
by Alan & Kim Zimmerman 23 Oct '17

23 Oct '17

I am working the next stage of Trees that Grow into GHC [1], and need to update Haddock. The `Specialize` module[2] exports a single function, `specializeInstHead` which is called once, specialised to `GhcRn`. So all it needs to be for haddock use is specializeInstHead :: InstHead GhcRn -> InstHead GhcRn But the entire module is polymorphic in the AST parameter, so it has the following instead specializeInstHead :: (Ord (IdP name), DataId name, SetName (IdP name), NamedThing (IdP name)) => InstHead name -> InstHead name Question: does it need to be so polymorphic? I am hitting issues getting the type parameter change worked through, and it seems a bit pointless to slog on with it if it is unnecessary. Alan [1] https://github.com/ghc/ghc/tree/wip/ttg-2017-10-13 [2] https://github.com/haskell/haddock/blob/a5bdb46185b7c0b3fced9a7fac9a62883d9…

2 1

Is stage-1 sufficient to run nofib
by Joachim Breitner 23 Oct '17

23 Oct '17

Hi, I guess I could just try it, but maybe someone knows it, or knows what would go wrong… If I run nofib with ghc-stage1 instead of ghc-stage2, I should get the same results, right? (ignoring compilation times here) My hope is that it can speed up perf.haskell.org some more. Greetings, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

2 3

splitting metavariables
by Richard Eisenberg 23 Oct '17

23 Oct '17

Hi Simon, I just commented (https://ghc.haskell.org/trac/ghc/ticket/14331#comment:35) about a situation where we call splitFunTys on a type that might be a metavariable. (You don't have to read the comment -- that's just to set the context.) Now that I think of it, we should never call the splitXXX functions on metavariables -- any time we do so is wrong. I suppose it's OK if we, say, call splitTyConApp_maybe on (T alpha beta gamma), because we never look through the metavariables there. But it can't possible be write to call splitTyConApp_maybe on alpha. Do you agree? Should we ASSERT that we don't do this? The tcXXX variants are no different in this regard. Actually, I wonder if we can put the check in just one spot: coreView. Whenever we use coreView, we're about to inspect a type. And we should never be inspecting a metavariable in this way. Richard

2 1

Re: Compiling natively GHC for ARMv7l softabi
by shiftag＠nanotek.info 22 Oct '17

22 Oct '17

> shiftag(a)nanotek.info writes: > >> Hi List, >> >> I would like to install GHC for my CPU which is an ARMv7L Soft-ABI >> NEON FPU. I read some stuff on ARM and GHC related. So it appears that >> an installation is possible but with a RPi. The problem is the stack >> binary which has been compiled for Hard-Float target. So it should not >> be difficult to make it work for my architecture. > > Indeed I suspect you are right; it should be fairly straightforward to > build GHC for your platform. > >> I checked for stack sources (stack-1.5.1.tar.gz) but I have any clue >> about how to compile it. Can you give me an hand ? > > First you will need to build GHC itself. This will be a two-step > process: > > 1. First build a cross-compiler [1] for your ARMv7L target on a machine > with a working GHC (e.g. an amd64 machine). > > 2. Transfer this compiler to your target and use it to build a native > GHC > > Let us know if you have any trouble. > > Cheers, > > - Ben > > [1] https://ghc.haskell.org/trac/ghc/wiki/Building/CrossCompiling Thank you. So, I succeed to install GHC on x64 GNU/Linux machine. However, I have an issue at Stage1 while cross-compiling. I have the following error : # make ===--- building phase 0 make --no-print-directory -f ghc.mk phase=0 phase_0_builds utils/genprimopcode/ghc.mk:19: utils/genprimopcode/dist/package-data.mk: No such file or directory utils/deriveConstants/ghc.mk:19: utils/deriveConstants/dist/package-data.mk: No such file or directory utils/genapply/ghc.mk:23: utils/genapply/dist/package-data.mk: No such file or directory libraries/hpc/ghc.mk:3: libraries/hpc/dist-boot/package-data.mk: No such file or directory libraries/binary/ghc.mk:3: libraries/binary/dist-boot/package-data.mk: No such file or directory libraries/Cabal/Cabal/ghc.mk:3: libraries/Cabal/Cabal/dist-boot/package-data.mk: No such file or directory libraries/ghc-boot-th/ghc.mk:3: libraries/ghc-boot-th/dist-boot/package-data.mk: No such file or directory libraries/ghc-boot/ghc.mk:3: libraries/ghc-boot/dist-boot/package-data.mk: No such file or directory libraries/template-haskell/ghc.mk:3: libraries/template-haskell/dist-boot/package-data.mk: No such file or directory libraries/hoopl/ghc.mk:3: libraries/hoopl/dist-boot/package-data.mk: No such file or directory libraries/transformers/ghc.mk:3: libraries/transformers/dist-boot/package-data.mk: No such file or directory libraries/terminfo/ghc.mk:3: libraries/terminfo/dist-boot/package-data.mk: No such file or directory compiler/ghc.mk:584: compiler/stage1/package-data.mk: No such file or directory utils/hsc2hs/ghc.mk:15: utils/hsc2hs/dist/package-data.mk: No such file or directory utils/ghc-pkg/ghc.mk:60: utils/ghc-pkg/dist/package-data.mk: No such file or directory utils/dll-split/ghc.mk:23: utils/dll-split/dist-install/package-data.mk: No such file or directory ghc/ghc.mk:111: ghc/stage1/package-data.mk: No such file or directory "/usr/bin/ghc" -H32m -O -Wall \ -optc-Wall -optc-fno-stack-protector \ \ -hide-all-packages \ -package base -package array -package time -package containers -package bytestring -package deepseq -package process -package pretty -package directory -package unix \ --make utils/ghc-cabal/Main.hs -o utils/ghc-cabal/dist/build/tmp/ghc-cabal \ -no-user-package-db \ -Wall -fno-warn-unused-imports -fno-warn-warnings-deprecations \ -DCABAL_VERSION=1,24,2,0 \ -DMIN_VERSION_binary_0_8_0 \ -DBOOTSTRAPPING \ -optP-include -optPutils/ghc-cabal/cabal_macros_boot.h \ -odir bootstrapping \ -hidir bootstrapping \ -ilibraries/Cabal/Cabal \ -ilibraries/binary/src -DGENERICS \ -ilibraries/filepath \ -ilibraries/hpc \ [53 of 95] Compiling Distribution.PackageDescription ( libraries/Cabal/Cabal/Distribution/PackageDescription.hs, bootstrapping/Distribution/PackageDescription.o ) utils/ghc-cabal/ghc.mk:48: recipe for target 'utils/ghc-cabal/dist/build/tmp/ghc-cabal' failed make[1]: *** [utils/ghc-cabal/dist/build/tmp/ghc-cabal] Killed Makefile:129: recipe for target 'all' failed make: *** [all] Error 2 I checked Google and I found the following patch : https://ghc.haskell.org/trac/ghc/ticket/8709 But it didn't work. Do you have an idea to fix it ? Cheers

4 20