Yes use HEAD (I committed a change to the universal backend yesterday, and you need that).
Marc
On Aug 14, 2016, at 1:33 PM, Jon Woodring woodring.jon@gmail.com wrote:
I'm using v4.8.5. Should I use the HEAD? I'm trying to compile it now to see if that is the problem.
On Sun, Aug 14, 2016 at 10:38 AM Marc Feeley feeley@iro.umontreal.ca wrote: Strange… with your code (with and without the declarations) I get:
$ gsc/gsc -:=. -warnings -target python -link -l lib/_gambit.py code.scm;cat code_.py code.py lib/_gambit.py > p.py;python p.py 5
Are you sure the gsc you are using is the latest you have built? Try gsc/gsc from the Gambit build directory.
Marc
On Aug 14, 2016, at 10:57 AM, Jon Woodring woodring.jon@gmail.com wrote:
I'm still getting errors on the python backend though, FWIW. It's not a huge deal, because I'm mostly targeting javascript, but I am a heavy python user, too, so it would be nice for future reference.