Ticket #702 (closed bug: fixed)

Opened 5 months ago

Last modified 3 weeks ago

SuleCFOL2SoftFOL crash

Reported by: maeder Owned by: maeder
Priority: major Milestone: 0.95
Component: logic-casl Version: 0.93
Keywords: Cc: till

Description

after removing every "free" before types to get injective constructors only for top-sort encoding, I got: 

hets -v2 -g -t id_CASL.SulPFOL=:CASL2PCFOLTopSort:CASL2SubCFOL:CASL2SoftFOL -o th,prf Gum/minimalBeispielmitGUM.casl
...
Writing file: Gum/minimalBeispielmitGUM.prf
### Warning,
Please, check if operation "__-->__" is still partial as intended, since a joining of types could have made it total!!
Translated using comorphism id_CASL.SulPFOL=;CASL2PCFOLTopSort;CASL2SubCFOL;CASL2SoftFOL : CASL -> SoftFOL
Writing file: Gum/minimalBeispielmitGUM_GUMwithDCC_example_house_tree.th
hets: SuleCFOL2SoftFOL.tT: no SoftFOL Id found for "x"

Attachments

Gum.tgz (13.8 kB) - added by maeder 5 months ago.
modified Gum specs

Change History

Changed 5 months ago by maeder

modified Gum specs

Changed 3 weeks ago by maeder

  • status changed from new to closed
  • resolution set to fixed

this example goes through now and was fixed by chance by changeset:12770

Note: See TracTickets for help on using tickets.