- ghc-tickets - Haskell.org

[GHC] #12838: On iOS, sys_icache_invalidate called with an end pointer instead of a size
by GHC 16 Nov '16

16 Nov '16

#12838: On iOS, sys_icache_invalidate called with an end pointer instead of a size ----------------------------------------+--------------------------------- Reporter: shlevy | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.1 Keywords: | Operating System: Other Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- The second argument of sys_icache_invalidate takes a size, but Storage.c passes an end pointer instead. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12838> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12744: Register Allocator Unit Tests
by GHC 16 Nov '16

16 Nov '16

#12744: Register Allocator Unit Tests -------------------------------------+------------------------------------- Reporter: tjakway | Owner: Type: task | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 8.0.1 (NCG) | 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 the backend only has end-to-end tests and I think it would benefit from some unit tests starting with (for no special reason) the register allocator. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12744> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12841: Remove or explain target triple normalization
by GHC 16 Nov '16

16 Nov '16

#12841: Remove or explain target triple normalization -------------------------------------+------------------------------------- Reporter: shlevy | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 8.0.1 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 during configure, GHC normalizes the triple passed e.g. with --target. It's not clear why this happens, and it has caused problems in the past (See #12840, #12487), so we should probably either just remove the GHC triples altogether or add some explanations for why they're around. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12841> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12830: ARM crosscompile panic
by GHC 15 Nov '16

15 Nov '16

#12830: ARM crosscompile panic -------------------------------------+------------------------------------- Reporter: skovalev | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: arm, | Operating System: Unknown/Multiple crosscompile, panic | Type of failure: Compile-time Architecture: arm | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- While building yesod-based project for ARM architecture I have faced with error: {{{ ghc: panic! (the 'impossibel' happened) (GHC version 8.0.1 for arm-unknown-linux): fint_tycon Block [] }}} My yesod packages (inside cabal-sandbox on path `.cabal-sandbox/lib/arm- linux-ghc-8.0.1`): * yesod-1.4.3 * yesod-auth-1.4.13.5 * yesod-core-1.4.25 * yesod-form-1.4.8 * yesod-newsfeed-1.6.4 * yesod-persistent-1.4.0.6 * yesod-static-1.5.0.5 My building machine is `Debian 4.7.8-1`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12830> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12568: Release hsc2hs new version to Hackage
by GHC 15 Nov '16

15 Nov '16

#12568: Release hsc2hs new version to Hackage -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: task | Status: new Priority: normal | Milestone: 8.0.2 Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- Richard Cook recently fixed #12054 in f5ae016e5a69ebf42d612805e51afd9227df9389. This needs to be released to Hackage before the 8.0.2 GHC release -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12568> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12827: RTS linker: handle 64-bit symbol table in archives
by GHC 15 Nov '16

15 Nov '16

#12827: RTS linker: handle 64-bit symbol table in archives -------------------------------------+------------------------------------- Reporter: hsyl20 | Owner: hsyl20 Type: bug | Status: new Priority: high | Milestone: 8.0.2 Component: Runtime | Version: 8.0.1 System (Linker) | Keywords: linker | Operating System: Unknown/Multiple Architecture: x86_64 | Type of failure: None/Unknown (amd64) | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): Phab:D2697 | Wiki Page: -------------------------------------+------------------------------------- The RTS linker should skip 64-bit symbol table entries in archives just like it skips 32-bit ones. See the original report thread on ghc-devs: https://mail.haskell.org/pipermail/ghc-devs/2016-November/013210.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12827> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12836: stack build command failing on creating new yesod-sqlite project
by GHC 15 Nov '16

15 Nov '16

#12836: stack build command failing on creating new yesod-sqlite project ----------------------------------------+--------------------------------- Reporter: v0d1ch | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- Configuring yesod-auth-1.4.13.5... Building yesod-auth-1.4.13.5... Preprocessing library yesod-auth-1.4.13.5... [ 1 of 12] Compiling Yesod.PasswordStore ( Yesod/PasswordStore.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Yesod/PasswordStore.o ) Yesod/PasswordStore.hs:166:31: Warning: Defaulting the following constraint(s) to type ‘Integer’ (Integral b0) arising from a use of ‘^’ at Yesod/PasswordStore.hs:166:31 (Num b0) arising from the literal ‘32’ at Yesod/PasswordStore.hs:166:32-33 In the first argument of ‘(-)’, namely ‘2 ^ 32’ In the first argument of ‘(*)’, namely ‘(2 ^ 32 - 1)’ In the second argument of ‘(>)’, namely ‘(2 ^ 32 - 1) * hLen’ Yesod/PasswordStore.hs:419:1: Warning: Defined but not used: ‘toStrict’ Yesod/PasswordStore.hs:422:1: Warning: Defined but not used: ‘fromStrict’ [ 2 of 12] Compiling Yesod.Auth.Message ( Yesod/Auth/Message.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Yesod/Auth/Message.o ) Yesod/Auth/Message.hs:23:1: Warning: The import of ‘mappend’ from module ‘Data.Monoid’ is redundant Yesod/Auth/Message.hs:698:1: Warning: Defined but not used: ‘croatianMessage’ Yesod/Auth/Message.hs:459:1: Warning: Pattern match(es) are overlapped In an equation for ‘finnishMessage’: finnishMessage Password = ... Yesod/Auth/Message.hs:459:1: Warning: Pattern match(es) are non-exhaustive In an equation for ‘finnishMessage’: Patterns not matched: CurrentPassword [ 3 of 12] Compiling Yesod.Auth.Routes ( Yesod/Auth/Routes.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Yesod/Auth/Routes.o ) [ 4 of 12] Compiling Yesod.Auth ( Yesod/Auth.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Yesod/Auth.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.3 for x86_64-apple-darwin): Loading temp shared object failed: dlopen(/var/folders/l0/kb14zym51tn31vfsr4bmf_yr0000gp/T/ghc18354_0/libghc_21.dylib, 5): no suitable image found. Did find: /var/folders/l0/kb14zym51tn31vfsr4bmf_yr0000gp/T/ghc18354_0/libghc_21.dylib: malformed mach-o: load commands size (35808) > 32768 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12836> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10771: Installation of Ivory - Static flags have not been initialised
by GHC 15 Nov '16

15 Nov '16

#10771: Installation of Ivory - Static flags have not been initialised -------------------------------------+------------------------------------- Reporter: stiege | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 | Type of failure: Runtime crash (amd64) | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Unfortunately I'm a Haskell newbie and can't provide very good detail for this report (I struggled to pass the Captcha!). However I will attach the output from a "make all" from the Ivory repository: https://github.com/GaloisInc/ivory.git Commit: '7ecea5839898b65430ca298fd1f3af4d2272e3fb'. Basically from what I can see, looks like it didn't work, output ends with: examples\Coroutine.hs:26:50: Warning: Unticked promoted constructor: `:->'. Use ':-> instead of `:->'. ghc.exe: panic! (the 'impossible' happened) (GHC version 7.10.2 for x86_64-unknown-mingw32): Static flags have not been initialised! Please call GHC.parseStaticFlags early enough. Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug ghc.exe: warning: _tzset from msvcrt is linked instead of __imp__tzset -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10771> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12772: (type f1 ~> f2 = forall a. f1 a -> f2 a) to core libraries
by GHC 15 Nov '16

15 Nov '16

#12772: (type f1 ~> f2 = forall a. f1 a -> f2 a) to core libraries -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Build System | Version: 8.0.1 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: -------------------------------------+------------------------------------- Is this something that belongs to core libraries (it has other names in the wild, `:~>`, `Natural`..) {{{#!hs type f1 ~> f2 = forall a. f1 a -> f2 a }}} I use it all the time and end up redefining it (it is such a short type that maybe it's not worth it) {{{#!hs unLift :: Applicative f => Lift f a -> f a mapLift :: (f a -> g a) -> (Lift f a -> Lift g a) mapFreeT :: (Functor f, Functor m) => (forall a. m a -> m' a) -> (FreeT f m a -> FreeT f m' a) mapFreeT :: (Functor f, Functor m) => (forall a. m a -> m' a) -> (FreeT f m a -> FreeT f m' a) vmap :: (a -> a') -> (Vec a n -> Vec a' n) liftIO :: MonadIO m => IO a -> m a hoist :: Monad m => (forall a. m a -> n a) -> (t m b -> t n b) }}} becomes {{{#!hs unLift :: Applicative f => Lift f ~> f mapLift :: (f ~> g) -> (Lift f ~> Lift g) mapFreeT :: (Functor f, Functor m) => (m ~> m') -> (FreeT f m ~> FreeT f m') vmap :: (a -> a') -> (Vec a ~> Vec a') liftIO :: MonadIO m => IO ~> m hoist :: Monad m => (m ~> n) -> (t m ~> t n) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12772> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #12773: Data.Functor.Classes instances for ZipList
by GHC 15 Nov '16

15 Nov '16

#12773: Data.Functor.Classes instances for ZipList -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: low | Milestone: Component: Core | Version: 8.0.1 Libraries | 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: -------------------------------------+------------------------------------- Since `Data.Functor.Classes` is now maintained by the CLC, how about instances from [https://hackage.haskell.org/package/prelude- extras-0.4.0.1/src/src/Prelude/Extras.hs prelude-extras], at least instances for `ZipList` {{{#!hs instance Eq1 ZipList instance Ord1 ZipList instance Show1 ZipList }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12773> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2