Sam Rushing
Sam Rushing
note: this is just a limited form of lambda lifting.
I think this is a dup of #24.
This might be moot with precise gc and untagged immediates.
Found a nice repro: ```scheme (define get-dtcon-tag 'nil label -> (alist/get the-context.variant-labels label "unknown variant label") dt variant -> (let ((dtob (alist/get the-context.datatypes dt "no such datatype"))) (dtob.get variant))) ```...
I've been playing around with modernizing the front end, and I have a good idea here: we can annotate code with s-expressions. This would allow not only file/line/column but types...
the above annotation code is being experimented with (in combination with parser combinators) in the 'gaz' language, lessons from there may be moved here.
might be an argument for typing before inlining.
Not quite finished yet... there's still box()/unbox() in irken.h and all over the llvm backend.
This is caused by cycles in the dependency graph. At the very least it should generate a warning.
This seems really familiar. I think an upgrade to Cython 0.21 or 0.22 will do the trick.