search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Global < > tuples get an extra member during affine-to-linear #87

Closed davidweichiang closed 1 year ago

davidweichiang commented 1 year ago

I guess there is no harm done, but they don't need the extra member.

davidweichiang commented 1 year ago

I have no idea why one would want an extern <> tuple, but they also get the extra member, which could be more problematic.

davidweichiang commented 1 year ago

Also extern f : (Bool -> Bool, Bool -> Bool) would get turned into extern f : (<Bool -> Bool, ()>, <Bool -> Bool, ()>).