- ghc-tickets - Haskell.org

[GHC] #8424: quasi-quotes have carriage returns on Windows
by GHC 16 Dec '15

16 Dec '15

#8424: quasi-quotes have carriage returns on Windows ------------------------------------+------------------------------------- Reporter: GregWeber | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- A Windows user rerported using Data.Text.IO.writeFile to write out quasi- quoted text. writeFile automatically translates '\r' to "\r\n", so the user ended up writing out "\r\r\n" to a file. Haskell seems to be adopting the policy or removing '\r' from Haskell land. Is there any reason why quasi-quotes should not automatically strip carriage returns? I asked this question on ghc-users and there was no response. I am willing to make this fix if it is deemed appropriate. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8424> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10820: Provide a way to detect what extensions are enabled via TH
by GHC 16 Dec '15

16 Dec '15

#10820: Provide a way to detect what extensions are enabled via TH -------------------------------------+------------------------------------- Reporter: spinda | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Template | Version: 7.10.2 Haskell | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- This would be helpful for providing users with intuitive error messages if generated code relies on an extension that the user may not have enabled. Sample specification, to get things started: {{{ enabledExts :: Q [Extension] isExtEnabled :: Extension -> Q Bool data Extension = LiberalTypeSynonyms | RankNTypes | ... -- mirroring ExtensionFlag in DynFlags }}} See #10819 for an example case where this could be of use. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10820> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #9348: "Symbol not found" when using a shared library
by GHC 16 Dec '15

16 Dec '15

#9348: "Symbol not found" when using a shared library -----------------------------------+----------------------------------- Reporter: alex.davis | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.8.3 Keywords: | Differential Revisions: Operating System: MacOS X | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+----------------------------------- I'm trying to make a shared library from a simple program. It works fine on my Windows box, but gives an error on Mac OS X. Furthermore, the error seems to be generated from one of GHC's shared libraries. What happens is this. I compile my shared library with GHC, which works fine. But when I try to use it from another program (specifically, R), I get an error message containing the following: Symbol not found: _stg_IND_STATIC_info Referenced from: /usr/local/lib/ghc-7.8.3/ghc-prim-0.3.1.0/libHSghc- prim-0.3.1.0-ghc7.8.3.dylib Expected in: flat namespace in /usr/local/lib/ghc-7.8.3/ghc-prim-0.3.1.0/libHSghc- prim-0.3.1.0-ghc7.8.3.dylib More details: The program I'm trying to use is R. In R, you load a shared library with the command "dyn.load". When I try this, the command I use is "dyn.load('final.dylib')", and the full error message is what follows: --- Error in dyn.load("final.dylib") : unable to load shared object '/Users/alexanderdavis/Desktop/illustrate bug copy/final.dylib': dlopen(/Users/alexanderdavis/Desktop/illustrate bug copy/final.dylib, 6): Symbol not found: _stg_IND_STATIC_info Referenced from: /usr/local/lib/ghc-7.8.3/ghc-prim-0.3.1.0/libHSghc- prim-0.3.1.0-ghc7.8.3.dylib Expected in: flat namespace in /usr/local/lib/ghc-7.8.3/ghc-prim-0.3.1.0/libHSghc- prim-0.3.1.0-ghc7.8.3.dylib --- As I said, I have done all of this with no trouble on Windows. I compiled into a DLL, loaded the program into R, and was able to use the functions in it. My Mac OS version is 10.9.4. My R version is 3.0.2. When loaded, it displays "Platform: x86_64-apple- darwin10.8.0 (64-bit)", but Sys.getev("R_ARCH") returns the empty string. Command used for compiler: ghc --make -dynamic -fPIC -shared SumRoots.hs StartEnd.c -o final.dylib The code is attached. It is from a blog post by Neil Mitchelll (author of HLint) about calling Haskell from R: http://neilmitchell.blogspot.com/2011/10/calling-haskell-from-r.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9348> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11199: Outdated documentation for type operators
by GHC 16 Dec '15

16 Dec '15

#11199: Outdated documentation for type operators -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Documentation | Version: 7.11 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: -------------------------------------+------------------------------------- John Leo writes: According to sections 7.4.3 and 7.4.4 of the latest [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/data- type-extensions.html GHC documentation] you can define (7.4.3) an infix type constructor as long as it begins with a colon, for example {{{ data a :*: b = Foo a b }}} and furthermore (7.4.4) you can define an infix operator without having to use a colon if you enable the `TypeOperators` extension: {{{ data a * b = Foo a b }}} However if I try the former without using `TypeOperators` I get this compiler error in 7.10.2: {{{ Illegal declaration of a type or class operator ‘:*:’ Use TypeOperators to declare operators in type and declarations }}} Using `TypeOperators` fixes this, but then `*` without colon also works so I don't see the point of using colon anymore. My guess is this was some some kind of historical distinction which is no longer valid and the documentation needs to be updated. Is this true, or am I missing something? ------------------------- Answer: it's just historical and the documentation is wrong. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11199> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #11208: GHCi doesn't qualify types anymore
by GHC 16 Dec '15

16 Dec '15

#11208: GHCi doesn't qualify types anymore -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: GHCi | Version: 7.11 Keywords: regression | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- `M.hs` contains: {{{#!hs module M where import qualified Prelude as P f n = n P.+ 1 g h (P.Just x) = P.Just (h x) g _ P.Nothing = P.Nothing }}} GHC 7.10.3 behaves as expected: {{{ $ ghci-7.10.3 -ignore-dot-ghci M.hs GHCi, version 7.10.3: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling M ( M.hs, interpreted ) Ok, modules loaded: M. *M> :browse f :: P.Num a => a -> a g :: (t -> a) -> P.Maybe t -> P.Maybe a *M> :t f f :: P.Num a => a -> a *M> :t g g :: (t -> a) -> P.Maybe t -> P.Maybe a }}} However, GHC HEAD drops the module qualifiers {{{ $ ghci-7.11.20151209 -ignore-dot-ghci M.hs GHCi, version 7.11.20151209: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling M ( M.hs, interpreted ) Ok, modules loaded: M. *M> :browse f :: Num a => a -> a g :: (t -> a) -> Maybe t -> Maybe a *M> :t f f :: Num a => a -> a *M> :t g g :: (t -> a) -> Maybe t -> Maybe a *M> Nothing :: Maybe () <interactive>:4:12: error: Not in scope: type constructor or class ‘Maybe’ Perhaps you meant ‘P.Maybe’ (imported from Prelude) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11208> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #11178: Documentation bug in Data.List.NonEmpty
by GHC 16 Dec '15

16 Dec '15

#11178: Documentation bug in Data.List.NonEmpty -------------------------------------+------------------------------------- Reporter: audunska | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.10.2 libraries/base | 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: -------------------------------------+------------------------------------- (also filed against the semigroups package) The documentation for cycle says that > cycle [1,2,3] = 1 :| [2,3,1,2,3,...] But the argument should be NonEmpty, so it should read > cycle (1 :| [2,3]) = 1 :| [2,3,1,2,3,...] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11178> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #9378: Make unknown LANGUAGE pragmas a warning, not an error
by GHC 16 Dec '15

16 Dec '15

#9378: Make unknown LANGUAGE pragmas a warning, not an error -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Currently, if I say `{-# LANGUAGE Foo #-}` at the top of my file, it fails to compile. This failure seems unnecessary, especially because any new language feature `Foo` enables will fail to compile later on down the file. Is it possible to have a "stern warning" that is produced even when other parts of the file produce errors? The reason I'm bringing this up is that, when 7.8 came out with its role annotations, users needed CPP in two different places: both to protect the `RoleAnnotations` pragma and to protect the role annotations themselves. This may be unavoidable on the role annotations directly, but I think we can improve the situation around `LANGUAGE` pragmas. Is there a downside to this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9378> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #1978: Error message: Undefined reference to `XXX_closure'
by GHC 16 Dec '15

16 Dec '15

#1978: Error message: Undefined reference to `XXX_closure' -------------------------------------+------------------------------------- Reporter: Andriy | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Resolution: worksforme | Keywords: Operating System: Linux | Architecture: arm Type of failure: GHC rejects | Test Case: valid program | Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => worksforme Comment: I have been able to build Pandoc with 7.10. Closing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1978#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7988: Big integers crashing integer-simple on qnxnto-arm with unregisterised build (was: Big integers crashing integer-simple on qnxnto-arm)
by GHC 16 Dec '15

16 Dec '15

#7988: Big integers crashing integer-simple on qnxnto-arm with unregisterised build ----------------------------------+--------------------------- Reporter: singpolyma | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: QNX | Architecture: arm Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ----------------------------------+--------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7988#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10368: Armhf/Linux : test T7815 failing
by GHC 16 Dec '15

16 Dec '15

#10368: Armhf/Linux : test T7815 failing -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: Incorrect result Test Case: | at runtime Blocking: | Blocked By: Differential Revisions: | Related Tickets: -------------------------------------+------------------------------------- During validation on armhf/linux, I found this test had failed. Unfortunately, it only fails intermittently on one quad core Arm board and not at all on another quad core Arm board. If I do 10 runs of the test like: {{{ for x in $(seq 1 10) ; do testsuite/tests/rts/T7815 50000 +RTS -N2 ; echo $? ; done }}} one will fail at least 4 or 5 times and ocassionally as many as 9 or 10 times. The two boards are: * Inforce Computing ifc6540 with a Qualcomm Snapdragon 805 CPU. * Radxa Rock with a Rockchip RK3199 CPU. The ifc6540 is the one that fails. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10368> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7