Issue
Aperta
Better error message for misuse of row polymorphic types and add documentation for `(All (r #:row) body)`
classgood first issue
Nessun assegnatarioNessun commentoHa una label adatta ai principianti
0 commenti0 reazioni0 assegnatari
Aperta
Unsound complex `exp` optimization
good first issueoptimizerunsound
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principianti
3 commenti0 reazioni0 assegnatari
Aperta
`require/typed/provide` and `unsafe-require/typed/provide` do not support all forms `require/typed` does like doc suggests
good first issue
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principianti
0 commenti0 reazioni0 assegnatari
Aperta
Clean up the "utils" directory
good first issue
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principianti
1 commento0 reazioni0 assegnatari
Aperta
refinement type runs into an endless loop
good first issueinferencerefinement
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principianti
1 commento0 reazioni0 assegnatari
Aperta
tooltips missing sometimes
enhancementgood first issue
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principianti
0 commenti0 reazioni0 assegnatari
Aperta
The no-check TR language's bindings are not identical to TR in the transformer environment
good first issue
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principianti
2 commenti0 reazioni0 assegnatari
Aperta
case-lambda allows multiple cases with the same arity
arrowgood first issue
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principianti
5 commenti0 reazioni0 assegnatari
Aperta
internal error type-checking a dot type program
good first issue
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principianti
0 commenti0 reazioni0 assegnatari
Aperta
TR should provide a Dictionary type
good first issue
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principianti
0 commenti0 reazioni0 assegnatari