David Jeske
When I try this, I get "more than one datatype in pattern match (two one)"... which isn't the most descriptive error, but I don't see the problem above... ```scheme (datatype...
Irken does allow this function to be written, but when I call it, it's a type error: ```scheme (define (bar a) (match a with (:thing x (one:a)) -> (match a...
[patch to fix this](https://github.com/samrushing/irken-compiler/pull/51)
This mechanism in the code seems to work. By using `%%cexp` and casting both sides of it it to the desired cast-type, it forces the inference to unify both sides...
I would not bother with this. I think this is premature optimization, and is adding complexity to a tag system that _will_ be moot with untagged immediates and precise gc.
I thought a closed record in the typing phase was a record without rdefault as the final field. Is this not correct? Eventually, I think (pre) should be applied to...
Sam says this is fixed with a patch he applied and hasn't hit the mainline yet. ``` @@ -533,14 +536,16 @@ '%rmake -> (:scheme '() (arrow (rproduct (rdefault (rabs))) '()))...
...another argument for typing before optimizations is that it will produce typing errors faster.
Agreed.. though honestly, I'd be happy if I could just rename them in RuneBook...
I am having trouble where "copy rich text link" only works about 30% of the time on my chromebook... This seems to have started sometime in the past 3-6 months,...