Nadia Polikarpova  committed 475fa5d Draft

Added a not that "type inference" has been fixed.

  • Participants
  • Parent commits 29e409d

Comments (0)

Files changed (1)

 * **User-defined types**.
 Execution is limited to integer and boolean variables.
-* **Type inference**.
+* **Type inference** (fixed in [[|9b1f542c10ac1c803bb6e06519e178b5994ea27a]]).
 The Boogaloo type checker cannot infer types.
 In practice it means that every function application,
 where the the function return type is generic and does not occur among the arguments,