[GHC] #9898: Wanted: higher-order type-level programming
GHC
ghc-devs at haskell.org
Tue Jun 9 13:03:37 UTC 2015
#9898: Wanted: higher-order type-level programming
-------------------------------------+-------------------------------------
Reporter: erisco | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler (Type | Version: 7.8.3
checker) | Keywords:
Resolution: | Architecture:
Operating System: Unknown/Multiple | Unknown/Multiple
Type of failure: GHC rejects | Test Case:
valid program | Blocking:
Blocked By: | Differential Revisions:
Related Tickets: |
-------------------------------------+-------------------------------------
Changes (by thomie):
* os: Windows => Unknown/Multiple
* architecture: x86_64 (amd64) => Unknown/Multiple
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9898#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list