Show
Ignore:
Timestamp:
06.01.2009 16:49:44 (11 months ago)
Author:
maeder
Message:

extended symbol kinds i.e. for CspCASL

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Comorphisms/CspCASL2Modal.hs

    r11215 r11216  
    4545               CspCASLSign 
    4646               CspMorphism 
    47                () () () 
     47               Symbol RawSymbol () 
    4848               Modal () 
    4949               M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS 
    … …  
    7777 
    7878 
    79 mapSym :: () -> Symbol 
     79mapSym :: Symbol -> Symbol 
    8080mapSym = error "CspCASL2Modal.mapSym not yet implemented" 
    8181   -- needs to be changed once modal symbols are added