Changeset 12765

Show
Ignore:
Timestamp:
30.10.2009 18:27:50 (3 weeks ago)
Author:
maeder
Message:

improved error message for OWL views

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/OWL/Morphism.hs

    r12764 r12765  
    9393inducedFromToMor rm (ExtSign sig _) (ExtSign tar _) = do 
    9494  mor <- inducedFromMor rm sig 
    95   if isSubSign (otarget mor) tar 
     95  let itar = otarget mor 
     96  if isSubSign itar tar 
    9697    then return mor { otarget = tar } 
    97     else fail "OWL.inducedFromToMor" 
     98    else fail $ "no OWL mapping found for: " ++ showDoc 
     99         (Set.difference (symOf itar) $ symOf tar) "" 
    98100 
    99101symMapOf :: OWLMorphism -> Map.Map Entity Entity