coalton-lang / coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Home Page:https://coalton-lang.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Generate types for match bindings in codegen

stylewarning opened this issue · comments

match bindings don't codegen a Common Lisp type. This causes some Lisp compiler optimizations to be missed.

Add Lisp type declarations to match bindings' codegen.

Place to look (as of 26 Mar 2024) is here. Look at similar functions for how they generate type declarations.