Changes between Version 8 and Version 9 of TypeFunctionsSynTC


Ignore:
Timestamp:
Dec 7, 2006 8:08:58 PM (7 years ago)
Author:
chak
Comment:

more wiki formatting

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v8 v9  
    8989Roughly, we perform the following two steps. 
    9090 
    91  
    92 1. Generate the appropriate implication constraint out of the program text.  That's easy cause GHC supports now implication constraints. 
    93 (there are some potential subtleties, see GENERATEIMP below). 
    94  
    95 2. Solve the implication constraint by applying axioms and local assumptions until the (local) property is verified. That's the hard part. 
     91 1. Generate the appropriate implication constraint out of the program text.  That's easy cause GHC supports now implication constraints. (There are some potential subtleties, see GENERATEIMP below). 
     92 2. Solve the implication constraint by applying axioms and local assumptions until the (local) property is verified. That's the hard part. 
    9693 
    9794NOTE: