January 2018 - ghc-tickets

[GHC] #10536: Clear up how to turn off dynamic linking in build.mk
by GHC 26 Mar '18

26 Mar '18

#10536: Clear up how to turn off dynamic linking in build.mk -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: task | Status: new Priority: normal | Milestone: 7.12.1 Component: Build | Version: 7.10.1 System | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- See https://mail.haskell.org/pipermail/ghc-devs/2014-December/007725.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10536> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #11188: Confusing "parse error in pattern" for missing indentation.
by GHC 26 Mar '18

26 Mar '18

#11188: Confusing "parse error in pattern" for missing indentation. -------------------------------------+------------------------------------- Reporter: andreas.abel | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.10.1 (Parser) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following problem exists at least in ghc 7.4.2 through 7.10.1: {{{#!hs main = do putStrLn "Hello, lots of crap" $ do a <- return 3 -- The following line is mis-indented, the error is incomprehensible c <- do return 5 }}} Error: {{{ <file>:2:3: Parse error in pattern: putStrLn Possibly caused by a missing 'do'? }}} The hint about "missing do" exists from ghc 7.8, but is wrong in this case. Problematic about this bug is that the wrong indentation can be arbitrary many lines from where ghc reports the (totally incomprehensible) error. My original problem is to find the syntax error here: {{{#!hs -- | Type check a function clause. checkClause :: Type -> A.SpineClause -> TCM Clause checkClause t c(a)(A.Clause (A.SpineLHS i x aps withPats) rhs0 wh) = do unless (null withPats) $ do typeError $ UnexpectedWithPatterns withPats traceCall (CheckClause t c) $ do aps <- expandPatternSynonyms aps checkLeftHandSide (CheckPatternShadowing c) (Just x) aps t $ \ (LHSResult delta ps trhs perm) -> do -- Note that we might now be in irrelevant context, -- in case checkLeftHandSide walked over an irrelevant projection pattern. -- As we will be type-checking the @rhs@ in @delta@, but the final -- body should have bindings in the order of the pattern variables, -- we need to apply the permutation to the checked rhs @v@. let mkBody v = foldr (\ x t -> Bind $ Abs x t) b xs where b = Body $ applySubst (renamingR perm) v xs = [ stringToArgName $ "h" ++ show n | n <- [0..permRange perm - 1] ] -- introduce trailing implicits for checking the where decls TelV htel t0 <- telViewUpTo' (-1) (not . visible) $ unArg trhs (body, with) <- do let n = size htel addCtxTel htel $ checkWhere (size delta + n) wh $ -- for the body, we remove the implicits again escapeContext n $ handleRHS aps (unArgs trhs) rhs0 escapeContext (size delta) $ checkWithFunction with reportSDoc "tc.lhs.top" 10 $ escapeContext (size delta) $ vcat [ text "Clause before translation:" , nest 2 $ vcat [ text "delta =" <+> prettyTCM delta , text "perm =" <+> text (show perm) , text "ps =" <+> text (show ps) , text "body =" <+> text (show body) , text "body =" <+> prettyTCM body ] ] return $ Clause { clauseRange = getRange i , clauseTel = killRange delta , clausePerm = perm , namedClausePats = ps , clauseBody = body , clauseType = Just trhs } }}} {{{ src/full/Agda/TypeChecking/Rules/Def.hs:328:5: Parse error in pattern: checkLeftHandSide Possibly caused by a missing 'do'? }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11188> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #13324: Allow PartialTypeSignatures in the instance context of a standalone deriving declaration
by GHC 23 Mar '18

23 Mar '18

#13324: Allow PartialTypeSignatures in the instance context of a standalone deriving declaration -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #10607 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Currently, if you try to use a wildcard anywhere in an instance context, it will fail immediately: {{{ $ ghci GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci λ> instance _ => Show (Maybe a) <interactive>:1:10: error: Wildcard ‘_’ not allowed in an instance declaration for ‘Show’ }}} But there's one situation where we could lift this restriction: the context of a standalone, derived instance declaration. That is, something like this: {{{#!hs deriving instance _ => Show (Maybe a) }}} Why? Because GHC already has the machinery needed to infer what the context should be (see [http://git.haskell.org/ghc.git/blob/8a6b8c5fb96472d7c2e2cd1918950dd50f2fef7… this part] of `TcDerivInfer`), so if a user turned on `PartialTypeSignatures`, GHC could just fill in the wildcard with the inferred constraints. The implementation won't be //that// easy, however, since we'd also have to watch out for trickery such as: {{{#!hs deriving instance (C a, _) => C (T a b c) }}} I only mentioned putting wildcards in a derived instance //context//, because I think allowing the use of wildcards elsewhere in the instance head might be too difficult to deal with. I mean, how would you fill in this, for example? {{{#!hs instance (_ a) }}} This mini-feature has a very practical application: it would allow users to wield the flexibility of `StandaloneDeriving` without having to manually type in the instance context every time. That is, users could type in these instances: {{{#!hs deriving instance _ => Data (T a b c) deriving instance _ => Eq (T a b c) }}} Instead of their fully spelled-out, more laborious counterparts. This would be crucial for Template Haskell, as its ability to infer these contexts is quite limited (see #10607 for an example where this cropped up). Idle thought: could this be generalized to work for the instance context of //any// instance declaration (and not just derived ones)? From an outside perspective, it seems like typechecking other instances would require inferring constraints in a fashion quite similar to that of derived instances. But I am not at all familiar with that part of the typechecker, so I might be totally off here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13324> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #14731: Document alignment invariants for array types in GHC.Prim
by GHC 21 Mar '18

21 Mar '18

#14731: Document alignment invariants for array types in GHC.Prim -------------------------------------+------------------------------------- Reporter: jberryman | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.2.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #2917 #9806 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Through a combination of reading some of the wiki entries on the RTS, some trac tickets, and experimentation I've inferred that the payloads for bytearray types will always be aligned to the machine word size, even after GC. I guess this is obvious in retrospect since otherwise non-pinned arrays would be pretty useless. I'm not sure what the promises are for all the `Foreign` stuff. It can be frustrating to use `GHC.Prim` in particular due to this sort of lack of commitment in the docs, and these compound. Usually I end up trying to find an example in `text` or `bytestring` that would be horribly broken if some undocumented behavior changed, and hang my hat on that with a sad comment in the code I'm writing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14731> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #14598: 32-bit Linux environment
by GHC 21 Mar '18

21 Mar '18

#14598: 32-bit Linux environment -------------------------------------+------------------------------------- Reporter: bgamari | Owner: bgamari Type: bug | Status: new Priority: normal | Milestone: Component: Continuous | Version: 8.2.1 Integration | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Currently we lack any 32-bit test environment on CircleCI. This will need to change as we still provide 32-bit binary distributions and Harbormaster currently does have a 32-bit test target. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14598> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #14508: Bring up Appveyor for Windows CI
by GHC 20 Mar '18

20 Mar '18

#14508: Bring up Appveyor for Windows CI -------------------------------------+------------------------------------- Reporter: bgamari | Owner: bgamari Type: task | Status: new Priority: normal | Milestone: Component: Continuous | Version: 8.2.1 Integration | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The current plan is to move to Appveyor for CI on Windows. Mateusz has a first [[https://github.com/tweag/ghc/blob/tweag/circleci- macos/appveyor.yml|stab]] at a configuration. Unfortunately it looks like we will far-exceed the one-hour default build time limit. It appears they Appveyor [[https://github.com/appveyor/ci/issues/517 |does give]] extensions to open-source projects, but typically only extend to 1.5 hours. It's unlikely that this will be sufficient as even my local Windows builds take ~1.75 hours. It appears that Rust has found a way around this as their [[https://ci.appveyor.com/project/rust-lang/rust/history|builds]] routinely last ~2 hours. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14508> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13650: Implement KPush in types
by GHC 20 Mar '18

20 Mar '18

#13650: Implement KPush in types -------------------------------------+------------------------------------- Reporter: goldfire | Owner: (none) Type: task | Status: new Priority: high | Milestone: 8.4.1 Component: Compiler | Version: Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- A recent commit contributed a [https://phabricator.haskell.org/diffusion/GHC/browse/master/compiler/types/… Note] that explains why we need the dreaded KPush rule to be implemented in `splitTyConApp`. Without KPush there, it's possible that we can have two types t1 and t2 such that {{{t1 `eqType` t2}}} and yet they respond differently to `splitTyConApp`: t1 = `(T |> co1) (a |> co2)` and t2 = `T a`. Both t1 and t2 are well-kinded and can have the same kind. But one is a `TyConApp` and one is an `AppTy`. (Actually, looking at this, perhaps the magic will be in `mkAppTy`, not `splitTyConApp`.) But I have to look closer. This ticket serves as a reminder to do so. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13650> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #14609: Per-instance UndecidableInstances
by GHC 20 Mar '18

20 Mar '18

#14609: Per-instance UndecidableInstances -------------------------------------+------------------------------------- Reporter: ryanreich | Owner: (none) Type: feature | Status: new request | Priority: low | Milestone: Component: Compiler | Version: 8.2.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The LANGUAGE pragma OverlappingInstances is now a per-instance modifier specifying the manner of overlap. Can (or why can't) this also be done for UndecidableInstances? It gives me an icky feeling to put it at the top of a source file when I just want to allow one specific instance to be undecidable. My apologies if this request already exists. It is very difficult to find bugs about UndecidableInstances in particular as opposed merely to those containing code with this pragma, which appear to be numerous. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14609> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #13378: ghc-stage2 broken for quick-llvm
by GHC 20 Mar '18

20 Mar '18

#13378: ghc-stage2 broken for quick-llvm -------------------------------------+------------------------------------- Reporter: angerman | Owner: (none) Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: Compiler | Version: Keywords: | Operating System: MacOS X Architecture: x86_64 | Type of failure: Building GHC (amd64) | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Building recent HEAD (e.g. 669333d8) with llvm via quick-llvm fails. The stage2 compiler is broken. Building the compiler with quick-llvm {{{ "inplace/bin/ghc-stage1" -o ghc/stage2/build/tmp/ghc-stage2 -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -O0 -H64m -fllvm -Wall -hide-all-packages -i -ighc/. -ighc/stage2/build -Ighc/stage2/build -ighc/stage2/build/ghc/autogen -Ighc/stage2/build/ghc/autogen -optP- DGHCI -optP-include -optPghc/stage2/build/ghc/autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id array-0.5.1.2 -package-id bytestring-0.10.8.2 -package-id directory-1.3.0.2 -package-id process-1.4.3.0 -package-id filepath-1.4.1.1 -package-id ghc-boot-8.1 -package-id ghc-8.1 -package-id unix-2.7.2.1 -package-id containers-0.5.10.2 -package-id deepseq-1.4.3.0 -package-id ghci-8.1 -package-id haskeline-0.7.3.0 -package-id time-1.8 -package-id transformers-0.5.2.0 -Wall -fno-warn-name-shadowing -XHaskell2010 -O0 -no-hs-main -threaded -no-user-package-db -rtsopts -Wnoncanonical- monad-instances -odir ghc/stage2/build -hidir ghc/stage2/build -stubdir ghc/stage2/build -optl-optl-Wl,-arch -optl-optl-Wl,x86_64 -fPIC -dynamic -O0 -H64m -fllvm -Wall -hide-all-packages -i -ighc/. -ighc/stage2/build -Ighc/stage2/build -ighc/stage2/build/ghc/autogen -Ighc/stage2/build/ghc/autogen -optP-DGHCI -optP-include -optPghc/stage2/build/ghc/autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id array-0.5.1.2 -package-id bytestring-0.10.8.2 -package-id directory-1.3.0.2 -package-id process-1.4.3.0 -package-id filepath-1.4.1.1 -package-id ghc-boot-8.1 -package-id ghc-8.1 -package-id unix-2.7.2.1 -package-id containers-0.5.10.2 -package-id deepseq-1.4.3.0 -package-id ghci-8.1 -package-id haskeline-0.7.3.0 -package-id time-1.8 -package-id transformers-0.5.2.0 -Wall -fno-warn-name-shadowing -XHaskell2010 -O0 -no-hs-main -threaded -no-user-package-db -rtsopts -Wnoncanonical- monad-instances -fno-use-rpaths -optl-Wl,-rpath -optl- Wl,'@loader_path/../haskeline-0.7.3.0' -optl-Wl,-rpath -optl- Wl,'@loader_path/../ghc-8.1' -optl-Wl,-rpath -optl- Wl,'@loader_path/../terminfo-0.4.0.2' -optl-Wl,-rpath -optl- Wl,'@loader_path/../hoopl-3.10.2.2' -optl-Wl,-rpath -optl- Wl,'@loader_path/../ghci-8.1' -optl-Wl,-rpath -optl-Wl,'@loader_path /../ghc-boot-8.1' -optl-Wl,-rpath -optl- Wl,'@loader_path/../transformers-0.5.2.0' -optl-Wl,-rpath -optl- Wl,'@loader_path/../hpc-0.6.0.3' -optl-Wl,-rpath -optl-Wl,'@loader_path /../template-haskell-2.12.0.0' -optl-Wl,-rpath -optl- Wl,'@loader_path/../pretty-1.1.3.3' -optl-Wl,-rpath -optl-Wl,'@loader_path /../ghc-boot-th-8.1' -optl-Wl,-rpath -optl- Wl,'@loader_path/../process-1.4.3.0' -optl-Wl,-rpath-optl- Wl,'@loader_path/../directory-1.3.0.2' -optl-Wl,-rpath -optl- Wl,'@loader_path/../unix-2.7.2.1' -optl-Wl,-rpath -optl- Wl,'@loader_path/../filepath-1.4.1.1' -optl-Wl,-rpath -optl- Wl,'@loader_path/../time-1.8' -optl-Wl,-rpath -optl- Wl,'@loader_path/../binary-0.8.4.1' -optl-Wl,-rpath -optl- Wl,'@loader_path/../containers-0.5.10.2' -optl-Wl,-rpath -optl- Wl,'@loader_path/../bytestring-0.10.8.2' -optl-Wl,-rpath -optl- Wl,'@loader_path/../deepseq-1.4.3.0' -optl-Wl,-rpath -optl- Wl,'@loader_path/../array-0.5.1.2' -optl-Wl,-rpath -optl- Wl,'@loader_path/../base-4.10.0.0' -optl-Wl,-rpath -optl-Wl,'@loader_path /../integer-gmp-1.0.0.1' -optl-Wl,-rpath -optl-Wl,'@loader_path/../ghc- prim-0.5.0.0' -optl-Wl,-rpath -optl-Wl,'@loader_path/../rts' ghc/stage2/build/Main.dyn_o ghc/stage2/build/GHCi/UI.dyn_o ghc/stage2/build/GHCi/UI/Info.dyn_o ghc/stage2/build/GHCi/UI/Monad.dyn_o ghc/stage2/build/GHCi/UI/Tags.dyn_o ghc/stage2/build/hschooks.dyn_o Warning: -rtsopts and -with-rtsopts have no effect with -no-hs-main. Call hs_init_ghc() from your main() function to set these options. /usr/bin/install -c -m 755 ghc/stage2/build/tmp/ghc-stage2 inplace/lib/bin /ghc-stage2 "rm" -f inplace/bin /ghc-stage2 echo '#!/bin/sh' >> inplace/bin/ghc-stage2 echo 'executablename="/ghc/inplace/lib/bin/ghc-stage2"' >> inplace/bin/ghc-stage2 echo 'datadir="/ghc/inplace/lib"' >> inplace/bin/ghc-stage2 echo 'bindir="/ghc/inplace/bin"' >> inplace/bin/ghc-stage2 echo 'topdir="/ghc/inplace/lib"' >> inplace/bin /ghc-stage2 echo 'pgmgcc="gcc"' >> inplace/bin/ghc-stage2 echo 'export DYLD_LIBRARY_PATH="/ghc/libraries/haskeline/dist- install/build:/ghc/compiler/stage2/build:/ghc/libraries/terminfo/dist- install/build:/ghc/libraries/hoopl/dist-install/build:/ghc/libraries/ghci /dist-install/build:/ghc/libraries/ghc-boot/dist- install/build:/ghc/libraries/transformers/dist- install/build:/ghc/libraries/hpc/dist-install/build:/ghc/libraries /template-haskell/dist-install/build:/ghc/libraries/pretty/dist- install/build:/ghc/libraries/ghc-boot-th/dist- install/build:/ghc/libraries/process/dist- install/build:/ghc/libraries/directory/dist- install/build:/ghc/libraries/unix/dist- install/build:/ghc/libraries/filepath/dist- install/build:/ghc/libraries/time/dist-install/build:/ghc/libraries/binary /dist-install/build:/ghc/libraries/containers/dist- install/build:/ghc/libraries/bytestring/dist- install/build:/ghc/libraries/deepseq/dist- install/build:/ghc/libraries/array/dist-install/build:/ghc/libraries/base /dist-install/build:/ghc/libraries/integer-gmp/dist- install/build:/ghc/libraries/ghc-prim/dist- install/build:/ghc/rts/dist/build${DYLD_LIBRARY_PATH:+:$DYLD_LIBRARY_PATH}"' >> inplace/bin/ghc-stage2 cat ghc/ghc.wrapper >> inplace/bin /ghc-stage2 chmod +x inplace/bin /ghc-stage2 "inplace/bin/ghc-stage2" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -O0 -H64m -fllvm -Wall -hide-all-packages -i -iutils/ghctags/. -iutils/ghctags/dist-install/build -Iutils/ghctags/dist- install/build -iutils/ghctags/dist-install/build/ghctags/autogen -Iutils/ghctags/dist-install/build/ghctags/autogen -optP-include -optPutils/ghctags/dist-install/build/ghctags/autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id containers-0.5.10.2 -package-id Cabal-2.0.0.0 -package-id ghc-8.1 -XHaskell2010 -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir utils/ghctags/dist- install/build -hidir utils/ghctags/dist-install/build -stubdir utils/ghctags/dist-install/build -c utils/ghctags/./Main.hs -o utils/ghctags/dist-install/build/Main.dyn_o "inplace/bin/ghc-stage2" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -O0 -H64m -fllvm -Wall -hide-all-packages -i -iutils/check- api-annotations/. -iutils/check-api-annotations/dist-install/build -Iutils /check-api-annotations/dist-install/build -iutils/check-api-annotations /dist-install/build/check-api-annotations/autogen -Iutils/check-api- annotations/dist-install/build/check-api-annotations/autogen -optP- include -optPutils/check-api-annotations/dist-install/build/check-api- annotations/autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id containers-0.5.10.2 -package-id Cabal-2.0.0.0 -package-id directory-1.3.0.2 -package-id ghc-8.1 -Wall -XHaskell2010 -no-user- package-db -rtsopts -Wnoncanonical-monad-instances -odir utils /check-api-annotations/dist-install/build -hidir utils/check-api- annotations/dist-install/build -stubdir utils/check-api-annotations/dist- install/build -c utils/check-api-annotations/./Main.hs -o utils/check- api-annotations/dist-install/build/Main.dyn_o "inplace/bin/ghc-stage2" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -O0 -H64m -fllvm -Wall -hide-all-packages -i -iutils/check- ppr/. -iutils/check-ppr/dist-install/build -Iutils/check-ppr/dist- install/build -iutils/check-ppr/dist-install/build/check-ppr/autogen -Iutils/check-ppr/dist-install/build/check-ppr/autogen -optP-include -optPutils/check-ppr/dist-install/build/check-ppr/autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id bytestring-0.10.8.2 -package-id containers-0.5.10.2 -package-id Cabal-2.0.0.0 -package-id directory-1.3.0.2 -package-id filepath-1.4.1.1 -package-id ghc-8.1 -Wall -XHaskell2010 -no-user-package-db -rtsopts -Wnoncanonical-monad- instances -odir utils/check-ppr/dist-install/build -hidir utils/check-ppr /dist-install/build -stubdir utils/check-ppr/dist-install/build -c utils/check-ppr/./Main.hs -o utils/check-ppr/dist-install/build/Main.dyn_o ghc-stage2: internal error: ghc-stage2: internal error: ghc-stage2: internal error: evacuate(static): strange closure type 0evacuate(static): strange closure type 0evacuate(static): strange closure type 0 (GHC version 8.1.20170304 for x86_64_apple_darwin) (GHC version 8.1.20170304 for x86_64_apple_darwin) (GHC version 8.1.20170304 for x86_64_apple_darwin) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug make[1]: *** [utils/check-ppr/dist-install/build/Main.dyn_o] Abort trap: 6 make[1]: *** Waiting for unfinished jobs.... make[1]: *** [utils/check-api-annotations/dist-install/build/Main.dyn_o] Abort trap: 6 make[1]: *** [utils/ghctags/dist-install/build/Main.dyn_o] Abort trap: 6 make: *** [all] Error 2 }}} Building and linking against the debug rts, gives the following result in lldb. {{{ (lldb) settings set -- target.run-args "+RTS" "-DS" "-Dl" "-Ds" "-RTS" (lldb) run Process 3546 launched: '/ghc/inplace/lib/bin/ghc-stage2' (x86_64) 7fffae4753c0: created capset 0 of type 2 7fffae4753c0: created capset 1 of type 3 7fffae4753c0: cap 0: initialised 7fffae4753c0: assigned cap 0 to capset 0 7fffae4753c0: assigned cap 0 to capset 1 7fffae4753c0: allocated 1 more capabilities 7fffae4753c0: new task (taskCount: 1) 7fffae4753c0: returning; I want capability 0 7fffae4753c0: resuming capability 0 7fffae4753c0: cap 0: created thread 1 7fffae4753c0: new bound thread (1) 7fffae4753c0: cap 0: schedule() ghc-stage2: internal error: ASSERTION FAILED: file rts/sm/Sanity.c, line 88 (GHC version 8.1.20170304 for x86_64_apple_darwin) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Process 3546 stopped * thread #1: tid = 0x6df55a1, 0x00007fffa5756dd6 libsystem_kernel.dylib`__pthread_kill + 10, queue = 'com.apple.main- thread', stop reason = signal SIGABRT frame #0: 0x00007fffa5756dd6 libsystem_kernel.dylib`__pthread_kill + 10 libsystem_kernel.dylib`__pthread_kill: -> 0x7fffa5756dd6 <+10>: jae 0x7fffa5756de0 ; <+20> 0x7fffa5756dd8 <+12>: movq %rax, %rdi 0x7fffa5756ddb <+15>: jmp 0x7fffa574fcdf ; cerror_nocancel 0x7fffa5756de0 <+20>: retq (lldb) bt all warning: could not load any Objective-C class information. This will significantly reduce the quality of type information available. * thread #1: tid = 0x6df55a1, 0x00007fffa5756dd6 libsystem_kernel.dylib`__pthread_kill + 10, queue = 'com.apple.main- thread', stop reason = signal SIGABRT * frame #0: 0x00007fffa5756dd6 libsystem_kernel.dylib`__pthread_kill + 10 frame #1: 0x00007fffa5842787 libsystem_pthread.dylib`pthread_kill + 90 frame #2: 0x00007fffa56bc420 libsystem_c.dylib`abort + 129 frame #3: 0x0000000102d09e61 ghc- stage2`rtsFatalInternalErrorFn(s="ASSERTION FAILED: file %s, line %u\n", ap=0x00007fff5fbfefe0) + 273 at RtsMessages.c:182 frame #4: 0x0000000102d0a16a ghc-stage2`barf(s="ASSERTION FAILED: file %s, line %u\n") + 346 at RtsMessages.c:46 frame #5: 0x0000000102d0a1a7 ghc- stage2`_assertFail(filename="rts/sm/Sanity.c", linenum=88) + 39 at RtsMessages.c:61 frame #6: 0x0000000102d3358e ghc- stage2`checkClosureShallow(p=0x0000000103412930) + 62 at Sanity.c:88 frame #7: 0x0000000102d31422 ghc- stage2`checkSmallBitmap(payload=0x0000000105c05368, bitmap=0, size=1) + 66 at Sanity.c:53 frame #8: 0x0000000102d31181 ghc- stage2`checkStackFrame(c=0x0000000105c05360) + 161 at Sanity.c:114 frame #9: 0x0000000102d3157b ghc- stage2`checkStackChunk(sp=0x0000000105c05360, stack_end=0x0000000105c05388) + 43 at Sanity.c:171 frame #10: 0x0000000102d321d4 ghc- stage2`checkSTACK(stack=0x0000000105c05000) + 116 at Sanity.c:515 frame #11: 0x0000000102d32154 ghc- stage2`checkTSO(tso=0x0000000105c05388) + 372 at Sanity.c:553 frame #12: 0x0000000102d10edd ghc- stage2`schedule(initialCapability=0x000000010353b640, task=0x0000000105900c30) + 461 at Schedule.c:323 frame #13: 0x0000000102d10b7b ghc- stage2`scheduleWaitThread(tso=0x0000000105c05388, ret=0x0000000000000000, pcap=0x00007fff5fbff328) + 203 at Schedule.c:2552 frame #14: 0x0000000102d06655 ghc- stage2`rts_evalIO(cap=0x00007fff5fbff328, p=0x0000000103412930, ret=0x0000000000000000) + 69 at RtsAPI.c:460 frame #15: 0x0000000102d46860 ghc- stage2`ioManagerStartCap(cap=0x00007fff5fbff328) + 32 at Signals.c:211 frame #16: 0x0000000102d4689e ghc-stage2`ioManagerStart + 46 at Signals.c:221 frame #17: 0x0000000102d0a9cb ghc- stage2`hs_init_ghc(argc=0x00007fff5fbff558, argv=0x00007fff5fbff550, rts_config=RtsConfig @ 0x00007fff5fbff4c0) + 843 at RtsStartup.c:290 frame #18: 0x0000000102d09c8a ghc-stage2`hs_main(argc=1, argv=0x00007fff5fbff690, main_closure=0x00000001030fd720, rts_config=RtsConfig @ 0x00007fff5fbff570) + 58 at RtsMain.c:51 frame #19: 0x00000001000c2b9c ghc-stage2`main + 188 frame #20: 0x00007fffa5628255 libdyld.dylib`start + 1 thread #2: tid = 0x6df560a, 0x00007fffa5756fda libsystem_kernel.dylib`__semwait_signal + 10 frame #0: 0x00007fffa5756fda libsystem_kernel.dylib`__semwait_signal + 10 frame #1: 0x00007fffa56ddb72 libsystem_c.dylib`nanosleep + 199 frame #2: 0x00007fffa56dda66 libsystem_c.dylib`usleep + 54 frame #3: 0x0000000102d45a02 ghc- stage2`itimer_thread_func(_handle_tick=0x0000000102d1dc00) + 82 at Pthread.c:132 frame #4: 0x00007fffa583faab libsystem_pthread.dylib`_pthread_body + 180 frame #5: 0x00007fffa583f9f7 libsystem_pthread.dylib`_pthread_start + 286 frame #6: 0x00007fffa583f1fd libsystem_pthread.dylib`thread_start + 13 (lldb) dis -s 0x0000000103412930 ghc-stage2`base_GHCziConcziIO_ensureIOManagerIsRunning_closure: 0x103412930 <+0>: andb %cl, %al 0x103412932 <+2>: wait 0x103412933 <+3>: addb (%rcx), %al 0x103412935 <+5>: addb %al, (%rax) 0x103412937 <+7>: addb %al, (%rax) 0x103412939 <+9>: addb %al, (%rax) 0x10341293b <+11>: addb %al, (%rax) 0x10341293d <+13>: addb %al, (%rax) 0x10341293f <+15>: addb %dl, -0x38(%rax) ghc-stage2`base_GHCziConcziIO_ioManagerCapabilitiesChanged_closure: 0x103412942 <+2>: wait 0x103412943 <+3>: addb (%rcx), %al 0x103412945 <+5>: addb %al, (%rax) 0x103412947 <+7>: addb %al, (%rax) 0x103412949 <+9>: addb %al, (%rax) 0x10341294b <+11>: addb %al, (%rax) 0x10341294d <+13>: addb %al, (%rax) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13378> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #14309: Expand comment in hPutStrLn
by GHC 19 Mar '18

19 Mar '18

#14309: Expand comment in hPutStrLn -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.4.1 Component: Core | Version: 8.2.1 Libraries | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- A comment on `hPutStrLn` reads > An optimisation: we treat `hPutStrLn` specially, to avoid the > overhead of a single `putChar '\n'`, which is quite high now that we > have to encode eagerly. This should reference some code or comment that explains why the cost is high, why we have to encode eagerly, what it even ''means'' to encode eagerly, etc. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14309> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2