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