search

gavr123456789 / Niva

Smalltalk like programming language
https://gavr123456789.github.io/niva-site
41 stars 2 forks source link

Kw message after unary should have correct receiver - this unary #307

Closed gavr123456789 closed 2 weeks ago

gavr123456789 commented 2 weeks ago 
type Functions
  add: [Int, Int -> Int]

Functions add: [x, y -> x + y] |> add Int: 1 Int: 2 // here `Int: 1 Int: 2` has `Functions` receiver, not `add`, so it failing to typecheck
gavr123456789 commented 2 weeks ago

image