Better types #15

Merged
alex-eg merged 27 commits from better-types into main 2025-10-30 16:05:44 +01:00
Showing only changes of commit 9cf0644622 - Show all commits

View File

@@ -126,6 +126,8 @@
`(%array ,(walk-type (maybe-unwrap-type array-type))))) `(%array ,(walk-type (maybe-unwrap-type array-type)))))
(('fn arglist ret-type) (('fn arglist ret-type)
`(%fun ,(walk-type ret-type) ,(walk-arglist arglist))) `(%fun ,(walk-type ret-type) ,(walk-arglist arglist)))
(('fn . _)
(assert #f "Malformed function type form"))
;; Special case: nested structs/unions ;; Special case: nested structs/unions
((or ('struct . _) ((or ('struct . _)