[Toss-devel] GDL translation progress report (doing pawn_whopping.gdl)

[Lukasz S. <luk...@gm...>]

Hi,

I've decided to add one last game (for now) to the test suite, and of
course it turned out that I've overlooked some issues. It's additional
game transformations: (1) eliminating (i.e. inlining) relations that
contain "does" atoms; (2) eliminating pattern matching (similarly to
how ground arguments are already being eliminated). Fortunately,
they're conceptually simple (although the latter one a bit of
implementation work).

I'd also like to do some GameSimpl work since the effects would be
very visible (improving readability and efficiency of most of the
translations).

Best.