]> hydra-www.ietfng.org Git - dyna2/commit
fix error :: String
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Fri, 7 Jun 2013 16:28:20 +0000 (12:28 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Fri, 7 Jun 2013 16:28:20 +0000 (12:28 -0400)
commit7724643928a8f5475c7a68cf2fe06a98f56ec47c
tree661c4e755539942216eaa4971087d2fc0da5f2ec
parent311de4a5b472dff6516358a78da752d97aa7c81d
fix error :: String

Rework conjunction handling in normalizer -- it was erroneously discarding
the left hand side, rather than unifying with true.

While here, add both a test-case (examples/fib-limit.dyna) and some
documentation for users.

Closes github issue nwf/dyna#14.
docs/sphinx/tutorial/errors.rst
examples/expected/fib-limit.py.out [new file with mode: 0644]
examples/fib-limit.dyna [new file with mode: 0644]
src/Dyna/Analysis/ANF.hs
src/Dyna/Backend/Python/Selftest.hs