- ghc-tickets - Haskell.org

Re: [GHC] #7730: :info and polykinds
by GHC 28 Apr '14

28 Apr '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.3 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Changes (by simonpj): * cc: goldfire (added) Comment: Re (2) I'm not too bothered. What you see is what you get. That is, the user wrote `{-# UNPACK #-}` but it didn't happen, so it doesn't show up in the `IfaceSyn`. So I'd just leave it as it is. In your example, I guess you only compiled `STest` without `-O`, else you would see the UNPACK? Re (1) this is actually very much the same kind of issue as with `IfaceFunTy` vs `IfaceDictFunTy`; we don't have quite enough info in the `IfaceType`. I'm adding Richard to the cc list because he is busy unifying types and kinds, and separating the issue of source-code visiblity. To solve (1) we'd need to add a flag saying "I a kind" to each argument of an `IfaceTyConApp`. That's quite painful, `IfaceTyConApp` is very common. It might be better to say: {{{ data IfaceType = .... | IfaceTyConApp IfaceTcArgs | ... data IfaceTcArgs = ITC_Nil | ITC_Type IfaceType IfaceTcArgs | ITC_Kind IfaceKind IfaceTcArgs }}} That would be be simple and would hardly affect in interface files. But I'd like to see what Richard has to say first. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7028: incorrect link paths for in mac os x after install
by GHC 28 Apr '14

28 Apr '14

#7028: incorrect link paths for in mac os x after install ------------------------------------------+-------------------------------- Reporter: andykitchen | Owner: leroux Type: bug | Status: infoneeded Priority: normal | Milestone: 7.8.3 Component: Build System | Version: 7.4.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 Type of failure: Installing GHC failed | (amd64) Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ------------------------------------------+-------------------------------- Changes (by thoughtpolice): * priority: high => normal -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7028#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7011: 32bit GHC 7.4.2 cannot compile integer-gmp on OS X 10.8
by GHC 28 Apr '14

28 Apr '14

#7011: 32bit GHC 7.4.2 cannot compile integer-gmp on OS X 10.8 --------------------------------------+--------------------------------- Reporter: chak | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: libraries (other) | Version: 7.5 Resolution: | Keywords: Mountain Lion Operating System: MacOS X | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+--------------------------------- Changes (by thoughtpolice): * priority: high => normal * milestone: 7.8.3 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7011#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8366: haskeline Posix backend needs #include <sys/termios.h> on Solaris
by GHC 28 Apr '14

28 Apr '14

#8366: haskeline Posix backend needs #include <sys/termios.h> on Solaris -------------------------------------+------------------------------------- Reporter: oddsignals | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: libraries (other) | Version: 7.7 Keywords: | Operating System: Solaris Architecture: Unknown/Multiple | Type of failure: Building GHC Difficulty: Easy (less than 1 | failed hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- !System/Console/Haskeline/Backend/Posix.hsc needs an #include <sys/termios.h> to compile under Solaris. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8366> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #7189: RTS Assertion Crash
by GHC 28 Apr '14

28 Apr '14

#7189: RTS Assertion Crash -----------------------------------+---------------------------------- Reporter: sseverance | Owner: simonmar Type: bug | Status: infoneeded Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 7.4.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #8014 -----------------------------------+---------------------------------- Changes (by thoughtpolice): * milestone: ⊥ => 7.10.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7189#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7189: RTS Assertion Crash
by GHC 28 Apr '14

28 Apr '14

#7189: RTS Assertion Crash -----------------------------------+---------------------------------- Reporter: sseverance | Owner: simonmar Type: bug | Status: infoneeded Priority: normal | Milestone: ⊥ Component: Runtime System | Version: 7.4.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #8014 -----------------------------------+---------------------------------- Changes (by thoughtpolice): * cc: simonmar (added) * related: => #8014 * milestone: 7.8.3 => ⊥ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7189#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8014: Assertion failure when using multithreading in debug mode.
by GHC 28 Apr '14

28 Apr '14

#8014: Assertion failure when using multithreading in debug mode. -------------------------------------+------------------------------ Reporter: Maxander | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: rts Operating System: Unknown/Multiple | Architecture: x86 Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7189 -------------------------------------+------------------------------ Changes (by thoughtpolice): * related: #8014 => #7189 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8014#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8014: Assertion failure when using multithreading in debug mode.
by GHC 28 Apr '14

28 Apr '14

#8014: Assertion failure when using multithreading in debug mode. -------------------------------------+------------------------------ Reporter: Maxander | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: rts Operating System: Unknown/Multiple | Architecture: x86 Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #8014 -------------------------------------+------------------------------ Changes (by thoughtpolice): * keywords: => rts * difficulty: => Unknown * status: new => infoneeded * related: => #8014 * failure: None/Unknown => Runtime crash -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8014#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7763: Resource limits for Haskell
by GHC 28 Apr '14

28 Apr '14

#7763: Resource limits for Haskell -------------------------------------+------------------------------------ Reporter: ezyang | Owner: simonmar Type: feature request | Status: infoneeded Priority: normal | Milestone: Component: Profiling | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by thoughtpolice): * milestone: 7.8.3 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7763#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5019: OS X: ld: warning: could not create compact unwind for _ffi_call_unix64
by GHC 28 Apr '14

28 Apr '14

#5019: OS X: ld: warning: could not create compact unwind for _ffi_call_unix64 -------------------------------------------------+------------------------- Reporter: altaic | Owner: Type: bug | Status: Priority: high | closed Component: Compiler | Milestone: 7.8.3 Resolution: fixed | Version: 7.1 Operating System: MacOS X | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | x86_64 (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by thoughtpolice): * status: infoneeded => closed * resolution: => fixed Comment: This ticket has actually been fixed for a while now, I think (I remember when it came around, the fix was in `SysTools` somewhere). I'm closing this for now since it seems fixed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5019#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0