- ghc-devs - Haskell.org

Re: [commit: ghc] wip/float-join-points: Wip on floating join points (128e4c1)
by Joachim Breitner 27 Oct '17

27 Oct '17

Hi Simon, Am Freitag, den 27.10.2017, 15:24 +0000 schrieb git(a)git.haskell.org: > commit 128e4c1ffa29f3dfade7128152c143cd601aaa3a > Author: Simon Peyton Jones <simonpj(a)microsoft.com> > Date: Fri Oct 27 16:20:24 2017 +0100 > > Wip on floating join points do you expect to merge that soon, or can I land Exitification before that? (I’m worried that I have to re-do a lot of performance analysis if the Simplifier suddenly does new things to join points). Blocking for Exitification is: * https://phabricator.haskell.org/D4130 needs to land Or rather, I’d prefer if someone who understands the Simplifier better than I fixes it properly. See https://phabricator.haskell.org/D4130#inline-32243 for bits that I am puzzled about. * I need to understand better why inlining join points in the final simplifier run regresses things. Unless you permit merging Exitification without final inlining even before we completely solve this mystery, on the grounds that - the nofib results say it’s the right thing to do and - there is a plausible theory (exit join points in unfolding enable optimizations in later modules in earlier phases). Greetings, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

wip/nfsl-locking
by Simon Peyton Jones 27 Oct '17

27 Oct '17

Can anyone switch off this torrent of commit messages for wip/nfs-locking? I'm submerged in junk. I'm about to write a junk-mail rule Simon

2 1

Please add your HCAR submissions
by Ben Gamari 27 Oct '17

27 Oct '17

Hello everyone, I am currently putting together the GHC's HCAR submission for the coming publication. If you have a something that you would like mentioned (compiler feature or otherwise) please do add it here [1] sometime before Sunday, 5 November. Alternatively, feel free to mention it to me via email or IRC. Cheers, - Ben [1] https://ghc.haskell.org/trac/ghc/wiki/Status/Oct17

1 0

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 25 Oct '17

25 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