[GHC] #14040: Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]
GHC
ghc-devs at haskell.org
Sun Apr 22 14:20:01 UTC 2018
#14040: Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: goldfire
Type: bug | Status: closed
Priority: normal | Milestone: 8.6.1
Component: Compiler (Type | Version: 8.0.2
checker) | Keywords: TypeInType,
Resolution: fixed | TypeFamilies,
| PartialTypeSignatures, TypedHoles
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: Compile-time | Test Case: partial-
crash or panic | sigs/should_fail/T14040a
Blocked By: | Blocking:
Related Tickets: #13877, #15076 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* testcase: => partial-sigs/should_fail/T14040a
* status: new => closed
* resolution: => fixed
* related: #13877 => #13877, #15076
* milestone: => 8.6.1
Comment:
Closing in favor of #15076.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14040#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list