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