Changes between Version 10 and Version 11 of DeferErrorsToRuntime


Ignore:
Timestamp:
May 10, 2012 12:28:07 PM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DeferErrorsToRuntime

    v10 v11  
    22= Deferring compilation type errors to runtime = 
    33 
    4 This page describes the `-fwarn-type-errors` flag, currently implemented in the ghc branch `ghc-defer`. 
    5 Ticket #5624 tracks this feature request. 
     4This page describes the `-fdefer-type-errors` flag, currently implemented in GHC HEAD 
     5and due to be available in version 7.6. Ticket #5624 tracks this feature request. 
     6For more information, see the associated [http://dreixel.net/research/pdf/epdtecp.pdf paper]. 
    67 
    78== Overview == 
     
    4445{-# LANGUAGE FlexibleContexts #-} 
    4546{-# LANGUAGE GADTs #-} 
    46 {-# OPTIONS_GHC -fwarn-type-errors #-} 
     47{-# OPTIONS_GHC -fdefer-type-errors #-} 
    4748 
    4849module Main where 
     
    9495}}} 
    9596 
    96 This module compiles and runs in the `ghc-defer` branch. 
     97This module compiles and runs! 
    9798 
    9899== Implementation details == 
     
    116117 
    117118For simplicity, we defer errors from `TcUnify` to the constraint solver even 
    118 if `-fwarn-type-errors` is not on; in that case, we will simply fail in the 
     119if `-fdefer-type-errors` is not on; in that case, we will simply fail in the 
    119120constraint solver, rather than directly in the unifier. 
    120121 
    121 This means that some type error messages change, even without `-fwarn-type-errors`. 
     122This means that some type error messages change, even without `-fdefer-type-errors`. 
    122123In particular, many tests from the testsuite need to have their output adapted. 
    123124