Changeset 12767

Show
Ignore:
Timestamp:
31.10.2009 14:10:35 (3 weeks ago)
Author:
maeder
Message:

make all ops total for SubCFOL

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Comorphisms/CASL2SubCFOL.hs

    r12762 r12767  
    271271         $ mkForall vs 
    272272           ((if opKind typ == Total then mkEqv else mkImpl) 
    273             (defined bsorts (mkAppl (mkQualOp f $ toOP_TYPE typ) 
     273            (defined bsorts 
     274             (mkAppl (mkQualOp f $ toOP_TYPE typ { opKind = Total }) 
    274275                      $ map toQualVar vs) nullRange) 
    275276            $ defVards bsorts vs) nullRange) opList