3 Commits

Author	SHA1	Message	Date
Chris Smowton	20b97af02f	Implement dataflow for record patterns ... Strategy: there is now a regular flow step from an instance-of LHS / switch expr to the pattern, 0 or more read steps corresponding to record pattern destructors, and then finally a normal SSA def/use step connecting the binding patterns to their first uses.	2023-11-30 11:24:00 +00:00
Chris Smowton	8406ee7ed5	Add test for a pattern-switch guard acting as a data-flow guard	2023-11-30 11:23:59 +00:00
Chris Smowton	0f434e7f08	Add test for dataflow vs. pattern-switch	2023-11-30 11:23:58 +00:00