search

antitypical / TesseractCore

Tesseract’s evaluation and type system.
MIT License
30 stars 1 forks source link

Graph wrapping constant has incorrect type #62

Closed robrix closed 9 years ago

robrix commented 9 years ago

Make a graph with two parameters, one return, and a symbolic node for constant with the parameters & returns connected to the respective inputs/output of the node.

The type ought to be a → b → a.

It’s actually a → a → a.

robrix commented 9 years ago

I think we aren’t instantiating node types during constraint generation.