Re: gprolog blows on OSX with segmentation violation (bad address: 0x0)

Dears,
If that can help, I ran the example with gprolog  1.4.0 (on an Imac) and got this messages :
| ?- gpredis_exec(test(100,'tonne',"century")).
Command: test
   Args: [100,tonne,[99,101,110,116,117,114,121]]
uncaught exception: error(domain_error(format_control_sequence,''),format_to_codes/3)


A trace gave (the last part of the trace) :

10    4  Call: gpredis_stringify(tonne,_613) ? 
     11    5  Call: is_list(tonne) ? 
     11    5  Fail: is_list(tonne) ? 
     11    5  Call: format_to_codes(_640,'~w',[tonne]) ? 
     11    5  Exit: format_to_codes([116,111,110,110,101],'~w',[tonne]) ? 
     10    4  Exit: gpredis_stringify(tonne,[116,111,110,110,101]) ? 
     12    4  Call: format_to_codes(_573,'term: ~w ',[[116,111,110,110,101]]) ? 
     12    4  Exit: format_to_codes([116,101,114,109,58,32,91,49,...],'term: ~w ',[[116,111,110,110,101]]) ? 
     13    4  Call: gpredis_cmdargs([[99,101,110,116,117,114,121]],_574) ? 
     14    5  Call: gpredis_stringify([99,101,110,116,117,114,121],_786) ? 
     15    6  Call: is_list([99,101,110,116,117,114,121]) ? 
     15    6  Exit: is_list([99,101,110,116,117,114,121]) ? 
     16    6  Call: format_to_codes(_837,'~s~',[[99,101,110,116,117,114,121]]) ? 
.....
      1    1  Exception: gpredis_exec(test(100,tonne,[99,101,110,116,117,114,121])) ? 
uncaught exception: error(domain_error(format_control_sequence,''),format_to_codes/3)

But no segmentation error for me.


I think you can see the reason.
Alex





Le 17 nov. 2013 à 16:00, Sean Charles a écrit :

> gpredis_exec(test(100,'tonne',"century")).

---------------------- IMAP --------------------
Alexandre Saidi
Maitre de Conférences (Ass Pr.)
Ecole Centrale de Lyon
Dép. Mathématiques - Informatique
LIRIS-CNRS UMR 5205
Tél : 0472186530, Fax : 0472186443

_______________________________________________
Users-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/users-prolog