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

[ASG-ECL-IMAP]

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