]> hydra-www.ietfng.org Git - dyna2/commit
projects / dyna2 / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 311de4a) | patch
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
tree661c4e755539942216eaa4971087d2fc0da5f2ectree | snapshot
parent311de4a5b472dff6516358a78da752d97aa7c81dcommit | diff
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 diff | blob | history
examples/expected/fib-limit.py.out [new file with mode: 0644] blob
examples/fib-limit.dyna [new file with mode: 0644] blob
src/Dyna/Analysis/ANF.hs diff | blob | history
src/Dyna/Backend/Python/Selftest.hs diff | blob | history