Traverse.hs
45.8 KB
-
properly distinguish nets and variables internally · ff0c7b02
- new net decl to replace net pseudo-type - support nets with complex base types, including typenames - support var declaration type prefix for all data types - support var as lone type shorthand - refactor AST representation of strengths - traversal helpers for treating nets as variables - use decl traversals where appropriate
Zachary Snow committed