- ghc-tickets - Haskell.org

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

11 Apr '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 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 --------------------------------------------+------------------------------ Comment (by archblob): Well, I'm talking a lot, but to summarize, my impression was that the current output format of ``` pprIfaceDecl ``` should also be kept, and just print differently when called from :info, but if that is not the case and if the format is amenable to change I will go ahead and make it look like ``` ppr_ty_thing ``` does. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

11 Apr '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 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 --------------------------------------------+------------------------------ Comment (by archblob): By the "old way" I mean that in most cases the output of ``` pprIfaceDecl ``` looks nothing like ``` ppr_ty_thing ```, so the way I described this would pe to leave ``` ppr = pprIfaceDecl Nothing ``` for the ``` Outputable ``` instance of ``` IfaceDecl ``` so that when using ``` --show-iface ``` nothing would change, also there is a lot more information printed by ``` pprIfaceDecl ``` than ``` ppr_ty_thing ```. So if you want the output of ``` pprIfaceDecl ``` to look like ``` ppr_ty_thing ``` I'm not sure what to do about the extra information that is now printed, and that will also affect the output of ``` --show-iface ``` ? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7908: InstanceSigs suggestion not accepted
by GHC 11 Apr '14

11 Apr '14

#7908: InstanceSigs suggestion not accepted -------------------------------------+------------------------------------ Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | 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 kosmikus): * cc: mail@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7908#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

11 Apr '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 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 --------------------------------------------+------------------------------ Comment (by simonpj): Replying to [comment:13 archblob]: > Right now I'm exporting ``` pprIfaceDecl ``` from ``` IfaceSyn ``` and I've modified it to look like this ``` pprIfaceDecl :: Maybe ShowSub -> IfaceDecl -> SDoc ``` this allows us to decide how we print things, if the first argument is ``` Nothing ``` we print ``` IfaceDecl ``` the old way. That sounds roughly right, but I'm not sure what you mean by "the old way". Really `pprIfaceDecl` should simply behave like `ppr_ty_thing` does today. Re comment 14, the point is to combine the pretty printing not to complicate the duplicate code! So let's not do that. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7908: InstanceSigs suggestion not accepted
by GHC 11 Apr '14

11 Apr '14

#7908: InstanceSigs suggestion not accepted -------------------------------------+------------------------------------ Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | 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 edsko): * cc: edsko@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7908#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

11 Apr '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 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 --------------------------------------------+------------------------------ Comment (by archblob): We could also just use ``` tyThingToIfaceDecl ``` and keep printing ```TyThing`` using the existing code and just replace the type variables with the ones we extract from ``` IfaceDecl ``` . This fix would be just a few lines but it seems rather hackish and wasteful. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

11 Apr '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: new Priority: normal | Milestone: 7.8.1 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 --------------------------------------------+------------------------------ Comment (by archblob): I started implementing this and printing through ``` IfaceDecl ``` directly as you suggested is the easier way and it turns out we don't really need to add any more information, all we need for printing properly is already there. Now before I go any further we need to discuss the approach I have taken and if it needs changing. Right now I'm exporting ``` pprIfaceDecl ``` from ``` IfaceSyn ``` and I've modified it to look like this ``` pprIfaceDecl :: Maybe ShowSub -> IfaceDecl -> SDoc ``` this allows us to decide how we print things, if the first argument is ``` Nothing ``` we print ``` IfaceDecl ``` the old way. This will polute the ``` IfaceDecl ``` printing function with stuff destined for GHCi printing but it has the advantage that there are a lot of places where the printing is the same and a lot of code from pprTyThing will no longer be necessary. Another aproach is to write a separate ``` IfaceDecl ``` printing function for use in GHCi, but while keeping things separate this will lead to a lot of duplication. If you think that I should take the second aproach, or another that I did not consider please tell me and I will implement it. Thank you, Andrei -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8153: Implement AES intrinsics
by GHC 10 Apr '14

10 Apr '14

#8153: Implement AES intrinsics ----------------------------------------------+---------------------------- Reporter: schyler | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Moderate (less than a day) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: ----------------------------------------------+---------------------------- LLVM has the following intrinsics for working with AES encryption; @llvm.x86.aesni_{aesimc,aesenc,aesenclast,aesdec,aesdeclast,aeskeygenassist} It would be nice if at some stage these are supported through primops/intrinsics, as it would mean the crypto libraries can be rewritten to not use C and we'd get some nicer inlining on these. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8153> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7870: Compilation errors break the complexity encapsulation on DSLs, impairs success in industry
by GHC 10 Apr '14

10 Apr '14

#7870: Compilation errors break the complexity encapsulation on DSLs, impairs success in industry --------------------------------------------+------------------------------ Reporter: agocorona | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Resolution: | Keywords: DSL, Operating System: Unknown/Multiple | Error, Type of failure: None/Unknown | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: Unknown | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by Lemming): * cc: ghc@… (added) * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7870#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7695: Hang when locale-archive and gconv-modules are not there
by GHC 10 Apr '14

10 Apr '14

#7695: Hang when locale-archive and gconv-modules are not there ----------------------------+---------------------------------------------- Reporter: hpd | Owner: trommler Type: bug | Status: new Priority: normal | Milestone: 7.8.3 Component: None | Version: 7.8.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Moderate (less than a day) Type of failure: Runtime | Blocked By: crash | Related Tickets: #8977 Test Case: | Blocking: | ----------------------------+---------------------------------------------- Changes (by trommler): * owner: => trommler * difficulty: Unknown => Moderate (less than a day) * failure: None/Unknown => Runtime crash Comment: OK, I'll take a stab at that one. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7695#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0