Changes between Version 42 and Version 43 of TypeFunctionsTypeChecking


Ignore:
Timestamp:
Dec 28, 2006 7:54:33 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsTypeChecking

    v42 v43  
    108108 
    109109 
     110== Type checking equational constraints == 
     111 
     112Constraints are turned into dictionaries by `Inst.newDictBndrs`.   For equational constraints, that is the place where ''given'' equalities are introduced. 
     113 
     114'''TODO:''' Where do we perform the detailed check of well-formedness of equalities?  In `check_pred_ty` or when adding given equalities? 
     115 
    110116== Type checking expressions == 
    111117