mbenke / hm-typecheck

Experimental typechecker for a Solidity intermediate language
3 stars 1 forks source link

Specialisation ignores mutual blocks #4

Open mbenke opened 3 months ago

mbenke commented 3 months ago
examples/mutual/forward.fun
mutual
{
  foo : Int;
  foo = k 1 3;
  k x y = x
};
main = foo

------------
Specialised:
------------
main = (foo: Int)

------------
Core:
------------
function main () -> int {
  return foo
}