Skip to content

Issues: dada-lang/dada

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt click/return to exclude labels
or click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

test harness doesn't run in parallel enhancement New feature or request good first issue Good for newcomers
#9 opened Jan 6, 2022 by nikomatsakis
Dada reference grammar
#17 opened Jan 8, 2022 by nikomatsakis
reference semantics
#32 opened Jan 11, 2022 by nikomatsakis
persistent link enhancement New feature or request good first issue Good for newcomers playground Dada playground tasks (often involve JS/HTML/CSS)
#44 opened Jan 12, 2022 by nikomatsakis
Document how the test suite works good first issue Good for newcomers
#70 opened Jan 16, 2022 by nikomatsakis
Test suite cross reference brainstorm Brainstorming how something might work
#71 opened Jan 16, 2022 by nikomatsakis
Add a repl enhancement New feature or request
#78 opened Jan 18, 2022 by brson
Publish the crate docs
#81 opened Jan 18, 2022 by nikomatsakis
alternate error formatting enhancement New feature or request
#82 opened Jan 18, 2022 by nikomatsakis
Value can not be on the left-hand side of = or friends enhancement New feature or request
#86 opened Jan 20, 2022 by xffxff
minifying the share url doesn't work in playground help wanted Extra attention is needed playground Dada playground tasks (often involve JS/HTML/CSS)
#88 opened Jan 22, 2022 by nikomatsakis
Question: thunk terminology question Further information is requested
#105 opened Feb 4, 2022 by nikomatsakis
highlight the text output by a breakpoint enhancement New feature or request playground Dada playground tasks (often involve JS/HTML/CSS)
#107 opened Feb 4, 2022 by nikomatsakis
let user click in the output to set a breakpoint enhancement New feature or request playground Dada playground tasks (often involve JS/HTML/CSS)
#108 opened Feb 4, 2022 by nikomatsakis
= desugars wrong bug Something isn't working
#113 opened Feb 8, 2022 by nikomatsakis
spans for cancelled permission errors etc are not great bug Something isn't working
#120 opened Feb 9, 2022 by nikomatsakis
allow clicking on labels in error messages to be taken to that point-in-time enhancement New feature or request playground Dada playground tasks (often involve JS/HTML/CSS)
#121 opened Feb 9, 2022 by nikomatsakis
Use total ordering for floats? question Further information is requested
#123 opened Feb 10, 2022 by brson
lint for shadowing live variables enhancement New feature or request
#124 opened Feb 11, 2022 by nikomatsakis
which web editor to use? help wanted Extra attention is needed playground Dada playground tasks (often involve JS/HTML/CSS) question Further information is requested
#131 opened Feb 12, 2022 by nikomatsakis
Question: naming conventions question Further information is requested
#133 opened Feb 13, 2022 by nikomatsakis
Question: parsing operators and newlines question Further information is requested
#134 opened Feb 18, 2022 by nikomatsakis
ProTip! Add no:assignee to see everything that’s not assigned.