Top-level definitions are not generalized

[strager]

def my_id(a -> a):
  ->x
  x

def my_id_alias: my_id

10 my_id sayInt
"x" my_id say

10 my_id_alias sayInt
"x" my_id_alias say

// :10:1: note: Int is from here
// :11:1: note: [Char] is from here
// :11:1: note: Char is from here
// (unknown): type error: cannot solve scalar type constraint [Char] = Int

[evincarofautumn]

They are generalised, but they’re not polymorphic enough. This is related to #58—if you want to apply a function multiple times on different stack types, you currently need to provide a signature so the compiler knows which part of the stack is the “rest”.