Changes between Version 12 and Version 13 of DeferErrorsToRuntime


Ignore:
Timestamp:
Oct 17, 2012 4:53:23 PM (18 months ago)
Author:
ehamberg
Comment:

Make it clear that this flag were indeed included in GHC 7.6

Legend:

Unmodified
Added
Removed
Modified
  • DeferErrorsToRuntime

    v12 v13  
    22= Deferring compilation type errors to runtime = 
    33 
    4 This page describes the `-fdefer-type-errors` flag, currently implemented in GHC HEAD 
    5 and due to be available in version 7.6. Ticket #5624 tracks this feature request. 
     4This page describes the `-fdefer-type-errors` flag that was added in GHC 7.6.1. Ticket #5624 tracks this feature request. 
    65For more information, see the associated [http://dreixel.net/research/pdf/epdtecp_draft.pdf paper]. 
    76