- changed status to resolved
XSB does not fully check type validity of constructed types
Issue #936
resolved
Example:
vocabulary V {
type m isa string
type n isa int
type t constructed from { C(m), C(n) }
P1(t)
P2(t)
P3(t)
}
theory T : V {
{ P1(C("3")). }
{ P2(C(2)). }
P3(C("4")). }
}
structure S : V {
m = { "1"; "2"; "3" }
n = { 1; 2; 3 }
}
Solution: check in PrologProgram.cpp where the constructed type checks happen and add stuff where necessary
Comments (1)
-
reporter - Log in to comment
fixed after PR 410