Ticket #549 (new bug)

Opened 17 months ago

Last modified 16 months ago

mapping a partial op to a total one does not work for HasCASL

Reported by: maeder Owned by: maeder
Priority: critical Milestone: 0.95
Component: logic-hascasl Version: 0.87
Keywords: Cc: lschrode

Description 

maeder@leibniz:~/Hets> hets -l HasCASL test/SymbolMapping/S.casl
Analyzing library S
Analyzing spec s1
Analyzing spec s2
Analyzing spec s1a
*** Error /home/maeder/Hets/test/SymbolMapping/S.casl:12.36,
Operation symbol op o : s ->? s
is mapped to wrongly typed symbol
'op o : s -> s'
hets: user error (Stopped due to errors)

Change History

Changed 16 months ago by luecke

  • cc lschrode added
  • priority changed from major to critical
  • milestone changed from 0.9 to 0.93
Note: See TracTickets for help on using tickets.