#13680: Can't use TypeApplications with [] data constructor -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.0.1 checker) | Keywords: Resolution: | TypeApplications Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Replying to [comment:9 goldfire]:
Happy to take a look at your code if you like.
Well, that's the thing... the line: {{{#!hs tcExpr (ExplicitList _ Nothing []) res_ty = tcCheckId nilDataConName res_ty }}} is literally the only change I had to make to make `[] @Int` work. So that's nice. But now exactly one GHC test fails: `T12957`. {{{ =====> T12957(normal) 1 of 1 [0, 0, 0] cd "./pmcheck/should_compile/T12957.run" && "/home/rgscott/Software/ghc4/inplace/test spaces/ghc-stage2" -c T12957.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn- missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output -fwarn-overlapping-patterns Actual stderr output differs from expected: diff -uw "./pmcheck/should_compile/T12957.run/T12957.stderr.normalised" "./pmcheck/should_compile/T12957.run/T12957.comp.stderr.normalised" --- ./pmcheck/should_compile/T12957.run/T12957.stderr.normalised 2017-07-10 17:44:06.341225345 -0400 +++ ./pmcheck/should_compile/T12957.run/T12957.comp.stderr.normalised 2017-07-10 17:44:06.341225345 -0400 @@ -1,4 +0,0 @@ - -T12957.hs:4:16: warning: [-Woverlapping-patterns (in -Wdefault)] - Pattern match is redundant - In a case alternative: (_ : _) -> ... *** unexpected failure for T12957(normal) }}} And that's where I'm stuck. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13680#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler