June 2013 - ghc-tickets

[GHC] #7982: ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families
by GHC 13 Jun '13

13 Jun '13

#7982: ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families -----------------------------+---------------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- {{{ {-# LANGUAGE TypeFamilies, PolyKinds #-} type family Foo (x :: k) }}} {{{ ghci> :k Foo *** Exception: ASSERT failed! file compiler/typecheck/TcCanonical.lhs, line 520 }}} This was tested on a checkout from 22 May. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7982> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7981: Lack of packages from category theory at Platform
by GHC 12 Jun '13

12 Jun '13

#7981: Lack of packages from category theory at Platform -----------------------------+---------------------------------------------- Reporter: wvv | Owner: Type: feature request | Status: new Priority: normal | Component: libraries/base Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- There are lack of basics packages from category theory at Platform. Some Functors (Contvariant, Profunctors), Group (Groupoids, Semigroupoids), Comonads, some Monads. Most of them are collected here: http://hackage.haskell.org/package/category-extras -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7981> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #7980: runghc dies silently when given large numbers of arguments. Compiled code does not.
by GHC 12 Jun '13

12 Jun '13

#7980: runghc dies silently when given large numbers of arguments. Compiled code does not. ----------------------------------------+----------------------------------- Reporter: totherme | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: Incorrect result at runtime | Blockedby: Blocking: | Related: ----------------------------------------+----------------------------------- I'm using ghc 7.6.2 on Ubuntu 13.04. To reproduce, put the following line in /tmp/test.hs main = error "An Error message" Then run the following commands at the shell: gds@lithium:/tmp$ runghc ./test.hs `seq 1 100000` gds@lithium:/tmp$ ghc -o test test.hs gds@lithium:/tmp$ ./test `seq 1 100000` test: An Error message gds@lithium:/tmp$ -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7980> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #6135: Unboxed Booleans
by GHC 12 Jun '13

12 Jun '13

#6135: Unboxed Booleans -------------------------------+-------------------------------------------- Reporter: benl | Owner: jstolarek Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: #605 -------------------------------+-------------------------------------------- Comment(by jstolarek): I need advice regarding names of the modified primops. Right now we have `sameMutableArray#` primop returning a `Bool`. I was thinking that having a primop `sameMutableArray#` returning an `Int#` + having a wrapper `sameMutableArray` will be more elegant (because # at the end distinguishes built-in primops), but this will break people's code. I can follow approach used in patches created so far, that is change the name of the modified primop to `sameMutableArray$#` and reuse the name `sameMutableArray#` for wrapper, which will certainly break less code (people only need to import GHC.PrimWrappers) but seems a bit confusing. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6135#comment:72> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7967: With dependent types, error reported in seemingly unrelated function
by GHC 12 Jun '13

12 Jun '13

#7967: With dependent types, error reported in seemingly unrelated function -----------------------------+---------------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: DataKinds, GADTs Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- In doing some routine dependently typed hackery, I wrote the following: {{{ {-# LANGUAGE TypeFamilies, DataKinds, TypeOperators, GADTs #-} data Nat = Zero | Succ Nat data SNat :: Nat -> * where SZero :: SNat Zero SSucc :: SNat n -> SNat (Succ n) data HList :: [*] -> * where HNil :: HList '[] HCons :: h -> HList t -> HList (h ': t) data Index :: Nat -> [*] -> * where IZero :: Index Zero (h ': t) ISucc :: Index n l -> Index (Succ n) (h ': l) type family Lookup (n :: Nat) (l :: [*]) :: * type instance Lookup Zero (h ': t) = h type instance Lookup (Succ n) (h ': t) = Lookup n t hLookup :: Index n l -> HList l -> Lookup n l hLookup IZero (HCons h _) = h hLookup (ISucc n) (HCons _ t) = hLookup n t hLookup _ _ = undefined }}} So far, so good. But, I wanted a way to convert `SNat`s to `Index`es. When I add the (wrong) code below {{{ sNatToIndex :: SNat n -> HList l -> Index n l sNatToIndex SZero HNil = IZero }}} I get an error in the second clause of `hLookup`, '''even though I haven't touched `hLookup`'''. (I also get an error in `sNatToIndex`, but that one's OK.) The error is this: {{{ /Users/rae/temp/Bug.hs:23:33: Couldn't match type ‛t1’ with ‛Lookup n l’ ‛t1’ is untouchable inside the constraints (l ~ (':) * h1 t) bound by a pattern with constructor HCons :: forall h (t :: [*]). h -> HList t -> HList ((':) * h t), in an equation for ‛hLookup’ at /Users/rae/temp/Bug.hs:23:20-28 Expected type: Lookup n l Actual type: Lookup n1 l1 Relevant bindings include hLookup :: Index n l -> HList l -> Lookup n l (bound at /Users/rae/temp/Bug.hs:22:1) In the expression: hLookup n t In an equation for ‛hLookup’: hLookup (ISucc n) (HCons _ t) = hLookup n t }}} This was tested with 7.7.20130528. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7967> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #7976: Failure building master (perf) on i686-pc-linux-gnu
by GHC 12 Jun '13

12 Jun '13

#7976: Failure building master (perf) on i686-pc-linux-gnu --------------------------------+------------------------------------------- Reporter: nickie | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Linux | Architecture: x86 Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- It seems that the nightly builds on x86 for the master branch fail since June 9 (the last successful build was on June 8). The message is: {{{ ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.7.20130609 for i386-unknown-linux): getRegister(x86) I64[Sp] }}} I'm getting the same when cloning from darcs and trying to compile the master branch on my x86 machine. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7976> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #6135: Unboxed Booleans
by GHC 12 Jun '13

12 Jun '13

#6135: Unboxed Booleans -------------------------------+-------------------------------------------- Reporter: benl | Owner: jstolarek Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: #605 -------------------------------+-------------------------------------------- Comment(by jstolarek): Simon, I updated [http://hackage.haskell.org/trac/ghc/wiki/PrimBool#Eliminatingbranchesusingn… this section] to contain a detailed discussion of the generated assembly. I hope this helps. I'll try to change other primops and remove unnecessary code before my arrival in Cambridge. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6135#comment:71> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #728: switch to compacting collection when swapping occurs
by GHC 12 Jun '13

12 Jun '13

#728: switch to compacting collection when swapping occurs -------------------------------------------+-------------------------------- Reporter: simonmar | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Runtime System | Version: 6.4.1 Keywords: compacting | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime performance bug Difficulty: Moderate (less than a day) | Testcase: N/A Blockedby: | Blocking: Related: | -------------------------------------------+-------------------------------- Comment(by schyler): GetProcessMemoryInfo for Windows may be able to return the information required to achieve this in the PROCESS_MEMORY_COUNTERS structure (see elements PagefileUsage, PeakPagefileUsage). It works on XP and newer, and I don't think there is any need to worry about anything older than that. http://msdn.microsoft.com/en- us/library/windows/desktop/ms683219(v=vs.85).aspx -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/728#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 12 Jun '13

12 Jun '13

#703: all binaries built by ghc have executable stacks ---------------------------+------------------------------------------------ Reporter: duncan | Owner: Type: merge | Status: new Priority: normal | Milestone: 6.6.1 Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Os: Linux | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Moderate (less than a day) Testcase: N/A | Blockedby: Blocking: | Related: ---------------------------+------------------------------------------------ Comment(by fpishard): {{{ ✗ /opt/haskell/bin/ghc --version The Glorious Glasgow Haskell Compilation System, version 7.6.3 ✗ cat hello.hs module Main where main = putStrLn "Hello, World!" ✗ /opt/haskell/bin/ghc hello.hs Linking hello ... ✗ checksec.sh --file hello RELRO STACK CANARY NX PIE RPATH RUNPATH FILE Partial RELRO No canary found NX disabled No PIE No RPATH No RUNPATH hello ✗ cat /etc/redhat-release Fedora release 18 (Spherical Cow) ✗ gcc --version gcc (GCC) 4.7.2 20121109 (Red Hat 4.7.2-8) ... }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/703#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 12 Jun '13

12 Jun '13

#703: all binaries built by ghc have executable stacks ---------------------------+------------------------------------------------ Reporter: duncan | Owner: Type: merge | Status: new Priority: normal | Milestone: 6.6.1 Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Os: Linux | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Moderate (less than a day) Testcase: N/A | Blockedby: Blocking: | Related: ---------------------------+------------------------------------------------ Changes (by fpishard): * version: 7.4.2 => 7.6.3 Comment: http://www.haskell.org/ghc/dist/7.6.3/ghc-7.6.3-i386-unknown-linux.tar.bz2 *and* Fedora 18 / 19 builds of ghc-compiler are generating executables having executable stack. Hence re-opening this bug. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/703#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0