13 commits

Author	SHA1	Message	Date
Richard Feldman	33e8a68271	Revise how external nominals work	2025-10-25 11:17:49 -04:00
Richard Feldman	09432d8703	More fixes	2025-10-24 20:51:13 -04:00
Richard Feldman	5aafd27d26	Initial Str.roc implementation and wiring	2025-10-23 13:34:15 -04:00
Jared Ramirez	d2fbc1c07c	Infer static dispatch types in check	2025-10-21 08:48:30 -04:00
Joshua Warner	5d0167b776	Remove line/col info from snapshots by default	2025-10-16 07:00:23 -07:00
Richard Feldman	239d67a5a6	Simplify snapshots to use snippets	2025-10-06 16:23:18 -04:00
Richard Feldman	0a2ba8be25	Revise some things	2025-10-06 12:08:00 -04:00
Richard Feldman	30ea992a83	import type modules	2025-10-06 10:44:18 -04:00
Jared Ramirez	4d467ef0b4	Refactor expr num reqs + fix merge issues	2025-10-02 16:11:03 -04:00
Jared Ramirez	c58afd7d39	Fix tag ext and number layouts	2025-09-30 17:47:03 -04:00
Jared Ramirez	193ce7b11a	Test against snapshots, fix alias unification	2025-09-30 17:44:46 -04:00
Fabian Schmalzried	53f0eff1c0	run snapshot tool	2025-08-26 22:18:03 +02:00
Luke Boswell	4f509ce357	move snapshots into test/, the tool into a sub-dir	2025-08-12 17:10:31 +10:00

Renamed from src/snapshots/match_expr/pattern_alternatives_basic.md (Browse further)