search

manifold-lang / manifold-frontend

Frontend compiler for Manifold high-level language
GNU General Public License v3.0
6 stars 6 forks source link

undefined behaviour while elaborating `not` primitive #23

Closed mtrberzi closed 10 years ago

mtrberzi commented 10 years ago

The following description fails to compile (digital circuit backend):

a = inputPin();
b = not(a);
outputPin(b);

This results in undefined behaviour. Somehow the not primitive is being constructed without its single "in" port, which results in a size mismatch as the source (a), which has 1 output, is being connected to the primitive not, which incorrectly has 0 inputs.