Code

Haz3l binding uses#965

Code

Draft

agrsh wants to merge 8 commits intodevhazelgrove/hazel:devfrom haz3l-binding-useshazelgrove/hazel:haz3l-binding-usesCopy head branch name to clipboard

+216-23

Commits

Commits on Dec 5, 2022

• begin outline of necessary changes

  agrsh

  committed
  d4b7ac9

Commits on Jan 13, 2023

• add binding expression ids to info_pat

  agrsh

  committed
  7f1f4ec

Commits on Jan 17, 2023

• correctly find uses of binding in let and fun expressions

  agrsh

  committed
  01cc0bc

Commits on Jan 19, 2023

• add support for recursive let and match expressions

  agrsh

  committed
  52b4ef6

Commits on Jan 22, 2023

• move new code into Statics

  agrsh

  committed
  ba6596f

Commits on Feb 5, 2023

• fix bug with match co-ctx

  agrsh

  committed
  709d076

• only use definition ids if let is recursive

  agrsh

  committed
  b1adad1

Commits on Feb 6, 2023

• add highlighting for uses

  agrsh

  committed
  f480427