Code

Support polymorphic recursion#1041

Code

Merged

johnynek merged 3 commits intomasterjohnynek/bosatsu:masterfrom oscar/20230910_polymorphic_recursionjohnynek/bosatsu:oscar/20230910_polymorphic_recursionCopy head branch name to clipboardSep 16, 2023

+89-25

Commits

Commits on Sep 10, 2023

• Support polymorphic recursion

  johnynek

  committed
  d1ddbb8

Commits on Sep 16, 2023

• add a test for local polymorphic recursion

  johnynek

  committed
  c259e21

• simplify code a bit

  johnynek

  committed
  d43c6b7