- ghc-tickets - Haskell.org

[GHC] #10234: Validate fails on armhf
by GHC 26 Apr '15

26 Apr '15

#10234: Validate fails on armhf -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Build | Version: 7.11 System | Operating System: Unknown/Multiple Keywords: llvm | Type of failure: Other Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The failure is: {{{ /usr/bin/install -c -m 644 libraries/prologue.txt "/home/erikd/ghc- git/bindisttest/install dir/share/doc/ghc/html/libraries/" /usr/bin/install -c -m 755 libraries/gen_contents_index "/home/erikd/ghc- git/bindisttest/install dir/share/doc/ghc/html/libraries/" bindisttest/"install dir"/bin/runghc bindisttest/HelloWorld > bindisttest/output diff -U 1 bindisttest/output bindisttest/expected_output bindisttest/"install dir"/bin/ghc --make bindisttest/HelloWorld [1 of 1] Compiling Main ( bindisttest/HelloWorld.lhs, bindisttest/HelloWorld.o ) <no location info>: Warning: Couldn't figure out LLVM version! Make sure you have installed LLVM ghc: could not execute: opt }}} Since this is armhf, this was built with llvm, and the configure process found the correct versions of the llvm tools; ie `/usr/bin/llc-3.6` and `/usr/bin/opt-3.6`. Furthermore, file `inplace/lib/settings` file specifies the correct versions. However, file `bindisttest/install dir/lib/ghc-7.11.20150402/settings` file just uses `llc` and `opt` which don't actually exist. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10234> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #10308: GHC 7.10 does not export GHC.Event.Lifetime
by GHC 25 Apr '15

25 Apr '15

#10308: GHC 7.10 does not export GHC.Event.Lifetime -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: D838 | -------------------------------------+------------------------------------- The `base` release shipped with GHC 7.10 does not export the `Lifetime` type, rendering many of the event manager interfaces useless. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10308> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10329: ghc-7.10 is configured to use llvm-3.6 but only compiles with llvm-3.5
by GHC 25 Apr '15

25 Apr '15

#10329: ghc-7.10 is configured to use llvm-3.6 but only compiles with llvm-3.5 -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Commit 07da52ce2db1 on the ghc-7.10 branch cherry picks commit 42448e3757f2 from the git master branch, but that commit checks for and insists on using llvm version 3.6. However, the code in the ghc-7.10 branch is not compatible with llvm-3.6. The attatched patch changes the requirement to be for llvm-3.5 and is the ghc-7.10 version of commit 485dba86d2519c in the master branch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10329> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10121: operational semantics is incomplete?
by GHC 25 Apr '15

25 Apr '15

#10121: operational semantics is incomplete? -------------------------------------+------------------------------------- Reporter: javran | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.8.4 Documentation | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I was trying to read `docs/core-spec/core-spec.pdf` to understand the operational semantics for core language. So I started off by playing with operational semantics rules manually. But I found the following expression gets stuck: {{{#!hs v1 = let fix = \f -> let x = f x in x pf = \f x -> if x == 0 then x else f (pred x) in (fix pf) 2 -- S_LETNONREC v2 = ((\f -> let x = f x in x) (\f x -> if x == 0 then x else f (pred x))) 2 -- S_APP v3 = (let x = (\f x -> if x == 0 then x else f (pred x)) x in x) 2 -- S_APP; S_LETREC v4 = (let x = (\f x -> if x == 0 then x else f (pred x)) x in (\f x -> if x == 0 then x else f (pred x)) x) 2 -- S_APP v5 = (let x = (\f x -> if x == 0 then x else f (pred x)) x in (\x1 -> if x1 == 0 then x1 else x (pred x1))) 2 }}} at this point `x` is not a free variable so `S_LETRECRETURN` cannot be applied. Did I make it wrong or some rules are missing for the operational semantics? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10121> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #9204: Conflicting definition in hs-boot file
by GHC 25 Apr '15

25 Apr '15

#9204: Conflicting definition in hs-boot file ------------------------------------+------------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Foo.hs: {{{ module Foo where import Bar data Foo a }}} Foo.hs-boot: {{{ module Foo where data Foo a }}} Bar.hs: {{{ module Bar where import {-# SOURCE #-} Foo }}} With GHC 7.8.2 I'm getting the error {{{ Foo.hs-boot:3:1: Type constructor ‘Foo’ has conflicting definitions in the module and its hs-boot file Main module: type role Foo phantom data Foo a Boot file: data Foo a }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9204> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #10344: Make BranchList simpler
by GHC 24 Apr '15

24 Apr '15

#10344: Make BranchList simpler -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- As Adam Gundry suggested, `BranchList` could be made much simpler by actually storing a list in the `Branched` case. Though, as I'm thinking about it, what's better about a real list over a `BranchList`? We're more familiar with it... but perhaps adding a `Foldable` instance for `BranchList` would solve the problem. In any case, this ticket is to record the desire for improvement. If Adam is up to it, he may fix this with Phab:D841. Otherwise, I'll get to it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10344> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10304: Bump Cabal submodule
by GHC 24 Apr '15

24 Apr '15

#10304: Bump Cabal submodule -------------------------------------+------------------------------------- Reporter: luite | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Unfortunately 7.10.1 was released with a Cabal library that has a major bug handling ghcjs-pkg version numbering, introduced after 7.10rc1. Ryan is away for a few more days, but the current 1.22 HEAD should be essentially the same as the `1.22.3.0` release (other than changelog updates). Can the module be bumped to HEAD now so we can start using the fixed Cabal? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10304> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10292: Validate fails on armhf-linux
by GHC 23 Apr '15

23 Apr '15

#10292: Validate fails on armhf-linux -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: Building GHC Test Case: | failed Blocking: | Blocked By: Differential Revisions: | Related Tickets: -------------------------------------+------------------------------------- After apply the 'configure : LLVM and LD detection improvements' patch from #10234 validation of the ghc-7.10 branch fails with: {{{ inplace/bin/dll-split compiler/stage2/build/.depend-v-dyn.haskell \ "DynFlags" "Annotations ApiAnnotation Avail Bag BasicTypes Binary \ BooleanFormula BreakArray BufWrite Class CmdLineParser CmmType CoAxiom \ ConLike Coercion Config Constants CoreArity CoreFVs CoreSubst CoreSyn \ CoreTidy CoreUnfold CoreUtils CostCentre DataCon Demand Digraph \ DriverPhases DynFlags Encoding ErrUtils Exception ExtsCompat46 \ FamInstEnv FastFunctions FastMutInt FastString FastTypes Fingerprint \ FiniteMap ForeignCall Hooks HsBinds HsDecls HsDoc HsExpr HsImpExp \ HsLit PlaceHolder HsPat HsSyn HsTypes HsUtils HscTypes IOEnv Id \ IdInfo IfaceSyn IfaceType InstEnv Kind Lexeme ListSetOps Literal \ Maybes MkCore MkId Module MonadUtils Name NameEnv NameSet OccName \ OccurAnal OptCoercion OrdList Outputable PackageConfig Packages Pair \ Panic PatSyn PipelineMonad Platform PlatformConstants PprCore PrelNames \ PrelRules Pretty PrimOp RdrName Rules Serialized SrcLoc StaticFlags \ StringBuffer TcEvidence TcRnTypes TcType TrieMap TyCon Type TypeRep \ TysPrim TysWiredIn Unify UniqFM UniqSet UniqSupply Unique Util Var \ VarEnv VarSet Bitmap BlockId ByteCodeAsm ByteCodeInstr ByteCodeItbls \ CLabel Cmm CmmCallConv CmmExpr CmmInfo CmmMachOp CmmNode CmmUtils \ CodeGen.Platform CodeGen.Platform.ARM CodeGen.Platform.ARM64 \ CodeGen.Platform.NoRegs CodeGen.Platform.PPC CodeGen.Platform.PPC_Darwin \ CodeGen.Platform.SPARC CodeGen.Platform.X86 CodeGen.Platform.X86_64 \ FastBool Hoopl Hoopl.Dataflow InteractiveEvalTypes MkGraph PprCmm \ PprCmmDecl PprCmmExpr Reg RegClass SMRep StgCmmArgRep StgCmmClosure \ StgCmmEnv StgCmmLayout StgCmmMonad StgCmmProf StgCmmTicky StgCmmUtils \ StgSyn Stream" compiler/ghc.mk:653: recipe for target 'compiler/stage2/dll-split.stamp' failed make[1]: *** [compiler/stage2/dll-split.stamp] Segmentation fault }}} There have been a number of tickets related to `dll-split` on armhf. I have verified that the `ld.gold` linker is being invoked. The fixes introduced in #9873 also seem to be present. More investigation needed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10292> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #10297: Floating instance for Data.Fixed
by GHC 23 Apr '15

23 Apr '15

#10297: Floating instance for Data.Fixed -------------------------------------+------------------------------------- Reporter: dmcclean | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.10.1 Component: | Operating System: Unknown/Multiple libraries/base | Type of failure: None/Unknown Keywords: | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I'd like to contribute a Floating instance for Data.Fixed. I'm concerned that it may be undesirable for a reason that is not occurring to me; I'd be pleased to learn of any objections. In concept it's this, although I will investigate if there is an implementation with better performance: {{{ lift :: (HasResolution a) => (Double -> Double) -> Fixed a -> Fixed a lift f = realToFrac . f . realToFrac instance (HasResolution a) => Floating (Fixed a) where pi = realToFrac pi sin = lift sin -- etc, similar lift2 function for (**), logBase }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10297> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module
by GHC 23 Apr '15

23 Apr '15

#7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module -------------------------------------+------------------------------------- Reporter: skilpat | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: backpack Resolution: | Architecture: x86_64 Operating System: Linux | (amd64) Type of failure: GHC rejects | Test Case: valid program | Blocking: 10336 Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by ezyang): Removing the `filterOut` does not work. (insert more info here) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0