check type of #[main] #42

Merged
rhi merged 4 commits from maincheck into 🐉 2024-04-14 15:15:35 -04:00

4 Commits

Author SHA1 Message Date
rhiannon morris 8823154973 add golden test stuff 2024-04-14 20:49:10 +02:00
rhiannon morris b7dc5ffdc4 add check for #[main] type 2024-04-14 16:20:40 +02:00
rhiannon morris dd697ba56e add CheckBuiltin 2024-04-14 16:20:25 +02:00
rhiannon morris 32b9fe124f minor tweaks in Q.Typing.Context 2024-04-14 15:48:10 +02:00