OSDN Git Service

(root) / joypy / Thun.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bbc0fae) | patch
Trying to add a guard to combinators.
authorSimon Forman <sforman@hushmail.com>
Wed, 27 Jun 2018 04:45:58 +0000 (21:45 -0700)
committerSimon Forman <sforman@hushmail.com>
Wed, 27 Jun 2018 04:45:58 +0000 (21:45 -0700)
commitdb28989b6457878a641fa3b7812248d6f37e33ab
tree7edfc7fd58adf81b89c3c450fecea59d512dbca7tree | snapshot
parentbbc0fae2e91277889e11bca88e48108a5a887b7bcommit | diff
Trying to add a guard to combinators.

So they can notice if they're given a stack that doesn't match what
they're expecting.

This seems to work, but I realized that type variables in the pending
expression need to be update()'d too.  hmm...
joy/utils/polytypes.py diff | blob | history
test/test_type_inference.py diff | blob | history
Interpreter and library.
About OSDN
Find Software
Develop Software
Help