March 2016 - ghc-tickets

Re: [GHC] #4114: Add a flag to remove/delete intermediate files generated by GHC
by GHC 28 Mar '16

28 Mar '16

#4114: Add a flag to remove/delete intermediate files generated by GHC -------------------------------------+------------------------------------- Reporter: guest | Owner: kaiha Type: feature request | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 6.10.4 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #2258 | Differential Rev(s): Phab:D2021 Wiki Page: | Phab:D2050 -------------------------------------+------------------------------------- Changes (by Phyx-): * differential: Phab:D2021 => Phab:D2021 Phab:D2050 Comment: Thanks for the quick fix @kaiha! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4114#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4114: Add a flag to remove/delete intermediate files generated by GHC
by GHC 28 Mar '16

28 Mar '16

#4114: Add a flag to remove/delete intermediate files generated by GHC -------------------------------------+------------------------------------- Reporter: guest | Owner: kaiha Type: feature request | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 6.10.4 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #2258 | Differential Rev(s): Phab:D2021 Wiki Page: | -------------------------------------+------------------------------------- Comment (by kaiha): Replying to [comment:26 Phyx-]: > Hmm these test break on Windows since they don't properly take note of the application suffix. e.g. on Windows It needs to check for "T4114a.exe" instead of "T4114a". I have uploaded [https://phabricator.haskell.org/D2050 D2050] with a fix for the failing test on Windows. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4114#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11729: `make sdist` target fails
by GHC 28 Mar '16

28 Mar '16

#11729: `make sdist` target fails -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In the top level `Makefile` the comment above the `sdist` target says: {{{ # Just running `./boot && ./configure && make sdist` should work, so skip # phase 0 and 1 and don't build any dependency files. }}} but when I try that (both for `master` and the `ghc-8.0` branch, I get: {{{ cd sdistprep/ghc/ghc-8.1.20160320 && for i in mk rules docs distrib bindisttest libffi includes utils docs rts compiler ghc driver libraries libffi- tarballs iserv; do mkdir -p $i; ( cd $i && lndir /home/erikd/Git/ghc- upstream/$i ); done /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found /bin/bash: lndir: command not found ghc.mk:1205: recipe for target 'sdist-ghc-prep-tree' failed make[1]: *** [sdist-ghc-prep-tree] Error 127 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11729> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11733: Undeclared identifier 'CLOCK_PROCESS_CPUTIME_ID' on OS X
by GHC 28 Mar '16

28 Mar '16

#11733: Undeclared identifier 'CLOCK_PROCESS_CPUTIME_ID' on OS X -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: | Operating System: MacOS X Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- It seems cb3456d82eaa8cea6b3 breaks OSX: {{{ ClockGetTime.hsc:24:16: error: use of undeclared identifier 'CLOCK_PROCESS_CPUTIME_ID' ..../inplace/lib/template-hsc.h:36:41: note: expanded from macro 'hsc_const' hsc_printf ("%lld", (long long)(x)); }}} Probably also a problem on *BSD. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11733> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #5683: bug in signum function
by GHC 26 Mar '16

26 Mar '16

#5683: bug in signum function -------------------------------------+------------------------------------- Reporter: tristes_tigres | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.1 Component: Prelude | Version: 7.0.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by tristes_tigres): Replying to [comment:12 rwbarton]: > This was fixed in 7.10.1. `signum (-0.0)` is `-0.0` now as well. Just tried it on haskell.org page signum(0.0/0.0) -1.0 :: Fractional a => a Doesn't look right to me. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5683#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5683: bug in signum function
by GHC 26 Mar '16

26 Mar '16

#5683: bug in signum function -------------------------------------+------------------------------------- Reporter: tristes_tigres | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.1 Component: Prelude | Version: 7.0.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by rwbarton): * status: new => closed * resolution: => fixed Comment: This was fixed in 7.10.1. `signum (-0.0)` is `-0.0` now as well. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5683#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5683: bug in signum function
by GHC 26 Mar '16

26 Mar '16

#5683: bug in signum function -------------------------------------+------------------------------------- Reporter: tristes_tigres | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.1 Component: Prelude | Version: 7.0.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by johnw42): Aside from preserving NaN, there's also a question of whether -0.0 should be mapped to 0.0 or left alone. IMHO it should be left unchanged because it permits a nice symmetric implementation: {{{#!hs signum x | x > 0 = 1 | x < 0 = -1 | otherwise = x }}} Aside: there's some good discussion [http://stackoverflow.com/questions/1986152/why-doesnt-python-have-a-sign- function here] of why Python has no signum function. I guess that ship has sailed for Haskell, but it makes me inclined to think there's no universally correct definition, which is why I think having a pretty implementation is as good a reason as any to settle on a definition for the edge cases. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5683#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5683: bug in signum function
by GHC 26 Mar '16

26 Mar '16

#5683: bug in signum function -------------------------------------+------------------------------------- Reporter: tristes_tigres | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.1 Component: Prelude | Version: 7.0.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by johnw42): * status: closed => new * resolution: duplicate => Comment: Re-opening because it's not entirely a duplicate. Bug #3070 is blocked because of some fundamental issues with how Haskell handles floating- point, but I don't believe those issues preclude fixing the signum function to preserve NaN. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5683#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10338: GHC Forgets Constraints
by GHC 26 Mar '16

26 Mar '16

#10338: GHC Forgets Constraints -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- This is possibly fixed by #10195, but I don't have a convenient means of testing it. At any rate, this testcase is considerably simpler than the one in #10195. {{{#!hs {-# LANGUAGE TypeFamilies, FlexibleContexts, GADTs, MultiParamTypeClasses #-} type family F r class (Functor t) => T t r where fromScalar :: r -> t r data Foo t r where Foo :: t (F r) -> Foo t r Scalar :: r -> Foo t r toF :: r -> F r toF = undefined convert :: (T t (F r)) => Foo t r -> Foo t r convert (Scalar c) = let fromScalar' = fromScalar in Foo $ fromScalar' $ toF c }}} This code compiles with GHC 7.8.4. When I add a generic instance for `T` (which requires `FlexibleInstances`): `instance (Functor t, Num r) => T t r` GHC complains: {{{#!hs Could not deduce (Num (F r)) arising from a use of ‘fromScalar’ from the context (T t (F r)) bound by the type signature for convert :: (T t (F r)) => Foo t r -> Foo t r at Main.hs:(17,12)-(18,23) In the expression: fromScalar In an equation for ‘fromScalar'’: fromScalar' = fromScalar In the expression: let fromScalar' = fromScalar in Foo $ fromScalar' $ toF c }}} Of course the problem can be fixed by adding a type signature to `fromScalar` and adding `ScopedTypeVariables`: {{{#!hs convert :: forall t r . (T t (F r)) => Foo t r -> Foo t r convert (Scalar c) = let fromScalar' = fromScalar :: F r -> t (F r) in Foo $ fromScalar' $ toF c }}} Like #10195, this is triggered when a generic instance is in scope. The (main) problem of course is that GHC tries to match the generic instance instead of using the `T (F r)` constraint supplied by `convert`. A secondary issue is that I think the example should have the same behavior pre- and post-instance, i.e either both should compile or both should not compile. I'm not sure if a monomorphism restriction is actually being triggered here or if that's just a red herring. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10338> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #1965: Allow unconstrained existential contexts in newtypes
by GHC 26 Mar '16

26 Mar '16

#1965: Allow unconstrained existential contexts in newtypes -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 6.8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ryantrinkle): Use cases like pumpkin's `Some` have been cropping up more and more frequently for me; I think this would be pretty useful. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1965#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0