Tag the AST after each pass to enforce a specific order

olleharstedt April 17, 2021, 8:54pm 1

Having more than one pass for one abstract syntax-tree type makes it important to enforce a certain order. Which way would be best for this? Phantom types? Type alias?

Topic		Replies	Views
Keeping track of where type variables are bound in the typed AST Community	4	905	October 3, 2018
AST tracking of type variables in polymorphic let-bindings (an old question) Ecosystem type-system	2	789	June 15, 2021
OCaml compiler development newsletter, issue 2: May 2021 Community compiler , news , compiler-newsletter	8	2611	June 23, 2021
Type signature: enforce subtyping Learning	0	442	November 22, 2019
Monadic type checker and top level declarations Learning semantic , monads , monad , ocaml , type-checker	2	445	July 17, 2023

Tag the AST after each pass to enforce a specific order

Related Topics