WIP: Add assumptions based on cast_func.args[0]

This enables cast_func(1.f, create_type('double')).positive == True

added 21 commits

• 5e45e631...e1b452f7 - 20 commits from branch pycodegen:master
• a8535645 - Add assumptions based on cast_func.args[0]

Compare with previous version

marked as a Work In Progress

unmarked as a Work In Progress

Is this still active? If yes, could you resolve the conflicts?

added 10 commits

• a8535645...296de5db - 9 commits from branch pycodegen:master
• c1707ef3 - Add assumptions based on cast_func.args[0]

Compare with previous version

Conflicts resolved. Still feel a bit unconfortable with these changes. I let this big integration test run.

marked as a Work In Progress

The #20 (closed) introduces profound changes in the type system, so this WIP won't be mergeable.

closed