Some type checking in expansions.py does not do anything

[Chris Richardson]

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?

[Jan Blechta]

This code seems to be already removed by someone else.