ben
2021-9-5 16:29:04

:+1: thanks jest


ben
2021-9-5 16:31:30

I was cleaning up #948 earlier this summer, and I’m hoping to push an update this month.


ben
2021-9-5 16:35:51

TR internals question: anyone know how to fix an error like this? Type Checker: parse error in type; used a type variable not bound with ... as a bound on a ... variable: B in: (A B ... B -> C) (I’m working in type-checked code, using the types to make contracts.)


spdegabrielle
2021-9-5 17:20:07

Racketeers, we have a small surplus of stickers, so the <https://github.com/syntax-objects/Summer2021/blob/master/ANNOUNCEMENT.md|Syntax Parse Bee> has been extended on a ‘while stocks last’ basis. It doesn’t matter if you are an experienced composer of macros or if you have never written a macro - you can still make a contribution to the ‘Bee. #syntax-parse-example


notjack
2021-9-5 21:07:20

you have a youtube channel? :D


samth
2021-9-6 01:28:07

I assume that the problem isn’t the obvious one of binding B without …