- changed status to resolved
Some type checking in expansions.py does not do anything
Issue #2
resolved
I just stumbled across this in expansions.py, lines 132-137:
pt_types = [ type(p) for p in pts[0] ]
ntype = type(0.0)
for pt in pt_types:
if type(pt) != type(0.0):
ntype = type(pt)
This will always return type<'type'>. I have made a correction at https://bitbucket.org/chris_richardson/fiat/branch/chris/fix-typecheck
But maybe this code should be removed altogether?
Comments (1)
-
- Log in to comment
This code seems to be already removed by someone else.