Commit History

Author SHA1 Message Date
  Aleksandr Kuzmenko aecf036a4f Basic implementation of upper bound constraints (#10233) 4 years ago
  Simon Krajewski 77a11c7dac [typer] bind monos instead of constraining them 4 years ago
  Aleksandr Kuzmenko ed16c9acba Revert "propagate constraints when binding mono to mono (#10198)" 4 years ago
  Aleksandr Kuzmenko 46f7d872c9 propagate constraints when binding mono to mono (fixes #10198) 4 years ago
  Aleksandr Kuzmenko 8393b25ed2 Revert "check constraints of spawned monomorphs after typing a call (fixes #10198)" 4 years ago
  Aleksandr Kuzmenko cb7d3f5f9e check constraints of spawned monomorphs after typing a call (fixes #10198) 4 years ago