Labels Milestones

New Issue

8 Open 3 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

bug

duplicate

enhancement

help wanted

invalid

question

wontfix

Milestone

All milestones No milestones

Open milestones

1.0

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

suzanne.soy

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

8 Open 3 Closed

Close

Label

Clear labels

bug

duplicate

enhancement

help wanted

invalid

question

wontfix

Milestone

No milestone

Open milestones

1.0

Projects

Clear projects

Assignee

Clear assignees

No assignee

suzanne.soy

:type with ∀ ... seems to fail

bug

#10 opened 2017-05-05 00:22:23 +01:00 by SuzanneSoy

Check if we can bind type expanders using (let-syntax ([exp (make-type-expander …)]) …) or similar, implement this otherwise

#9 opened 2016-10-23 18:41:14 +01:00 by SuzanneSoy

Add a #lang type-expander, and make it handle the #{v : type} syntax-property 'type-label

bug

enhancement

#8 opened 2016-09-28 15:59:25 +01:00 by SuzanneSoy 1.0

type-expander + multi-id + recursive type goes into an infinite loop

#7 opened 2016-08-22 12:55:21 +01:00 by SuzanneSoy

Add support for unquote-splicing and unsyntax-splicing in expand-quasiquote

enhancement

#6 opened 2016-08-05 22:37:29 +01:00 by SuzanneSoy 1.0

Support for type-expanders in typed sections of untyped programs

bug

#5 opened 2016-08-05 12:29:07 +01:00 by SuzanneSoy

Add support for #lang type-expander/lang

enhancement

#4 opened 2016-08-05 12:05:53 +01:00 by SuzanneSoy 1.0

Implement missing typed/racket forms

#2 opened 2016-08-05 11:05:30 +01:00 by SuzanneSoy 1.0