Changes between Version 14 and Version 15 of DeferErrorsToRuntime


Ignore:
Timestamp:
May 21, 2018 12:50:54 PM (2 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DeferErrorsToRuntime

    v14 v15  
    33
    44This page describes the `-fdefer-type-errors` flag that was added in GHC 7.6.1. Ticket #5624 tracks this feature request.
    5 For more information, see the associated [http://dreixel.net/research/pdf/epdtecp.pdf paper].
     5
     6For more information, see the associated [https://www.microsoft.com/en-us/research/publication/equality-proofs-and-deferred-type-errors-a-compiler-pearl/ Equality Proofs and Deferred Type Errors] (ICFP'12).
     7
     8== Tickets ==
     9
     10Use Keyword = `DeferredErrors` to ensure that a ticket ends up on these lists.
     11
     12'''Open Tickets:'''
     13[[TicketQuery(status=new|patch,keywords=~DeferredErrors)]]
     14
     15'''Closed Tickets:'''
     16[[TicketQuery(status=closed,keywords=~DeferredErrors)]]
     17
    618
    719== Overview ==