June 2018 - ghc-tickets

[GHC] #15250: Add support for _mm512_shuffle_epi8 intrinsic
by GHC 23 Jun '18

23 Jun '18

#15250: Add support for _mm512_shuffle_epi8 intrinsic -------------------------------------+------------------------------------- Reporter: newhoggy | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!c __m512i _mm512_shuffle_epi8 (__m512i a, __m512i b) }}} See: https://software.intel.com/sites/landingpage/IntrinsicsGuide/#expand=765,39… -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15250> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #15282: Document how equality-bearing constructors are promoted in Core
by GHC 23 Jun '18

23 Jun '18

#15282: Document how equality-bearing constructors are promoted in Core -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Keywords: TypeInType | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #14845 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In Phab:D4728, Simon was utterly baffled as to how one could promote the `MkT` constructor in: {{{#!hs data T a where MkT :: (a ~ Int) => T a }}} Richard knows the inner machinations of how this works (including what coercions are used in the Core that `'MkT` desugars to), but not many others do. Simon requested that Richard document this knowledge in a Note somewhere. This ticket exists to keep track of this request. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15282> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #14926: failed to build cross-compiler
by GHC 23 Jun '18

23 Jun '18

#14926: failed to build cross-compiler -------------------------------------+------------------------------------- Reporter: rueshyna | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.1 Keywords: | Operating System: Linux Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I'm trying to build cross-compiler(ghc-8.4.1) but got an error. Target platform is 32-bit windows. Here is what I do: 1. pull docker image[1]: `docker pull gregweber/ghc-haskell-dev` 2. install gcc-mingw-w64-i686: `apt-get install gcc-mingw-w64-i686` 3. download ghc source and switch to tag ghc-8.4.1-release 4. run `./boot` 5. `CC=/usr/bin/i686-w64-mingw32-gcc ./configure --target=i686-w64-mingw32 --enable-unregisterised` 6. `cp mk/build.mk.sample mk/build.mk` 7. uncomment the line: `BuildFlavour = quick-cross-ncg` 8. run `make` Error message: {{{ Configuring ghc-pkg-6.9... "inplace/bin/mkdirhier" utils/ghc-pkg/dist/build/tmp//. "/opt/ghc/8.2.1/bin/ghc" -o utils/ghc-pkg/dist/build/tmp/ghc-pkg -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -Wall -package-db libraries/bootstrapping.conf -hide-all-packages -i -iutils/ghc-pkg/. -iutils/ghc-pkg/dist/build -Iutils/ghc-pkg/dist/build -iutils/ghc- pkg/dist/build/ghc-pkg/autogen -Iutils/ghc-pkg/dist/build/ghc-pkg/autogen -optP-include -optPutils/ghc-pkg/dist/build/ghc-pkg/autogen/cabal_macros.h -no-user-package-db -rtsopts -odir utils/ghc-pkg/dist/build -hidir utils/ghc-pkg/dist/build -stubdir utils/ghc-pkg/dist/build -static -O0 -H64m -Wall -package-db libraries/bootstrapping.conf -hide-all- packages -i -iutils/ghc-pkg/. -iutils/ghc-pkg/dist/build -Iutils/ghc- pkg/dist/build -iutils/ghc-pkg/dist/build/ghc-pkg/autogen -Iutils/ghc- pkg/dist/build/ghc-pkg/autogen -optP-include -optPutils/ghc- pkg/dist/build/ghc-pkg/autogen/cabal_macros.h -no-user-package-db -rtsopts -no-auto-link-packages -no-hs-main ghc: no input files Usage: For basic information, try the `--help' option. utils/ghc-pkg/ghc.mk:70: recipe for target 'utils/ghc-pkg/dist/build/tmp /ghc-pkg' failed make[1]: *** [utils/ghc-pkg/dist/build/tmp/ghc-pkg] Error 1 Makefile:122: recipe for target 'all' failed make: *** [all] Error 2 }}} If using `BuildFlavour = quick`, it works well. [1]https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Linux#Docker -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14926> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #12769: ghc: internal error: stg_ap_pp_ret
by GHC 22 Jun '18

22 Jun '18

#12769: ghc: internal error: stg_ap_pp_ret ----------------------------------------+---------------------------------- Reporter: kinnla | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: Runtime crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+---------------------------------- appeared when building a project on macOS Sierra: https://github.com/Potregon/while/blob See attached log file (told me to report the bug) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12769> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #15245: Data family promotion is possible
by GHC 22 Jun '18

22 Jun '18

#15245: Data family promotion is possible -------------------------------------+------------------------------------- Reporter: int-index | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Documentation | Version: 8.4.3 Keywords: TypeInType | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The User's Guide states that data families cannot be promoted, even with `-XTypeInType`: > We promote data types and newtypes; type synonyms and type/data families are not promoted. > > The flag TypeInType (which implies DataKinds) relaxes some of these restrictions, allowing: > > Promotion of type synonyms and type families, but not data families. GHC’s type theory just isn’t up to the task of promoting data families, which requires full dependent types. And yet the following code typechecks and runs: {{{#!hs {-# LANGUAGE TypeFamilies, TypeInType, TypeApplications #-} import Type.Reflection data family K data instance K = MkK main = print (typeRep @'MkK) }}} Is this a GHC bug or a documentation bug? I asked in IRC but I'm still confused: {{{ <int-index> The user guide states that data families aren't promoted even when -XTypeInType is enabled. Where's the logic that ensures this? I checked with `data family K; data instance K = MkK` and I can use `'MkK` with no errors/warnings. <int-index> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_ext… "Promotion of type synonyms and type families, but not data families. GHC’s type theory just isn’t up to the task of promoting data families, which requires full dependent types." <int-index> Is this info outdated? <RyanGlScott> int-index: Is this in GHCi? <RyanGlScott> It certainly fails in GHC <RyanGlScott> But I think I understand why the former works <int-index> RyanGlScott, yes, I'm checking this in GHCi <RyanGlScott> int-index: So here's my understanding of how this works <RyanGlScott> GHC kind-checks top-level declarations using a rather primitive SCC analysis <RyanGlScott> In particular, it's primitive in the sense that data family instances give it a lot of trouble <RyanGlScott> If you tried taking your code and putting it into a standalone .hs file and compiling that, then it would definitely complain about a promoted use of MkT <RyanGlScott> As luck would have it, though, you were trying things out in GHCi <RyanGlScott> Which essentially checks each line of input as its own strongly connected group of declarations <RyanGlScott> So you can define MkT on one line and promote it in subsequent lines, since they're separate in the sense <RyanGlScott> *that sense <int-index> this sounds related to Trac #12088, and then I could work around it in GHC by using `$(return [])`, so data families are actually promoted anyway and this has nothing to do with GHC needing more powerful type theory <RyanGlScott> Well, it does need more powerful type theory in the sense that that's a prerequisite for making the SCC analysis for kind-checking sophisticated enough to handle this <RyanGlScott> But yes, it's quite simple to work around by using Template Haskell to explicitly split up groups. <int-index> https://gist.github.com/int- index/c6cc1e20c4b9b5c99af40ee4e23ecb61 this works and no template haskell involved <int-index> The reason I'm asking is that I'm touching this part of the User's Guide and I don't know what to write there. <RyanGlScott> Huh, now that's interesting <int-index> RyanGlScott, the only check I could find that controls what's promoted and what's not is 'isLegacyPromotableDataCon' - and enabling -XTypeInType disables this check. <RyanGlScott> int-index: Right, that's baffling me <RyanGlScott> Since that's supposed to be checked every time you promote a data constructor (I think) <RyanGlScott> int-index: File a bug about that, I suppose <RyanGlScott> Richard (who's sitting next to me right now) seems to think that that shouldn't be possible <int-index> RyanGlScott, the thing is, I happily removed this check completely in D4748. Does this mean I have to restore a weaker version of it that only checks for data families? Why? <int-index> Is it bad that -XDataKinds promotes data family constructors? Looks like I can just remove the "restrictions" part of the user guide and be done with it <RyanGlScott> int-index: In theory, that shouldn't be possible <int-index> OK, then what the check should be? No data families, any other restrictions? <RyanGlScott> I might qualify that with "no data family instances defined in the same module" <RyanGlScott> (Or to be precise, in the same SCC, but that's probably too technical for the users' guide) <int-index> Well, this sounds hard to check. I was thinking along the lines of keeping the 'not (isFamInstTyCon (dataConTyCon dc))' part of the check... <RyanGlScott> Oh, I thought you were only changing the users' guide :) <int-index> Well, at this point I'm confused if I should change only the user guide or the check as well. If data families shouldn't be promoted ever, then I'll change GHC. If the limitation is about the current SCC group, I can just mention Trac #12088 as a known infelicity in the User's Guide }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15245> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #15239: Is there an issue with Haskell GHC 8.4.3 on Travis?
by GHC 22 Jun '18

22 Jun '18

#15239: Is there an issue with Haskell GHC 8.4.3 on Travis? -------------------------------------+------------------------------------- Reporter: Orome | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Build System | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Installing GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- My Travis builds ([https://travis-ci.org/orome/crypto-enigma- hs/jobs/388291576]) are failing when they attempt to install using the nightly resolver (since 8.4.3) with: {{{ $ stack --resolver $RESOLVER --no-terminal --install-ghc test --only- dependencies Selected resolver: nightly-2018-06-05 Downloading nightly-2018-06-05 build plan ... Downloaded nightly-2018-06-05 build plan. Preparing to install GHC to an isolated location. This will not interfere with any system-level installation. Preparing to download ghc-8.4.3 ... ghc-8.4.3: download has begun ghc-8.4.3: 15.21 MiB / 144.83 MiB ( 10.50%) downloaded... ghc-8.4.3: 37.85 MiB / 144.83 MiB ( 26.13%) downloaded... ghc-8.4.3: 61.16 MiB / 144.83 MiB ( 42.23%) downloaded... ghc-8.4.3: 76.60 MiB / 144.83 MiB ( 52.89%) downloaded... ghc-8.4.3: 91.49 MiB / 144.83 MiB ( 63.17%) downloaded... ghc-8.4.3: 115.03 MiB / 144.83 MiB ( 79.42%) downloaded... ghc-8.4.3: 138.27 MiB / 144.83 MiB ( 95.47%) downloaded... ghc-8.4.3: 144.83 MiB / 144.83 MiB (100.00%) downloaded... Downloaded ghc-8.4.3. Unpacking GHC into /home/travis/.stack/programs/x86_64-linux/ghc-8.4.3.temp/ ... Configuring GHC ... Installing GHC ... Received ExitFailure 2 when running Raw command: /usr/bin/make install Run from: /home/travis/.stack/programs/x86_64-linux/ghc-8.4.3.temp/ghc-8.4.3/ The command "stack --resolver $RESOLVER --no-terminal --install-ghc test --only-dependencies" failed and exited with 1 during . }}} Is there a problem with 8.4.3 on Travis? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15239> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #15218: HEAD doesn't build without sphinx-build
by GHC 22 Jun '18

22 Jun '18

#15218: HEAD doesn't build without sphinx-build -------------------------------------+------------------------------------- Reporter: jrp | Owner: (none) Type: bug | Status: new Priority: low | Milestone: 8.6.1 Component: Build System | Version: 8.4.3 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Building GHC (amd64) | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- If you git clone HEAD and run ./validate the system should build without further ado. It doesn't. The make all fails, complaining about an absence of sphinx-build. Using the mk .sample files doesn't help. Installing sphinx-bulid resolves the issue. So the documentation here and/or the default build are out of sync with each other. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15218> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11958: Improved testing of cross-compiler
by GHC 22 Jun '18

22 Jun '18

#11958: Improved testing of cross-compiler -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: task | Status: new Priority: low | Milestone: 8.2.1 Component: Test Suite | Version: 7.10.3 Keywords: cross-compile | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- It is already possible to build cross compiler eg from x86_64/linux to armhf/linux or arm64/linux, but there is currently no way to run the test suite. However, at least for the host and targets above, it should be possible to run the test executables under the Qemu user space emulation. I know this works, because in my own personal jenkins build instance, I test exactly this by doing (for x86_64/linux to amr64/linux cross): {{{ echo -e 'main :: IO ()\nmain = putStrLn "Hello World"\n' > hello-world.hs inplace/bin/ghc-stage1 hello-world.hs -o hello-world test $(file hello-world | grep -c 'ARM aarch64, version 1') -eq 1 ./hello-world }}} The linux machine I run the above test on is x86_64/linux but has Qemu and `binfmt` stuff set up so that it can run some foreign binaries. For instance, if GHC worked as a Linux to Windows cross-compiler the resulting windows binaries should work under Wine. To get this working, I suspect that just about all the required work is in the build system. Not sure if it might not be better to wait until the Shake based build system is in better shape. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11958> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #2725: Remove Hack in compiler/nativeGen/X86/CodeGen.hs
by GHC 22 Jun '18

22 Jun '18

#2725: Remove Hack in compiler/nativeGen/X86/CodeGen.hs -------------------------------------+------------------------------------- Reporter: clemens | Owner: thoughtpolice Type: task | Status: new Priority: low | Milestone: 8.8.1 Component: Compiler (NCG) | Version: 6.11 Resolution: | Keywords: codegen Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.6.1 => 8.8.1 Comment: We won't be don't this in 8.6. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2725#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #15253, #15260, #15273, #15283, #15288, #15291, ...
by GHC 22 Jun '18

22 Jun '18

Batch modification to #15253, #15260, #15273, #15283, #15288, #15291, #15292, #15296, #15297 by bgamari: milestone to 8.8.1 Comment: These won't be addressed in GHC 8.6. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=15253%2C15260%2C15273%2C15283%2C15…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0