Commit graph

16 commits

Author SHA1 Message Date
Richard Feldman
f3f5592a4c
Update snapshots 2025-11-25 10:05:41 -05:00
Richard Feldman
546a7c67f2
Fix some eval issues 2025-11-23 16:22:21 -05:00
Richard Feldman
9933217a16
Merge origin/main 2025-11-23 09:20:48 -05:00
Richard Feldman
31705b2648
Merge origin/main 2025-11-22 15:45:17 -05:00
Richard Feldman
a28786ce50
More let-generalization fixes 2025-11-20 09:07:46 -05:00
Jared Ramirez
2a2ff8d093
Cleanup 2025-11-09 09:59:56 -05:00
Richard Feldman
4a67fc5ed6
Add new type pretty-printing 2025-11-05 21:49:32 -05:00
Joshua Warner
5d0167b776
Remove line/col info from snapshots by default 2025-10-16 07:00:23 -07:00
Luke Boswell
6f06efebf3
update snapshots 2025-10-15 12:19:01 +11: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
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/can_basic_scoping.md (Browse further)