July 2014 - ghc-tickets

Re: [GHC] #7828: RebindableSyntax and Arrow
by GHC 16 Jul '14

16 Jul '14

#7828: RebindableSyntax and Arrow -------------------------------------+------------------------------------- Reporter: | Owner: jstolarek AlessandroVermeulen | Status: new Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.6.2 Component: Compiler | Keywords: (Type checker) | Operating System: Unknown/Multiple Resolution: | Type of failure: GHC rejects Differential Revisions: Phab:D72 | valid program Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: #1537, | #3613 | -------------------------------------+------------------------------------- Changes (by jstolarek): * differential: => Phab:D72 Comment: I created a phabricator revisionfir this ticket: Phab:D72 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7828#comment:45> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8902: Test for RTLD_NEXT, RTLD_DEFAULT broken on Linux
by GHC 16 Jul '14

16 Jul '14

#8902: Test for RTLD_NEXT, RTLD_DEFAULT broken on Linux ------------------------------------+--------------------------------- Reporter: trommler | Owner: Type: bug | Status: new Priority: low | Milestone: Component: libraries/unix | Version: 7.8.1-rc2 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- Building 7.8.1RC2 on openSUSE, I see this: {{{ [ 2270s] checking return type of unsetenv... int [ 2270s] checking for RTLD_NEXT from dlfcn.h... no [ 2270s] checking for RTLD_DEFAULT from dlfcn.h... no [ 2270s] checking for RTLD_LOCAL from dlfcn.h... yes }}} The manual says that both RTLD_NEXT and RTLD_DEFAULT exist. Setting priority to low as I don't see any failures because of that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8902> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #1487: unix package: test needed for getLoginName
by GHC 16 Jul '14

16 Jul '14

#1487: unix package: test needed for getLoginName -------------------------------------+------------------------------------- Reporter: simonmar | Owner: thomie Type: bug | Status: closed Priority: lowest | Milestone: Component: | Version: libraries/unix | Keywords: Resolution: fixed | Operating System: Linux Differential Revisions: | Type of failure: Incorrect result Architecture: | at runtime Unknown/Multiple | Test Case: Difficulty: Easy (less | Blocking: than 1 hour) | Blocked By: | Related Tickets: #8293 | -------------------------------------+------------------------------------- Changes (by thomie): * status: patch => closed * resolution: => fixed Comment: Merged in [https://github.com/haskell/unix/commit/cad1ef27bb0a51bc68ebadb1297de1ae05be… unix] package: Enable test for getLoginName Fixes #1487. Make use of no_stdin test option, introduced explictly for this purpose in fa52a8c9d8eae5e3fc4c0cf0e5672875e161e05c -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1487#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7828: RebindableSyntax and Arrow
by GHC 16 Jul '14

16 Jul '14

#7828: RebindableSyntax and Arrow -------------------------------------+------------------------------------- Reporter: | Owner: jstolarek AlessandroVermeulen | Status: new Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.6.2 Component: Compiler | Keywords: (Type checker) | Operating System: Unknown/Multiple Resolution: | Type of failure: GHC rejects Differential Revisions: | valid program Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: #1537, | #3613 | -------------------------------------+------------------------------------- Comment (by jstolarek): Replying to [comment:43 ross]: > Replying to [comment:42 jstolarek]: > > I'm able to compile > > > > {{{ > > test :: Arrow a => a i i > > test = proc n -> do > > returnA -< n > > }}} > > > > using the new desugaring, which was not possible earlier. > > I wouldn't have expected any change in the handling of this. Hm... I just realized I probably misunderstood one thing. My desugaring is slightly different, but this is easy to fix. > If we're allowing rebinding, that should be type-checked and desugared exactly as if it were written > > {{{ > test :: Arrow a => a i i > test = proc n -> (returnA -< n) `thenA` (returnA -< n) > }}} I believe that my implementation is doing exactly this. It's just that types don't match. > For the default `thenA`, > {{{ > thenA :: Arrow a => a (e,s) b -> a (e,s) c -> a (e,s) c > u `thenA` v = arr id &&& u >>> arr fst >>> v > }}} > we have a1 = a2 = a, s1 = s2 = () and t = i, but with rebinding they'd be taken from the type of `thenA`, which could be anything matching the type in the above inference. At the moment my implementation does not work even for default `thenA`. I keep looking at the desugaring of monadic do-notation trying to figure out where did I go wrong. I guess the discussion here is more about the details of my implementation. To keep in line with [http://www.haskell.org/pipermail /ghc-devs/2014-July/005562.html recent decisions] I will move it to [https://phabricator.haskell.org/ Phab]. I'll post the link once I've created a new phabricator revision. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7828#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9278: GHCi crash:
by GHC 16 Jul '14

16 Jul '14

#9278: GHCi crash: ------------------------------------------+------------------------------- Reporter: mietek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.3 Keywords: crash, dynamic linking | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: GHCi crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9277 | ------------------------------------------+------------------------------- Given an Objective-C object file referencing a symbol available in a system framework, interactive GHCi 7.6.3 crashes in an odd fashion. Start with an Objective-C source file, defining a function to be used via the FFI: {{{ $ cat >foo.m <<EOF #import <Foundation/Foundation.h> BOOL is_main_thread() { return [NSThread isMainThread]; } EOF }}} {{{ $ cat >Main.hs <<EOF module Main where foreign import ccall "is_main_thread" isMainThread :: IO Bool main :: IO () main = do mt <- isMainThread print mt EOF }}} Non-interactive GHC 7.6.3 works as expected: {{{ $ clang -c -o foo.o foo.m }}} {{{ $ ghc -framework Foundation -o foo foo.o Main.hs [1 of 1] Compiling Main ( Main.hs, Main.o ) Linking foo ... }}} {{{ $ ./foo True }}} Interactive GHCi 7.6.3 crashes: {{{ $ ghci -framework Foundation foo.o Main.hs 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. Loading object (static) foo.o ... done Loading object (framework) Foundation ... done final link ... done Ok, modules loaded: Main. > main 2014-07-07 12:28:21.811 ghc[37395:1103] *** NSForwarding: warning: selector (0x10ddef328) for message 'isMainThread' does not match selector known to Objective C runtime (0x7fff8ea15881)-- abort 2014-07-07 12:28:21.813 ghc[37395:1103] +[NSThread isMainThread]: unrecognized selector sent to class 0x7fff75535280 2014-07-07 12:28:21.814 ghc[37395:1103] *** Terminating app due to uncaught exception 'NSInvalidArgumentException', reason: '+[NSThread isMainThread]: unrecognized selector sent to class 0x7fff75535280' *** First throw call stack: ( 0 CoreFoundation 0x00007fff8bb4825c __exceptionPreprocess + 172 1 libobjc.A.dylib 0x00007fff85029e75 objc_exception_throw + 43 2 CoreFoundation 0x00007fff8bb4b02d +[NSObject(NSObject) doesNotRecognizeSelector:] + 205 3 CoreFoundation 0x00007fff8baa6322 ___forwarding___ + 1010 4 CoreFoundation 0x00007fff8baa5ea8 _CF_forwarding_prep_0 + 120 5 ??? 0x000000010ddef31a 0x0 + 4527682330 6 ??? 0x000000010ddf02f5 0x0 + 4527686389 ) libc++abi.dylib: terminating with uncaught exception of type NSException Abort trap: 6 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9278> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #8013: Strange closure type error building hs-kqueue on FreeBSD
by GHC 15 Jul '14

15 Jul '14

#8013: Strange closure type error building hs-kqueue on FreeBSD -------------------------------------+------------------------------------- Reporter: ahktenzero | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.3 (LLVM) | Keywords: Resolution: | Operating System: FreeBSD Differential Revisions: | Type of failure: Compile-time Architecture: x86_64 | crash (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Comment (by ahktenzero): You can close this if you want, I reset the options for GHC and all the Haskell based ports on my system to the defaults a while back and haven't had a reoccurrence of the problem since. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8013#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7828: RebindableSyntax and Arrow
by GHC 15 Jul '14

15 Jul '14

#7828: RebindableSyntax and Arrow -------------------------------------+------------------------------------- Reporter: | Owner: jstolarek AlessandroVermeulen | Status: new Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.6.2 Component: Compiler | Keywords: (Type checker) | Operating System: Unknown/Multiple Resolution: | Type of failure: GHC rejects Differential Revisions: | valid program Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: #1537, | #3613 | -------------------------------------+------------------------------------- Comment (by ross): Replying to [comment:42 jstolarek]: > I'm able to compile > > {{{ > test :: Arrow a => a i i > test = proc n -> do > returnA -< n > }}} > > using the new desugaring, which was not possible earlier. I wouldn't have expected any change in the handling of this. > But I'm still stuck on this: > > {{{ > test :: Arrow a => a i i > test = proc n -> do > returnA -< n > returnA -< n > }}} If we're allowing rebinding, that should be type-checked and desugared exactly as if it were written {{{ test :: Arrow a => a i i test = proc n -> (returnA -< n) `thenA` (returnA -< n) }}} Here's the type inference (backwards, the way the checker does it): {{{ D |- proc n -> (returnA -< n) `thenA` (returnA -< n) :: a i t ---------------------------------------------------------------- (ProcExpr) D; n::i |-a (returnA -< n) `thenA` (returnA -< n) : () --> t ------------------------------------------------------------ (ArrForm) D |- thenA :: forall e. a1 (e,s1) i -> a2 (e,s2) i -> a (e,()) t D; n::i |-a1 returnA -< n : s1 --> i ------------------------------------ (ArrApp) D |- returnA :: a1 i i D, n::i |- n :: i D; n::i |-a2 returnA -< n : s2 --> i ------------------------------------ (ArrApp) D |- returnA :: a2 i i D, n::i |- n :: i }}} For the default `thenA`, {{{ thenA :: Arrow a => a (e,s) b -> a (e,s) c -> a (e,s) c u `thenA` v = arr id &&& u >>> arr fst >>> v }}} we have a1 = a2 = a, s1 = s2 = () and t = i, but with rebinding they'd be taken from the type of `thenA`, which could be anything matching the type in the above inference. > I noticed that desugaring of `cmd` stored in the `BodyStmt` always passes `()` as the type of the stack. That's true for the default, but if we have rebinding it will be determined by the type of `thenA`/`bind`. > Ross, I also tried to implement desugaring of `bind`. When generating the desugared Core for `cmd 'bind' \ p -> do { ss }` I have problem with the `\p ->` part. So, given the desugared `do { ss }`, `cmd` and the `bind` operator how should the generated command lambda look like? I'm still at a loss to undestand how to explicitly manipulate the stack from within Core. Here's the type inference: {{{ D; xs |-a cmd1 `bind` \ p -> cmd2 : s --> t ------------------------------------------- (ArrForm) D |- bind :: forall e. a1 (e,s1) t1 -> a2 (e,(b,s2)) t1 -> a (e,s) t D; xs |-a1 :: cmd1 : s1 --> t1 D; xs |-a2 :: \ p -> cmd2 : (b,s2) --> t2 ----------------------------------------- (Lam) D; xs, p::b |-a2 cmd2 : s2 --> t2 }}} In this case the manipulation of the stack is done by the translation of `CmdLam` and by the code inside the vanilla Haskell implementation of `bind`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7828#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8910: cross compiling for x86_64 solaris2
by GHC 15 Jul '14

15 Jul '14

#8910: cross compiling for x86_64 solaris2 ----------------------------------+---------------------------------- Reporter: maeder | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.1-rc2 Keywords: | Operating System: Solaris Architecture: x86_64 (amd64) | Type of failure: Runtime crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+---------------------------------- using a "gcc -m64" and a working ghc-7.8.0.20140228-i386-unknown-solaris2 I was able to create a 64Bit ghc-stage2 compiler that can compile a simple hello world program but may create binaries from larger sources that seg- fault. In particular "ghc-stage2 --interactive" seg-faults: {{{ [Thread debugging using libthread_db enabled] [New Thread 1 (LWP 1)] [New LWP 2 ] [New LWP 3 ] [New LWP 4 ] GHCi, version 7.8.0.20140228: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-simple ... linking ... done. Loading package base ... linking ... Program received signal SIGSEGV, Segmentation fault. [Switching to Thread 1 (LWP 1)] 0x00000000041ea4c0 in ?? () (gdb) bt #0 0x00000000041ea4c0 in ?? () #1 0x000000000369cf92 in resolveObjs () #2 0x000000000206de99 in cplU_info () #3 0x000000000000000c in ?? () #4 0x0000000003d0fe09 in base_GHCziEventziManager_zdLr88clvl8_closure () #5 0x0000000000000000 in ?? () }}} The content of my mk/build.mk is just {{{ INTEGER_LIBRARY = integer-simple }}} Creating a binary-dist also worked, but unpacking and "gmake install" failed at first because old-time, haskell98 and haskell2010 libraries were missing due to "!CrossCompiling" in ghc.mk and the second time with: {{{ Reading package info from "rts/dist/package.conf.install" ... done. "utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist" register libraries/ghc-prim dist-install "/local/home/maeder/haskell/ghc-7.8-x64-static/lib/ghc-7.8.0.20140228/bin/ghc" "/local/home/maeder/haskell/ghc-7.8-x64-static/lib/ghc-7.8.0.20140228/bin /ghc-pkg" "/local/home/maeder/haskell/ghc-7.8-x64-static/lib/ghc-7.8.0.20140228" '' '/local/home/maeder/haskell/ghc-7.8-x64-static' '/local/home/maeder/haskell/ghc-7.8-x64-static/lib/ghc-7.8.0.20140228' '/local/home/maeder/haskell/ghc-7.8-x64-static/share/doc/ghc/html/libraries' NO ghc-cabal: Bad interface file: dist-install/build/GHC/CString.hi magic number mismatch: old/corrupt interface file? (wanted 129742, got 33214052) gmake[1]: *** [install_packages] Fehler 1 }}} What am I doing wrong for cross compiling? There is also #8378 using a different build host. #8713 also seem to use x86_64 solaris2 libs. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8910> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #9288: Type class overlapping instances check doesn't understand type equality
by GHC 15 Jul '14

15 Jul '14

#9288: Type class overlapping instances check doesn't understand type equality -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.9 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC accepts Architecture: Unknown/Multiple | invalid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Here is a sample program which we'd expect to give an overlapping instances error, but does not: {{{ {-# LANGUAGE TypeFamilies, FlexibleInstances #-} module Foo where type family F a :: * type instance F Bool = Int type instance F Int = Bool class C a where instance (F Bool ~ a) => C a where instance C Int where }}} Fortunately, GHC does notice when you actually try to use the instance. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9288> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7936: newStdGen leaks memory when result is not used
by GHC 15 Jul '14

15 Jul '14

#7936: newStdGen leaks memory when result is not used -------------------------------------+------------------------------------- Reporter: | Owner: ekmett ryantrinkle | Status: patch Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.6.3 Component: | Keywords: libraries/random | Operating System: Unknown/Multiple Resolution: | Type of failure: Runtime crash Differential Revisions: | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: Unknown | Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by simonpj): * cc: ekmett (added) * owner: rrnewton => ekmett Comment: Making Edward K owner, since it's a Core Libraries issue Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7936#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0