Code

Param types update#1422

Code

Closed

isdiemer wants to merge 19 commits intodevhazelgrove/hazel:devfrom param_types_updatehazelgrove/hazel:param_types_updateCopy head branch name to clipboard

+570-178

Commits

Commits on Aug 18, 2023

• Add: mold and forms of parameterized type

  xzxzlala

  committed
  2606648

  Copy full SHA for 2606648

Commits on Aug 21, 2023

• Fix: the type in let works

  xzxzlala

  committed
  fe27614

  Copy full SHA for fe27614

Commits on Aug 22, 2023

• Fix: typeHole ann bug

  xzxzlala

  committed
  e08f671

  Copy full SHA for e08f671

• Fix: castfailed bug

  xzxzlala

  committed
  13a0d20

  Copy full SHA for 13a0d20

Commits on Aug 26, 2023

• Merge branch 'dev' into parameterized_types

  xzxzlala

  committed
  9d41608

  Copy full SHA for 9d41608

Commits on Aug 27, 2023

• merge typFun and typAp

  xzxzlala

  committed
  609997d

  Copy full SHA for 609997d

• Add: parameterized-types, leave the case branch not working

  xzxzlala

  committed
  9ccf619

  Copy full SHA for 9ccf619

Commits on Aug 29, 2023

• Revise info and evaluator pattern match to fix the case branch inconsistent

  xzxzlala

  committed
  57f725e

  Copy full SHA for 57f725e

• Rmove debug print code

  xzxzlala

  committed
  58e5cd7

  Copy full SHA for 58e5cd7

• Fix: incorrect type of ctrs

  xzxzlala

  committed
  6442034

  Copy full SHA for 6442034

• Fix: typeann typehole cause case match failed

  xzxzlala

  committed
  3142ed3

  Copy full SHA for 3142ed3

• Fix: ctr_ap type error

  xzxzlala

  committed
  21e3365

  Copy full SHA for 21e3365

Commits on Aug 30, 2023

• Merge branch 'dev' into parameterized_types

  xzxzlala

  committed
  c60ce33

  Copy full SHA for c60ce33

Commits on Sep 10, 2023

• Fix: sort-inconsistent in mold/labels

  xzxzlala

  committed
  6ea7f14

  Copy full SHA for 6ea7f14

Commits on Sep 25, 2023

• Merge branch 'dev' into parameterized_types

  xzxzlala

  committed
  5aad869

  Copy full SHA for 5aad869

• format error

  xzxzlala

  committed
  d197606

  Copy full SHA for d197606

Commits on Mar 7, 2024

• Merge branch 'poly-adt-after2' into parameterized_types

  xzxzlala

  committed
  e711929

  Copy full SHA for e711929

• Fix and merge ploy-adt-after2

  xzxzlala

  committed
  233f55a

  Copy full SHA for 233f55a

Commits on Mar 18, 2024

• Merge branch 'dev' into parameterized_types

  xzxzlala

  committed
  80a547e

  Copy full SHA for 80a547e