August 2014 - ghc-tickets

Re: [GHC] #7015: Add support for 'static'
by GHC 08 Aug '14

08 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by simonpj): Great work. I'm going to add some top level comments here * I'd love a wiki page summarising the programmer's-eye-view of the design; and sketching the implementation. You may say that the programmer's eye view is in the paper, but (a) that's less accessible, and (b) details change, such as the type, which you have called `Ref`. * Bikeshed: I don't that is at all a good name... sounds mutable to me. I don't think `Static t` so bad. `StaticName` is ok, as is `StaticPtr`. * The type checker is not supposed to do program transformations like floating bindings to top level. It should be possible to display the output of the type checker in an IDE, exactly as the programmer wrote it, fully decorated with type information. So I think it'd be better if the desugarer did the floating, not the type checker. That should not be a hard change to make. * I don't understand `checkStaticValues`. The typing rule for `static` in the paper is quite simple, so what is going on here? * What is `addrToAny#` and where is it documented? * I'm pretty convinced that static values (`Refs`) should come with a `TypeRep` -- or at least the fingerprint of a `TypeRep` so that we can reject bogus values. That wouldn't be hard, would it? The merit of having a `TypeRep` tree rather than just a fingerprint is that the error message might be more informative. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 07 Aug '14

07 Aug '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by aavogt): * cc: vogt.adam@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3919: Or-patterns as GHC extension
by GHC 07 Aug '14

07 Aug '14

#3919: Or-patterns as GHC extension -------------------------------------+------------------------------------- Reporter: | Owner: BjornEdstrom | Status: new Type: feature | Milestone: ⊥ request | Version: Priority: normal | Keywords: Component: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by rwbarton): * cc: rwbarton (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3919#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9419: Machine-readable output for profiling
by GHC 07 Aug '14

07 Aug '14

#9419: Machine-readable output for profiling -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: feature request | Status: new Priority: normal | Milestone: Component: Profiling | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- We'll control whether or not machine-readable output is used using the `--machine-readable` flag currently used for GC stats. The format should also be self-explanatory for cost-center stats: per cost center we output the a CSV of `cc->time_ticks`, `cc->mem_alloc`. I'm a little less sure how to format the hierarchical cost center stacks; we could print out the entire trace of the stack, or maybe even organize the data recursively from the get go (outputting something JSON like, in that case.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9419> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #9413: Outputable instance for Unique sometimes generates null bytes
by GHC 07 Aug '14

07 Aug '14

#9413: Outputable instance for Unique sometimes generates null bytes -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Other Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Steps to reproduce: {{{ [ezyang@hs01 ghc-validate]$ inplace/bin/ghc-stage2 --interactive -package ghc GHCi, version 7.9.20140805: 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 package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package unix-2.7.0.2 ... linking ... done. Loading package directory-1.2.1.0 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package Cabal-1.21.0.0 ... linking ... done. Loading package binary-0.7.1.0 ... linking ... done. Loading package bin-package-db-0.0.0.0 ... linking ... done. Loading package hoopl-3.10.0.1 ... linking ... done. Loading package hpc-0.6.0.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.4.1.0 ... linking ... done. Loading package ghc ... linking ... done. Prelude> :m +Unique Prelude Unique> :m +Outputable Prelude Unique Outputable> :m +FastString Prelude Unique Outputable FastString> :m +DynFlags Prelude Unique Outputable FastString DynFlags> showSDoc (defaultDynFlags undefined) $ ppr (getUnique (mkFastString "foo")) "\NUL3bS" }}} We should do something so this doesn't happen. Caused grief due to #9395 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9413> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7942: aarch64 support in ghc
by GHC 07 Aug '14

07 Aug '14

#7942: aarch64 support in ghc -------------------------------------+------------------------------------- Reporter: jcapik | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: Component: Compiler | Keywords: Resolution: fixed | Architecture: arm Operating System: Linux | Difficulty: Unknown Type of failure: GHC | Blocked By: doesn't work at all | Related Tickets: 7623, 8664 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by lukexi): Hi Karel, That's really helpful — well it's run on ARM64 /now/ : D If you (and Stephen, David and Manuel) are up for it I'd love to work on it. Maxwell Swadling, who helped Stephen and I finish up GHC iOS, is in too. I'll read through that doc, thanks! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7942: aarch64 support in ghc
by GHC 07 Aug '14

07 Aug '14

#7942: aarch64 support in ghc -------------------------------------+------------------------------------- Reporter: jcapik | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: Component: Compiler | Keywords: Resolution: fixed | Architecture: arm Operating System: Linux | Difficulty: Unknown Type of failure: GHC | Blocked By: doesn't work at all | Related Tickets: 7623, 8664 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by kgardas): One general note: the code in StgCRun written for ARM64 was probably written by me (I've provided the patch to Colin). So if this is this code, then please be assured that this code *never* has run on ARM64. It was written just from reading doc and as a first attempt to add support for registerised ARM64. At that time I've finished with this since I had not machine, ARM's foundation model was really slow and LLVM project was just before big merge from ARM's own AArch64 and Apple's own ARM64 LLVM backends together. Although the situation now looks way much better, at least both LLVM backends were merged together and even some hardware appears this all still means that if nobody has done it yet, then someone needs to do quite a lot. When I've been working on ARM port with Stephen, David helped me a lot and we wrote following LLVM/porting guide. I would recommend to read it: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM/GHC… -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7942: aarch64 support in ghc
by GHC 07 Aug '14

07 Aug '14

#7942: aarch64 support in ghc -------------------------------------+------------------------------------- Reporter: jcapik | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: Component: Compiler | Keywords: Resolution: fixed | Architecture: arm Operating System: Linux | Difficulty: Unknown Type of failure: GHC | Blocked By: doesn't work at all | Related Tickets: 7623, 8664 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by lukexi): Ah, that's it! I was wondering if that was done yet. OK, we better get on that then : D Thanks so much for getting this started! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7942: aarch64 support in ghc
by GHC 07 Aug '14

07 Aug '14

#7942: aarch64 support in ghc -------------------------------------+------------------------------------- Reporter: jcapik | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: Component: Compiler | Keywords: Resolution: fixed | Architecture: arm Operating System: Linux | Difficulty: Unknown Type of failure: GHC | Blocked By: doesn't work at all | Related Tickets: 7623, 8664 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by kgardas): So basically you try to cross-compile using registerised GHC? If so, then I'm afraid nobody hacked LLVM to support GHC specific calling convention on ARM64 yet! If unregisterised, then you IMHO you should not be in this part of code which is IMHO just for registerised builds. Also if you attempt unregisterised, I would advice to use gcc and not llvm i.e. -fvia-C and not -fllvm for the start. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:36> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7942: aarch64 support in ghc
by GHC 07 Aug '14

07 Aug '14

#7942: aarch64 support in ghc -------------------------------------+------------------------------------- Reporter: jcapik | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: Component: Compiler | Keywords: Resolution: fixed | Architecture: arm Operating System: Linux | Difficulty: Unknown Type of failure: GHC | Blocked By: doesn't work at all | Related Tickets: 7623, 8664 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by lukexi): OK, so if I replace the offending call with {{{ "ldr lr, [sp]\n\t" "add sp, sp, %3\n\t" }}} (which I believe should be functionally equivalent) I can compile, but then get a crash running on the device here: {{{ HelloHaskell`StgRun: 0x1004cea34: stp x28, x27, [sp, #-96]! 0x1004cea38: stp x26, x25, [sp, #16] 0x1004cea3c: stp x24, x23, [sp, #32] 0x1004cea40: stp x22, x21, [sp, #48] 0x1004cea44: stp x20, x19, [sp, #64] 0x1004cea48: stp fp, lr, [sp, #80] 0x1004cea4c: stp x19, x20, [sp, #-16]! 0x1004cea50: stp x21, x22, [sp, #-16]! 0x1004cea54: stp x23, x24, [sp, #-16]! 0x1004cea58: stp x25, x26, [sp, #-16]! 0x1004cea5c: stp x27, x28, [sp, #-16]! 0x1004cea60: stp x16, x17, [sp, #-16]! 0x1004cea64: str lr, [sp, #-8]! 0x1004cea68: str lr, [sp, #16384] <------------EXC_BAD_ACCESS (code=259, address=0x16fdcf7a8) 0x1004cea6c: mov x19, x1 0x1004cea70: br x0 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:35> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0