Changes between Version 45 and Version 46 of Holes


Ignore:
Timestamp:
Apr 2, 2018 11:11:45 AM (17 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v45 v46  
    1 ''This page discusses the design and potential implementation of "holes" in GHC. Discussion on this feature in GHC is in #5910. The development repository is [https://github.com/xnyhps/ghc here], and implementation issues are [https://github.com/xnyhps/ghc/issues here].''
     1= Typed holes =
     2
     3This page discusses the design and implementation of "typed holes" in GHC.
     4
     5See also
     6* The original ticket on this feature: #5910.
     7
     8Historical note: the [https://github.com/xnyhps/ghc development repository] and its [https://github.com/xnyhps/ghc/issues issue tracker].
     9
     10
     11== Tickets ==
     12
     13Use Keyword = `TypedHoles` to ensure that a ticket ends up on these lists.
     14
     15'''Open Tickets:'''
     16[[TicketQuery(status=new|patch,keywords=~TypedHoles)]]
     17
     18'''Closed Tickets:'''
     19[[TicketQuery(status=closed,keywords=~TypedHoles)]]
     20
     21
     22----------------------------------
     23Below here is the original wiki page now probably partly outdated by the implementation in GHC.
    224
    325= Introduction =