Menu

#235 Incremental tabling does not work when calling XSB from C

Other
closed-fixed
nobody
None
5
2018-04-20
2016-10-13
Ed Schwartz
No

When using incremental tabling from C, XSB will exit prematurely. I was able to fix this by copying

:- import lazy_reeval_trap/1 from increval.
'_$lazy_reeval_int'(One,_Two):- 
        lazy_reeval_trap(One).

into syslib/ccallxsb.P (from syslib/x_interp.P).

Discussion

  • Theresa Swift

    Theresa Swift - 2018-04-20

    Fixed in version 9258

     
  • Theresa Swift

    Theresa Swift - 2018-04-20
    • status: open --> closed-fixed
     

Log in to post a comment.