In this project, I worked on expanding the capability of HOAS patterns of quote pattern matching feature under the mentorship by Nicolas Stucki. In addition to several bugfix PRs, I made a PR that allows HOAS patterns to hold type arguments. This feature will enable quote patterns to analyze the structure of polymorphic functions/methods, which is not feasible in the current quote pattern matching.
Scala 3 macros support quote patterns that allow programmers to compare a quoted code fragment to another or to analyze its structure. When one analyzes the structure of a code fragment, one must be aware of binding structures: which variables occur freely in the code fragment and which don't. Higher-order abstract syntax (HOAS) patterns manages such informa