Fix JuvixTree type unification

anoma / juvix

A language for intent-centric and declarative decentralised applications

https://docs.juvix.org

GNU General Public License v3.0

449 stars 54 forks source link

Closed lukaszcz closed 1 month ago

lukaszcz commented 1 month ago

Closes #2954
The problem was that the type validation algorithm was too strict for higher-order functions with a dynamic (unknown) target.