- ghc-tickets - Haskell.org

Re: [GHC] #7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1)
by GHC 22 Apr '13

22 Apr '13

#7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1) -------------------------------+-------------------------------------------- Reporter: AndreasVoellmy | Owner: igloo Type: bug | Status: new Priority: highest | Milestone: 7.6.3 Component: libraries/unix | Version: 7.4.1 Keywords: unix package | Os: MacOS X Architecture: x86_64 (amd64) | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | -------------------------------+-------------------------------------------- Comment(by MtnViewMark): The unix package is supplied with GHC. You can't, in general, just use a different version. Haskell Platform 2012.4 ships with GHC 7.4.1, which includes unix-2.5.1.1. I wouldn't expect unix-2.6.x.y to work with GHC 7.4.1 at all. Of course unix-2.6.x.y works with GHC 7.6.z, as that is the version of GHC that distributes with it. I'm curious what caused the OP's system to think it needed unix-2.6.0.0. I'm also wondering if I should be reading something into "I installed ghc from the haskell-platform" - does that mean they installed HP whole, or did some surgery to install just GHC? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7359#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7626: Add common utility variants of trace to Debug.Trace
by GHC 22 Apr '13

22 Apr '13

#7626: Add common utility variants of trace to Debug.Trace -----------------------------+---------------------------------------------- Reporter: chrisseaton | Owner: Type: feature request | Status: new Priority: normal | Component: libraries/base Version: 7.6.1 | Keywords: trace Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- As discussed on the libraries list. http://www.haskell.org/pipermail/libraries/2013-January/019319.html 'traceId' traces a value, and then returns that same value. This avoids the common case of 'trace a a'. {{{ traceId :: String -> String traceId a = trace a a }}} 'traceM' runs 'trace' and returns unit in an arbitrary monad. This is useful for writing traces in do-notation, as each can sit on their own line. {{{ traceM :: (Monad m) => String -> m () traceM string = trace string $ return () }}} For example: {{{ ... = do x <- ... traceM $ "x: " ++ show x y <- ... ... }}} That application of 'traceM' there can be temporarily commented out with a simple line comment. Finally, equivalents of 'traceShow' for those two functions. {{{ traceShowId :: (Show a) => a -> a traceShowId a = trace (show a) a }}} {{{ traceShowM :: (Show a, Monad m) => a -> m () traceShowM = traceM . show }}} Advantages: I use these functions in my code all the time. When I discussed it on the libraries list there were several enthusiastic +1s of people doing the same. Disadvantages: The documentation in the patch makes it clear that traceM does not actually add a trace action to the monad you're using, which is a potential point of confusion (http://www.haskell.org/pipermail/libraries/2013-January/019322.html) I had originally suggested that 'traceIO == traceM', but it turns out this is not so. Henning Thielemann suggested that 'traceM' was better achieved with directly using 'trace' and 'printf' (http://www.haskell.org/pipermail/libraries/2013-January/019320.html) Of course, any function can be replaced with its RHS, and whether or not the user uses 'show' or 'printf' or whatever is orthogonal. I haven't written any tests, as it's all output generating code, so I'm really not sure how that's tested in GHC - sorry. Status of patch: Applies against base 3b51b741f45d4d85e79b2128d00479ce230f72f2 and compiles with GHC 388e1e825f79f2d16536fc583a48e5ce9c191b06. I've run a full GHC compile cycle with it without problem. Includes documentation. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7626> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7817: Moving basic functions
by GHC 22 Apr '13

22 Apr '13

#7817: Moving basic functions -----------------------------+---------------------------------------------- Reporter: quchen | Owner: Type: feature request | Status: new Priority: normal | Component: libraries/base Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- '''1.''' Add the `infixl 4` operator `($>) = flip (<$)` to Data.Functor. '''2.''' Move `Control.Monad.void` to `Data.Functor`, and re-export it from `Control.Monad` for compatibility. In addition, replace the deprecated `Foreign.Marshal.Error.void` with a re-export as well. The mailing list discussion is here: http://markmail.org/message/cqdlle4l6npxs3jn -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7817> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #7852: panic: kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}
by GHC 22 Apr '13

22 Apr '13

#7852: panic: kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d} ----------------------------------------+----------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- This code: {{{ f :: (Num Int => Num) () => () f = undefined }}} make ghc panic: {{{ $ ghci q.hs GHCi, version 7.7.20130421: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling Main ( q.hs, interpreted ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20130421 for x86_64-unknown-linux): kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug > }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7852> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7740: Remove direct cabal imports in Linker and Finder modules
by GHC 22 Apr '13

22 Apr '13

#7740: Remove direct cabal imports in Linker and Finder modules -----------------------------+---------------------------------------------- Reporter: rodlogic | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- This is a low priority change, that mostly marks my first contribution :-) See pull request and additional details here: https://github.com/ghc/ghc/pull/6 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7740> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #7761: iOS patch no 16: pass the correct -Dxxx_HOST_ARCH and -Dxxx_HOST_OS to hsc2hs by stage
by GHC 22 Apr '13

22 Apr '13

#7761: iOS patch no 16: pass the correct -Dxxx_HOST_ARCH and -Dxxx_HOST_OS to hsc2hs by stage ------------------------------+--------------------------------------------- Reporter: StephenBlackheath | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: 7724 | Related: ------------------------------+--------------------------------------------- Currently hsc2hs always gets the build host's values, even when cross compiling. This patch makes it pass the correct values for the stage. There is no actual build failure that results from this being wrong, but it is only a matter of time before something breaks. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7761> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #7759: iOS patch no 14: libraries/base changes
by GHC 22 Apr '13

22 Apr '13

#7759: iOS patch no 14: libraries/base changes --------------------------------+------------------------------------------- Reporter: StephenBlackheath | Owner: Type: bug | Status: new Priority: normal | Component: libraries/base Version: 7.6.2 | Keywords: Os: Other | Architecture: arm Failure: Building GHC failed | Blockedby: Blocking: 7724 | Related: --------------------------------+------------------------------------------- In this patch there are two changes to apply to libraries/base. 'GHC/Event/KQueue.hsc': The issue here is that the #defines EVFILT_READ and EVFILT_WRITE have the values -1 and -2. The original code translates that to {{{filterRead = Filter -1}}} which is wrong Haskell and fails to compile. The modified code produces the correct code {{{filterRead = Filter (-1)}}} 'cbits/DarwinUtils.c': This code is needed for iOS as well as Darwin, and on iOS we need to explicitly include <mach/mach_time.h> which is the correct file for Mac OS/X too. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7759> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #7719: System.Timeout.timeout may leak <<timeout>> exceptions
by GHC 22 Apr '13

22 Apr '13

#7719: System.Timeout.timeout may leak <<timeout>> exceptions -------------------------+-------------------------------------------------- Reporter: int-e | Owner: Type: bug | Status: new Priority: normal | Component: libraries/base Version: 7.7 | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: None/Unknown | Blockedby: Blocking: | Related: -------------------------+-------------------------------------------------- The current implementation of {{{timeout}}} can leak {{{Timeout}}} exceptions if an asynchronous exception is delivered at the wrong time. The most worrysome such case is another {{{Timeout}}} exception raised by surrounding call to {{{timeout}}}. The following program reproduces the issue reliably for me: {{{ import System.Timeout import Control.Monad import Control.Concurrent t d = timeout d $ timeout d $ timeout d $ timeout d $ timeout d $ timeout (10^9) $ threadDelay 100 main = forever $ mapM_ t [1..200] -- > ghc -O2 -rtsopts -threaded --make TT.hs -- > ./TT +RTS -N1 -- TT: <<timeout>> }}} Context: A recent thread on {{{ghc-users}}}, starting with http://www.haskell.org/pipermail/glasgow-haskell- users/2013-February/023811.html, got me thinking about corner cases of timeout handling again. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7719> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #7760: iOS patch no 15: remove HSC2HS_EXTRA from hsc2hs's stage0 wrapper
by GHC 22 Apr '13

22 Apr '13

#7760: iOS patch no 15: remove HSC2HS_EXTRA from hsc2hs's stage0 wrapper --------------------------------+------------------------------------------- Reporter: StephenBlackheath | Owner: Type: bug | Status: new Priority: normal | Component: Build System Version: 7.7 | Keywords: Os: Other | Architecture: Unknown/Multiple Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- hsc2hs gets built in stage0 and stage1. The stage0 binary is used during the build, and the stage1 binary is the one that get released. The hsc2hs that gets built in stage0 is used during the build in both in stage0 and in stage1. Currently some options specific to the platform are encoded into the hsc2hs wrapper script (inplace/bin/hsc2hs) in a variable called HSC2HS_EXTRA. The problem with this is that in stage0 and stage1 we need different options. The solution is very simple: Just don't put these options into the stage0 wrapper. The build system passes the right options for whatever stage it's up to anyway when it invokes it. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7760> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7844: Panic messages raised from GHCi don't include details
by GHC 22 Apr '13

22 Apr '13

#7844: Panic messages raised from GHCi don't include details -----------------------------+---------------------------------------------- Reporter: parcs | Owner: Type: bug | Status: new Priority: normal | Component: GHCi Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- In GHC built the `devel2` way, compiling the following source file through GHC causes a compiler panic: {{{ f :: (Num Int => Num) () => () f = undefined }}} {{{ [1 of 1] Compiling Main ( tmp/xxx.hs, tmp/xxx.o ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20130416 for x86_64-unknown-linux): ASSERT failed! file compiler/types/Type.lhs line 1623 base:GHC.Num.Num{tc 2b} ghc-prim:GHC.Types.Int{(w) tc 3J} => base:GHC.Num.Num{tc 2b} ghc-prim:GHC.Prim.*{(w) tc 34d} -> ghc-prim:GHC.Prim.Constraint{(w) tc 34s} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} However, if you try to compile the same file through GHCi, you get a panic message but without the important details: {{{ Prelude> :load tmp/xxx.hs [1 of 1] Compiling Main ( tmp/xxx.hs, interpreted ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20130416 for x86_64-unknown-linux): ASSERT failed! <<details unavailable>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7844> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4