Bug in load_dync?

 

 

Hello, 

 

Is this a bug in load_dync?

 

 

--Sudhakar

 

File contents:

a( 1,  b([ ]) ).

 

 

| ?- load_dync(n).

++Error[XSB]: [Runtime/C] READ_CAN_ERROR: illegal format. Next tokens:
] ) ) .
[C:\work\windows\scanner\xsb\n.P dynamically loaded, cpu time used: 0.0000 secon
ds]

yes
| ?-

 

new file:

a( 1,  b([]) ).

| ?- load_dync(n).
[C:\work\windows\scanner\xsb\n.P dynamically loaded, cpu time used: 0.0000 secon
ds]

yes
| ?-

 

 

The only difference is [ ] and [].  An extra space between [ and ] in failure case.

 

 

 

 

-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/

_______________________________________________
Xsb-development mailing list
Xsb-development-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
https://lists.sourceforge.net/lists/listinfo/xsb-development