Email or username:

Password:

Forgot your password?
Top-level
WimⓂ️

@neauoire I sympathise because i had to do most of what you did for my Uxntal-to-C compiler. The generated C code must be correctly typed so I had to infer the types of the Uxntal functions. The main difference is that I did some normalising transformations first to have far fewer function types.

@dekkzz76

1 comment
Devine Lu Linvega

@wim_v12e @dekkzz76 the types that tripped me the most were routines that passed items through the return stack, and the ones that don't return.

I had this one super weird routine in drifblim that could BRK in a special case, which I had to refactor because it was just too hard to validate: git.sr.ht/~rabbits/drifblim/co

For anything that does a jump to a dynamic value(LDA2 JSR2), I had to flag as unsafe.

Go Up