Code

implement type checking for sgir#3

Code

Merged

aatxe merged 8 commits intoprimaryaatxe/sanguinello:primaryfrom pick-upaatxe/sanguinello:pick-upCopy head branch name to clipboardMar 6, 2024

+435-24

Commits

Commits on Mar 6, 2024

• implemented basic type-checking for system f-omega

  aatxe

  committed
  b9b21a5

  Copy full SHA for b9b21a5

• added some basic tests for typechecking

  aatxe

  committed
  4a439e8

  Copy full SHA for 4a439e8

• add quantification, instantiation, and arity checking

  aatxe

  committed
  6ceb0d3

  Copy full SHA for 6ceb0d3

• forgot the forall, oops

  aatxe

  committed
  2559f5d

  Copy full SHA for 2559f5d

• added a test for instantiation working properly

  aatxe

  committed
  3133a3a

  Copy full SHA for 3133a3a

• added two tests for applying an instantiated polymorphic identity

  Show description for faa7710
  aatxe

  committed
  faa7710

  Copy full SHA for faa7710

• reformat two tests

  aatxe

  committed
  c23b210

  Copy full SHA for c23b210

• added a bit more code to the main example to suppress dead code warnings

  aatxe

  committed
  821b34c

  Copy full SHA for 821b34c