Changeset 12770

Show
Ignore:
Timestamp:
31.10.2009 17:27:23 (3 weeks ago)
Author:
maeder
Message:

corrected variable sort

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Comorphisms/CASL2TopSort.hs

    r12759 r12770  
    401401 
    402402mapSen1 :: SubSortMap -> FORMULA f -> FORMULA f 
    403 mapSen1 subSortMap f = 
    404     case f of 
     403mapSen1 subSortMap f = case f of 
    405404    Conjunction fl pl -> Conjunction (map (mapSen1 subSortMap) fl) pl 
    406405    Disjunction fl pl -> Disjunction (map (mapSen1 subSortMap) fl) pl 
    … …  
    450449          mkVarPreds = conjunct . map mkVarPred 
    451450          mkVarPred (Var_decl vs s _) = conjunct $ map (mkVarPred1 s) vs 
    452           mkVarPred1 s v = 
    453               let sTop = lkupTop subSortMap s 
    454                   p = lkupPredName subSortMap s 
    455               in case p of 
     451          mkVarPred1 s v = case lkupPredName subSortMap s of 
    456452                 -- no subsort? then no relativization 
    457453                 Nothing -> True_atom nullRange 
    458                  Just p1 -> genPredAppl p1 [sTop] [mkVarTerm v s] 
     454                 Just p1 -> genPredication p1 
     455                   [mkVarDecl v $ lkupTop subSortMap s] 
    459456 
    460457