- ghc-tickets - Haskell.org

[GHC] #16136: Broken link to GHC-Prim.html#chr%23
by GHC 06 Jan '19

06 Jan '19

#16136: Broken link to GHC-Prim.html#chr%23 -------------------------------------+------------------------------------- Reporter: | Owner: (none) MikolajKonarski | Type: bug | Status: new Priority: low | Milestone: Component: Documentation | Version: 8.6.3 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: -------------------------------------+------------------------------------- When on page http://downloads.haskell.org/~ghc/latest/docs/html/libraries/base-4.12.0.0 /GHC-Exts.html#v:chr-35- you click on Source of chr#, you get "404 Not Found" at this address http://downloads.haskell.org/~ghc/latest/docs/html/libraries/ghc- prim-0.5.3/src/GHC-Prim.html#chr%23 It works fine for https://hackage.haskell.org/package/ghc- prim-0.5.3/docs/src/GHC.Prim.html#chr%23 so I think it's GHC's problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16136> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4022: GHC Bindist is Broken on FreeBSD/amd64
by GHC 06 Jan '19

06 Jan '19

#4022: GHC Bindist is Broken on FreeBSD/amd64 -------------------------------------+------------------------------------- Reporter: pgj | Owner: pgj Type: bug | Status: new Priority: lowest | Milestone: Component: Core Libraries | Version: 6.13 Resolution: | Keywords: GMP,integer- | gmp, sharedlibs Operating System: FreeBSD | Architecture: x86_64 Type of failure: Building GHC | (amd64) failed | Test Case: Blocked By: | Blocking: Related Tickets: #8156 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by lelf): * cc: lelf (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4022#comment:45> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5518: Some unicode symbols are not allow in literal characters or strings
by GHC 06 Jan '19

06 Jan '19

#5518: Some unicode symbols are not allow in literal characters or strings ---------------------------------+-------------------------------------- Reporter: ertai | Owner: ulysses4ever Type: bug | Status: closed Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: Resolution: fixed | Keywords: unicode Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #15525 | Differential Rev(s): Phab:D5066 Wiki Page: | ---------------------------------+-------------------------------------- Changes (by lelf): * keywords: => unicode -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5518#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3372: Allow for multiple linker instances
by GHC 05 Jan '19

05 Jan '19

#3372: Allow for multiple linker instances -------------------------------------+------------------------------------- Reporter: jcpetruzza | Owner: | JulianLeviston Type: feature request | Status: new Priority: low | Milestone: Component: Runtime System | Version: (Linker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 3658 | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Great! Do ping if you get stuck. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3372#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3372: Allow for multiple linker instances
by GHC 05 Jan '19

05 Jan '19

#3372: Allow for multiple linker instances -------------------------------------+------------------------------------- Reporter: jcpetruzza | Owner: | JulianLeviston Type: feature request | Status: new Priority: low | Milestone: Component: Runtime System | Version: (Linker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 3658 | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by JulianLeviston): * owner: (none) => JulianLeviston Comment: Even though I haven't finished my first two training wheels tickets, this is the one I really want to fix, so I'm going to at least start on it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3372#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14366: Type family equation refuses to unify wildcard type patterns
by GHC 05 Jan '19

05 Jan '19

#14366: Type family equation refuses to unify wildcard type patterns -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 (Type checker) | Keywords: TypeFamilies, | Operating System: Unknown/Multiple TypeInType | Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This typechecks: {{{#!hs {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} {-# LANGUAGE TypeOperators #-} import Data.Kind import Data.Type.Equality type family Cast (e :: a :~: b) (x :: a) :: b where Cast Refl x = x }}} However, if you try to make the kinds `a` and `b` explicit arguments to `Cast`: {{{#!hs {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} {-# LANGUAGE TypeOperators #-} import Data.Kind import Data.Type.Equality type family Cast (a :: Type) (b :: Type) (e :: a :~: b) (x :: a) :: b where Cast _ _ Refl x = x }}} Then GHC gets confused: {{{ GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/ryanglscott/.ghci [1 of 1] Compiling Main ( Bug.hs, interpreted ) Bug.hs:9:12: error: • Expected kind ‘_ :~: _1’, but ‘'Refl’ has kind ‘_ :~: _’ • In the third argument of ‘Cast’, namely ‘Refl’ In the type family declaration for ‘Cast’ | 9 | Cast _ _ Refl x = x | ^^^^ }}} A workaround is to explicitly write out what should be inferred by the underscores: {{{#!hs {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} {-# LANGUAGE TypeOperators #-} import Data.Kind import Data.Type.Equality type family Cast (a :: Type) (b :: Type) (e :: a :~: b) (x :: a) :: b where Cast a a Refl x = x }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14366> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #16132: ./validate --slow: "dist-install/build/HSghc-prim-0.5.3.o: copyFile: does not exist (No such file or directory)"
by GHC 05 Jan '19

05 Jan '19

#16132: ./validate --slow: "dist-install/build/HSghc-prim-0.5.3.o: copyFile: does not exist (No such file or directory)" --------------------------------------+--------------------------- Reporter: sjakobi | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 8.6.3 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Other Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------- I had checked out D5067 at https://phabricator.haskell.org/D5067?id=19263 with {{{ arc patch D5067 }}} Then I ran {{{ env THREADS=9 ./validate }}} and got a few test failures. When I then ran {{{ env THREADS=9 ./validate --slow }}} I got the following error: {{{ /usr/bin/install -c -m 755 -d "/home/simon/src/ghc- validate/bindisttest/install dir/lib/ghc-8.7.20190105/rts" for i in rts/dist/build/libHSrts.a rts/dist/build/libHSrts_p.a rts/dist/build/libHSrts-ghc8.7.20190105.so rts/dist/build/libHSrts_l.a rts/dist/build/libHSrts_debug.a rts/dist/build/libHSrts_thr.a rts/dist/build/libHSrts_thr_debug.a rts/dist/build/libHSrts_thr_l.a rts/dist/build/libHSrts_thr_p.a rts/dist/build/libHSrts_debug- ghc8.7.20190105.so rts/dist/build/libHSrts_thr-ghc8.7.20190105.so rts/dist/build/libHSrts_thr_debug-ghc8.7.20190105.so rts/dist/build /libHSrts_l-ghc8.7.20190105.so rts/dist/build/libHSrts_thr_l- ghc8.7.20190105.so rts/dist/build/libHSrts_thr_debug_p.a rts/dist/build/libHSrts_debug_p.a rts/dist/build/libffi.so.7.1.0 rts/dist/build/libffi.so.7 rts/dist/build/libffi.so rts/dist/build/libCffi.a rts/dist/build/libCffi_p.a rts/dist/build/libCffi_l.a rts/dist/build/libCffi_debug.a rts/dist/build/libCffi_thr.a rts/dist/build/libCffi_thr_debug.a rts/dist/build/libCffi_thr_l.a rts/dist/build/libCffi_thr_p.a rts/dist/build/libCffi_thr_debug_p.a rts/dist/build/libCffi_debug_p.a; do case $i in *.a) /usr/bin/install -c -m 644 $i "/home/simon/src/ghc- validate/bindisttest/install dir/lib/ghc-8.7.20190105/rts"; true "/home/simon/src/ghc-validate/bindisttest/install dir/lib/ghc-8.7.20190105/rts"/`basename $i` ;; *.dll) /usr/bin/install -c -m 755 $i "/home/simon/src/ghc-validate/bindisttest/install dir/lib/ghc-8.7.20190105/rts" ; strip "/home/simon/src/ghc- validate/bindisttest/install dir/lib/ghc-8.7.20190105/rts"/`basename $i` ;; *.so) /usr/bin/install -c -m 755 $i "/home/simon/src/ghc- validate/bindisttest/install dir/lib/ghc-8.7.20190105/rts" ;; *.dylib) /usr/bin/install -c -m 755 $i "/home/simon/src/ghc- validate/bindisttest/install dir/lib/ghc-8.7.20190105/rts";; *) /usr/bin/install -c -m 644 $i "/home/simon/src/ghc- validate/bindisttest/install dir/lib/ghc-8.7.20190105/rts"; esac; done "utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist" copy libraries /ghc-prim dist-install "strip" '' '/home/simon/src/ghc- validate/bindisttest/install dir' '/home/simon/src/ghc- validate/bindisttest/install dir/lib/ghc-8.7.20190105' '/home/simon/src /ghc-validate/bindisttest/install dir/share/doc/ghc-8.7.20190105/html/libraries' 'v p dyn' Installing library in /home/simon/src/ghc-validate/bindisttest/install dir/lib/ghc-8.7.20190105/ghc-prim-0.5.3 dist-install/build/HSghc-prim-0.5.3.o: copyFile: does not exist (No such file or directory) ghc.mk:986: recipe for target 'install_packages' failed make[3]: *** [install_packages] Error 1 Makefile:51: recipe for target 'install' failed make[2]: *** [install] Error 2 bindisttest/ghc.mk:21: recipe for target 'test_bindist' failed make[1]: *** [test_bindist] Error 2 Makefile:123: recipe for target 'test_bindist' failed make: *** [test_bindist] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16132> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #15411: urk! lookup local fingerprint
by GHC 05 Jan '19

05 Jan '19

#15411: urk! lookup local fingerprint -------------------------------------+------------------------------------- Reporter: admock | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When building GHC 8.6.0-alpha2 the build fails with the following error. {{{ [ghc-8.6.0.20180714] alan% make ===--- building phase 0 make --no-print-directory -f ghc.mk phase=0 phase_0_builds make[1]: Nothing to be done for 'phase_0_builds'. ===--- building phase 1 make --no-print-directory -f ghc.mk phase=1 phase_1_builds make[1]: Nothing to be done for 'phase_1_builds'. ===--- building final phase make --no-print-directory -f ghc.mk phase=final all "inplace/bin/ghc-stage2" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -H32m -O -Wall -hide-all-packages -i -iutils/haddock/driver -iutils/haddock/haddock-api/src -iutils/haddock/haddock-library/src -iutils/haddock/dist/build -Iutils/haddock/dist/build -iutils/haddock/dist/build/haddock/autogen -Iutils/haddock/dist/build/haddock/autogen -optP-DIN_GHC_TREE -optP- include -optPutils/haddock/dist/build/haddock/autogen/cabal_macros.h -package-id Cabal-2.3.0.0 -package-id array-0.5.2.0 -package-id base-4.12.0.0 -package-id bytestring-0.10.8.2 -package-id containers-0.6.0.1 -package-id deepseq-1.4.4.0 -package-id directory-1.3.3.0 -package-id filepath-1.4.2 -package-id ghc-8.6.0.20180714 -package-id ghc-boot-8.6.0.20180714 -package-id parsec-3.1.13.0.0.0.0.0 -package-id text-1.2.3.0 -package-id transformers-0.5.5.0 -package-id xhtml-3000.2.2.1 -funbox-strict-fields -Wall -fwarn-tabs -O2 -threaded -XHaskell2010 -no-user-package-db -rtsopts -Wno-unused-imports -Wno-deprecations -Wnoncanonical-monad- instances -odir utils/haddock/dist/build -hidir utils/haddock/dist/build -stubdir utils/haddock/dist/build -c utils/haddock/haddock- api/src/Haddock/Backends/Hyperlinker/Types.hs -o utils/haddock/dist/build/Haddock/Backends/Hyperlinker/Types.dyn_o ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.6.0.20180714 for powerpc64-unknown-linux): urk! lookup local fingerprint $fEqTokenDetails [cESf79 :-> (Span, 3bafa1c9fb27c5bcc8d6a0fca267f340)] Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1164:37 in ghc:Outputable pprPanic, called at compiler/iface/MkIface.hs:523:37 in ghc:MkIface Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug make[1]: *** [utils/haddock/ghc.mk:20: utils/haddock/dist/build/Haddock/Backends/Hyperlinker/Types.dyn_o] Error 1 make: *** [Makefile:127: all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15411> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #11829: C++ does not catch exceptions when used with Haskell-main and linked by ghc
by GHC 04 Jan '19

04 Jan '19

#11829: C++ does not catch exceptions when used with Haskell-main and linked by ghc -------------------------------------+------------------------------------- Reporter: pl | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 7.10.3 System | Keywords: c++ | Operating System: Unknown/Multiple exceptions | Architecture: | Type of failure: Runtime crash Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Consider the C++ program {{{ // Main_cc.cc #include <iostream> #include <exception> extern "C" { int func() { try { throw std::runtime_error("THIS FAILS!"); } catch(const std::runtime_error &c) { std::cerr << c.what(); } return 0; } } }}} and the Haskell program {{{#!hs -- Main.hs module Main where import Foreign.C.Types foreign import ccall func :: IO CInt main :: IO () main = print =<< func }}} When compiled with {{{ ghc --make Main.hs Main_cc.cc -lstdc++ }}} and being run on mac os x 10.11.3 the result is {{{ libc++abi.dylib: terminating with uncaught exception of type std::runtime_error: THIS FAILS! Abort trap: 6 }}} and not (as it should be): {{{ THIS FAILS!0 }}} When compiled in a similar way under windows some c++ exceptions of a larger project are not caught as well. However, these were hard to track down and I was unable to construct a simple example like the one above. As a workaround one can * write a main() function in c++ and call from there into Haskell, * compile the Haskell-Module with the options "-c -no-hs-main", and * link the application using g++ (not ghc!). When being compiled / linked this way, all c++ exceptions are being caught in mac os x as well as under windows. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11829> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #16129: Incorrect non-exhaustive pattern warning with PatternSynonyms, ViewPatterns and TypeFamilies
by GHC 04 Jan '19

04 Jan '19

#16129: Incorrect non-exhaustive pattern warning with PatternSynonyms, ViewPatterns and TypeFamilies -------------------------------------+------------------------------------- Reporter: sjakobi | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.3 Keywords: | Operating System: Unknown/Multiple PatternMatchWarnings | Architecture: | Type of failure: Incorrect Unknown/Multiple | error/warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# language PatternSynonyms #-} {-# language ViewPatterns #-} {-# language TypeFamilies #-} module Bug where newtype GenLocated e = L e newtype WithSourceText a = WithSourceText a type StringLiteral = WithSourceText String {-# COMPLETE StringLiteral #-} pattern StringLiteral sl_s = WithSourceText sl_s type family SrcSpanLess a class HasSrcSpan a where decomposeSrcSpan :: a -> GenLocated (SrcSpanLess a) type instance SrcSpanLess (GenLocated e) = e instance HasSrcSpan (GenLocated a) where decomposeSrcSpan = id bug :: GenLocated StringLiteral -> String bug (decomposeSrcSpan->L (StringLiteral s)) = s workaround :: GenLocated StringLiteral -> String workaround (decomposeSrcSpan->L sl) = s where StringLiteral s = sl }}} {{{ $ ghci -Wincomplete-patterns Bug.hs GHCi, version 8.7.20190103: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/simon/.ghci [1 of 1] Compiling Bug ( Bug.hs, interpreted ) Bug.hs:27:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘bug’: Patterns not matched: _ | 27 | bug (decomposeSrcSpan->L (StringLiteral s)) = s | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Ok, one module loaded. }}} I've been able to reproduce the issue with all versions of GHC >= 7.8. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16129> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2