- ghc-tickets - Haskell.org

[GHC] #9738: Handle ANN pragmas in declaration splices
by GHC 02 Nov '14

02 Nov '14

#9738: Handle ANN pragmas in declaration splices -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Template Haskell | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- If I say {{{ $( do decs <- [d| data T = MkT {-# ANN type T "hi!" #-} |] runIO $ putStrLn $ pprint decs return decs ) }}} I get {{{ data T_0 = MkT_1 }}} No `ANN`. :( -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9738> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9084: Template Haskell should warn when it encounters an unencodable pragma
by GHC 02 Nov '14

02 Nov '14

#9084: Template Haskell should warn when it encounters an unencodable pragma ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | 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: | ------------------------------------+------------------------------------- When I say this {{{ {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -Wall #-} module Bug where $([d| class C a where meth :: a -> a meth = undefined -- give a (silly) default {-# MINIMAL meth #-} |]) instance C Int }}} I get no warnings. I'm not surprised that TH doesn't handle every pragma that GHC knows about, but it should issue a (suppressable) warning when it discards one. I can fix this one. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9084> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9262: Allow free variables in reifyInstances
by GHC 02 Nov '14

02 Nov '14

#9262: Allow free variables in reifyInstances ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: feature request | Status: new Priority: normal | Milestone: Component: Template Haskell | 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: | ------------------------------------+------------------------------------- When I say {{{ {-# LANGUAGE TemplateHaskell #-} module Bug where import Language.Haskell.TH $( do insts <- reifyInstances ''Eq [ListT `AppT` VarT (mkName "a")] runIO $ putStrLn $ pprint insts return [] ) }}} I get {{{ Bug.hs:7:4: Not in scope: type variable ‘a’ In the argument of reifyInstances: GHC.Classes.Eq [a] }}} But, I wanted the declaration for `instance Eq a => Eq [a]`. The error message isn't wrong, exactly -- `a` really isn't in scope -- but I think we can do better by just treating variables as fresh. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9262> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #9752: Output unicode characters
by GHC 02 Nov '14

02 Nov '14

#9752: Output unicode characters -------------------------------------+------------------------------------- Reporter: pokiaka | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: unicode, stderr, | Operating System: Windows errors, output, printing, | Type of failure: Incorrect encoding, utf, utf8 | result at runtime Architecture: Unknown/Multiple | Test Case: Difficulty: Easy (less than 1 | Blocking: hour) | Differential Revisions: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- When using UnicodeHaskell and having an error with a unicode symbol lurking around, GHC fails to print its name. So e.g. you get a message of an error "In the first argument of (<stderr>: commitBuffer: invalid argument (invalid character)". I am not certain, but I think that the fix would be to `hSetEncoding stderr utf8` before the output is printed. If so, hopefully it should be a quick easy fix. (And perhaps it would be appropriate to do the same for stdout as-well, or just when UnicodeSyntax is on). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9752> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9753: Segmentation fault when applying ** to a complex number
by GHC 01 Nov '14

01 Nov '14

#9753: Segmentation fault when applying ** to a complex number ---------------------------------+--------------------------------------- Reporter: AlexeiKopylov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: ia64 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: ---------------------------------+--------------------------------------- Rising a negative complex number to a power using {{{**}}} in ghci causes a segmentation fault: {{{ $ ghci GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Prelude> :m +Data.Complex Prelude Data.Complex> (-1) ** 1 :: Complex Double Segmentation fault }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9753> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 01 Nov '14

01 Nov '14

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by Austin Seipp <austin@…>): In [changeset:"a47ff8be5aa78aff2eb80d5f91e294f52ea392e0/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a47ff8be5aa78aff2eb80d5f91e294f52ea392e0" Fixed T5435_dyn_asm on Windows. The test code was not in sync with the expected output. Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D403 GHC Trac Issues: #5435 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2773: Documentation mentions deprecated flags
by GHC 31 Oct '14

31 Oct '14

#2773: Documentation mentions deprecated flags -------------------------------------+--------------------------------- Reporter: guest | Owner: igloo Type: bug | Status: closed Priority: normal | Milestone: 6.10.2 Component: Documentation | Version: 6.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Difficulty: Unknown | Test Case: -------------------------------------+--------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"e466ea7a153a1b8d5bcfebf3dddaa33125c14c5d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="e466ea7a153a1b8d5bcfebf3dddaa33125c14c5d" Remove legacy support for -optdef flags Summary: -optdef flags were deprecated in or before 2008 Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D409 GHC Trac Issues: #2773 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2773#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 31 Oct '14

31 Oct '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: Phab:D202 | -------------------------------------+------------------------------------- Comment (by jstolarek): Finding pairs would be done once. Only the traversal would be done twice - see my inline comment on Phab. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:101> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2968: Avoid generating C trigraphs (was: add test for C trigraphs)
by GHC 31 Oct '14

31 Oct '14

#2968: Avoid generating C trigraphs -------------------------------------+------------------------------------- Reporter: duncan | Owner: kchugalinskiy Type: task | Status: new Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.10.1 Resolution: | Keywords: unregisterised Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * keywords: => unregisterised Old description: > {{{ > main = print "??)" > }}} > > If we compile the above `-fvia-C` then some gcc versions report: > > {{{ > /tmp/ghc6084_0/ghc6084_0.hc:99:30: > warning: trigraph ??) ignored, use -trigraphs to enable > }}} > > This should make us nervous. > > According to the GCC manual if we were ever to use `-std=c89` or any of > the official C standard compliance modes (ie non-GNU) then we would get > standard C (cpp) trigraph behavior. > > We should therefore add a codeGen/should_run test to make sure that the > above program does always print `"??)"` and never `"]"`. This test only > needs to be run for the `-fvia-C` 'ways', optc etc. > > It's not an immediate priority but it may trip someone up in future when > porting or if we make unregisterised C code more standards compliant and > start using one of the official `-std=` modes. It is unlikely to hit us > but if it ever did it'd be a real pain to debug. New description: {{{ main = print "??)" }}} If we compile the above with an `unregisterised` ghc then some gcc versions report: {{{ /tmp/ghc6084_0/ghc6084_0.hc:99:30: warning: trigraph ??) ignored, use -trigraphs to enable }}} This should make us nervous. According to the GCC manual if we were ever to use `-std=c89` or any of the official C standard compliance modes (ie non-GNU) then we would get standard C (cpp) trigraph behavior. We should therefore add a codeGen/should_run test to make sure that the above program does always print `"??)"` and never `"]"`. This test only needs to be run in `unregisterised` mode. It's not an immediate priority but it may trip someone up in future when porting or if we make unregisterised C code more standards compliant and start using one of the official `-std=` modes. It is unlikely to hit us but if it ever did it'd be a real pain to debug. Edit: replaced `-fvia-c` by [wiki:Building/Unregisterised unregisterised] (see 392b7e2a34d26b01ca65648eb5b4a078b0a64e69). -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2968#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4931: hsc2hs emits invalid OPTIONS_GHC pragmas
by GHC 31 Oct '14

31 Oct '14

#4931: hsc2hs emits invalid OPTIONS_GHC pragmas -------------------------------------+------------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: hsc2hs | Version: 7.0.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown Comment: There are 2 possible solutions: * in hsc2hs, ignore `#define NAME VALUE` when `VALUE` contains a space. This could be done in the function `outHeaderHs` in `utils/hsc2hs/C.hs` as mentioned by @awson. I'm not sure this is good idea (wouldn't an error be better?), but note that #defines where `NAME` contains a `'('` are currently also ignored. * when using the OPTIONS pragma `-Dsymbol=value`, accept spaces inside `value` when `value` is quoted. This would need to be done in the function `getOptions'` in `compiler/main/HeaderInfo.hs`, by changing `(words str)` to something more complicated. Note that GHC already accepts spaces in `value` when the option is passed as a command line argument: `-D'"FOO BAR"'` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4931#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0