nikomatsakis
Follow
nikomatsakis
Follow
Achievements
Achievements
Highlights
- Pro
Popular repositories
2,692 contributions in the last year
Less
More
Contribution activity
January 2022
Created 232 commits in 10 repositories
Created 4 repositories
Created a pull request in dada-lang/dada that received 5 comments
create a very rudimentary playground
Thanks to @brson, we now build on wasm, this PR creates a rudimentary playground, and an xtask deploy that allows us to build and deploy it.
+25,392
−407
•
5
comments
Opened 20 other pull requests in 3 repositories
dada-lang/dada
17
merged
1
closed
- Improve highlighting, show before/after
- display diagnostics in the editor
- integrate permissions into heap graphs
- strip trailing comments from spans
- Better position tracking
- cleanup wasm integration
- add a primitive share button
- visualize the heap graph in the playground
- start a dev guide, tweak readme to be shorter
- Download deploy
- Thunk cleanup
- quote Duchamp for the initial playground program
- fix initial source code
- Effects, fix diagnostics
- support fn arguments
- test that we check class labels
- Create CODE_OF_CONDUCT.md
- Implement classes
salsa-rs/salsa
1
open
rust-lang/team
1
merged
Reviewed 35 pull requests in 6 repositories
rust-lang/rust
16 pull requests
- Move overlap_mode into trait level attribute
- Correctly check auto traits on generator interiors
- Fix drop tracking ICEs and re-enable generator drop tracking
- implement a lint for suspicious auto trait impls
- Implement stable overlap check considering negative traits
- Ensure that early-bound function lifetimes are always 'local'
- Introduce drop range tracking to generator interior analysis
- Annotate dead code lint with notes about ignored derived impls
- Prefer projection candidates instead of param_env candidates for Sized predicates
- Warn for outlives lint when gats are enabled for non-gats
- Ignore static lifetimes for GATs outlives lint
- Welcome opaque types into the fold
- Actually instantiate the opaque type when checking bounds
- Suggest copying trait associated type bounds on lifetime error
- Include Projections when elaborating TypeOutlives
-
simplify_type: don't simplify projections
dada-lang/dada
15 pull requests
- permits specifying the start and end column of a diagnostic
- strip trailing comments from spans
-
parse
+=and friends - Add support for some escapes
- Print the token tree in its DebugWithDb
- strip whitespace when it uses tabs
- Interpret binops
- remove leading, trailing whitespace and common indentation from strings
- A number of refinements to dada-web
- A few parser additions
-
Add
DebugWithDbimpls for some of the syntax nodes - Error when label does not match
- Make parking_lot compile for wasm
- Add GitHub actions workflows and bors.toml
- Deal with absolute paths in test output comparisons etc.
rust-lang/team
1 pull request
rust-lang/wg-async
1 pull request
rust-lang/lang-team
1 pull request
rust-lang/rfcs
1 pull request
Created an issue in dada-lang/dada that received 13 comments
Question: fn = syntax
I do eventually expect to add types to Dada, but I also really want a language that is completely usable without types. I have begun to notice a ce…
13
comments
Opened 41 other issues in 8 repositories
dada-lang/dada
12
open
19
closed
- minifying the share url doesn't work in playground
- test harness doesn't permit specifying the end column of a diagnostic
- alternate error formatting
- Publish the crate docs
-
==and friends don't seem to work for me - Test suite cross reference
- Document how the test suite works
-
Tests for
+=and friends - strip whitespace when it uses tabs, too
- spans need to remove whitespace
- remove common indentation from strings and so forth
- xtask depoy takes a long time
- persistent link
- must edit for dada playground code to run
- inline errors in dada playground
- better formatting for the dada playground
- test directory organization
- reference semantics
- format strings
- detect async, propagate flag, etc
- Dada reference grammar
- Debug dumps for syntax tree
- Function calls, arguments, async flag, etc
- once you name a parameter, require names for all subsequent parameters
- diagnostics from interpreter don't format how I expect
- Some issues not shown.