Code

Parameterized Types#1457

Code

Draft

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

+713-588

Commits

Commits on Dec 5, 2024

• remove req-value

  Negabinary

  committed
  4bf139a

  Copy full SHA for 4bf139a

Commits on Dec 13, 2024

• Fix failing test

  Negabinary

  committed
  01a1d54

  Copy full SHA for 01a1d54

• remove req-value

  Negabinary

  committed
  8b65107

  Copy full SHA for 8b65107

• Fix failing test

  Negabinary

  committed
  97908fc

  Copy full SHA for 97908fc

• Merge branch 'kill-req-value-dev' of https://github.com/hazelgrove/hazel into kill-req-value-dev

  Negabinary

  committed
  f3d72a7

  Copy full SHA for f3d72a7

• Trampoline Evaluator

  Negabinary

  committed
  ddf68bf

  Copy full SHA for ddf68bf

Commits on Jan 8, 2025

• prevent unnecessary list traversals

  Negabinary

  committed
  168f5d4

  Copy full SHA for 168f5d4

Commits on Jan 9, 2025

• cleanup: delete uterm, remove statics<-transition dependency

  Negabinary

  committed
  e2b349f

  Copy full SHA for e2b349f

• 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

• Add test case for deferred application in segmentization

  7h3kk1d

  committed
  72268ef

  Copy full SHA for 72268ef

• Update Deferral in ExpToSegment to use underscore

  7h3kk1d

  committed
  f4bad31

  Copy full SHA for f4bad31

• Fix #1445

  Negabinary

  committed
  0e8493b

  Copy full SHA for 0e8493b

• Refactored status_tpat and added new form to ok_tpat.

  isdiemer

  committed
  1609d6e

  Copy full SHA for 1609d6e

• Fix #1445

  Negabinary

  committed
  03ff4a2

  Copy full SHA for 03ff4a2

• Fix precedence of list concatenation

  Negabinary

  committed
  5a80d2e

  Copy full SHA for 5a80d2e

• Parenthesize types in TyAlias

  Negabinary

  committed
  87818d0

  Copy full SHA for 87818d0

• Add support for filters in ExpToSegment

  Show description for 31d688d
  7h3kk1d

  committed
  31d688d

  Copy full SHA for 31d688d

• Merge remote-tracking branch 'origin/exptosegment-right-assoc' into exp_to_segment_fixes

  7h3kk1d

  committed
  14170e7

  Copy full SHA for 14170e7

• Merge remote-tracking branch 'origin/exptosegment-right-assoc' into exp_to_segment_fixes

  7h3kk1d

  committed
  2593090

  Copy full SHA for 2593090

• Added tests

  7h3kk1d

  committed
  8a60033

  Copy full SHA for 8a60033

• Update settings in tests

  7h3kk1d

  committed
  9d4e25e

  Copy full SHA for 9d4e25e

• Make and/or right associative

  7h3kk1d

  committed
  0c00552

  Copy full SHA for 0c00552

• show_filters instead of preserve_filters

  7h3kk1d

  committed
  7bebf38

  Copy full SHA for 7bebf38

• Remove print statements

  7h3kk1d

  committed
  c9a6ce5

  Copy full SHA for c9a6ce5

• Remove residue filter from exp_to_pretty

  7h3kk1d

  committed
  94c9d66

  Copy full SHA for 94c9d66

• Revert test count change

  7h3kk1d

  committed
  c821c7f

  Copy full SHA for c821c7f

Commits on Jan 15, 2025

• Merge branch 'dev' into param_types_update

  isdiemer

  committed
  f210d86

  Copy full SHA for f210d86

• Exp to segment fixes (#1462)

  cyrus-

  authored
  3c769e4

  Copy full SHA for 3c769e4

• Merge branch 'dev' into uterm-cleanup

  cyrus-

  authored
  2fb6d9d

  Copy full SHA for 2fb6d9d

• cleanup: delete uterm, remove statics<-transition dependency (#1456)

  cyrus-

  authored
  4cd6ffa

  Copy full SHA for 4cd6ffa

• List sum performance (#1455)

  cyrus-

  authored
  23ab7b1

  Copy full SHA for 23ab7b1

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