Code

Parameterized Types#1457

Code

Draft

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

+160-71

Commits

Commits on Jan 9, 2025

• Initial Commit for implementing parameterized types. TyAlias was also changed to TyDef to better reflect its purpose and usage. This is a duplicate PR as my original PR was based off of the wrong b…

  Show description for ab2c347
  isdiemer

  committed
  ab2c347

  Copy full SHA for ab2c347

Commits on Jan 10, 2025

• Changed TyAlias to TyDef across all files

  isdiemer

  committed
  5266b68

  Copy full SHA for 5266b68

• Worked in changes from old PR, specifically updated uexp_to_info_map

  isdiemer

  committed
  5428127

  Copy full SHA for 5428127

Commits on Jan 14, 2025

• Merge branch 'dev' into param_types_update

  isdiemer

  committed
  ba99d52

  Copy full SHA for ba99d52

• Refactored status_tpat and added new form to ok_tpat.

  isdiemer

  committed
  1609d6e

  Copy full SHA for 1609d6e

Commits on Jan 15, 2025

• Merge branch 'dev' into param_types_update

  isdiemer

  committed
  f210d86

  Copy full SHA for f210d86

Commits on Jan 16, 2025

• Merge branch 'param_types_update' into dev

  isdiemer

  committed
  da712a6

  Copy full SHA for da712a6

Commits on Jan 21, 2025

• Merged dev into branch, updated TyAlias to TyDef across new files, worked in beginning changes to uexp_to_info_map

  isdiemer

  committed
  d39ed70

  Copy full SHA for d39ed70

Commits on Jan 27, 2025

• Initial Commit for implementing parameterized types. TyAlias was also changed to TyDef to better reflect its purpose and usage. This is a duplicate PR as my original PR was based off of the wrong b…

  Show description for 621bee1
  isdiemer

  committed
  621bee1

  Copy full SHA for 621bee1

• Changed TyAlias to TyDef across all files

  isdiemer

  committed
  cdcc500

  Copy full SHA for cdcc500

• Worked in changes from old PR, specifically updated uexp_to_info_map

  isdiemer

  committed
  d5e15d5

  Copy full SHA for d5e15d5

• Refactored status_tpat and added new form to ok_tpat.

  isdiemer

  committed
  28257bc

  Copy full SHA for 28257bc

• Add framework of old functions sketch out what comes next

  isdiemer

  committed
  71ab605

  Copy full SHA for 71ab605

• Merge branch 'dev' into param_types_update

  isdiemer

  committed
  5dd673c

  Copy full SHA for 5dd673c