issues
search
paulstansifer
/
unseemly
Macros have types!
http://unseemly.github.io/
MIT License
131
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump regex from 1.4.6 to 1.5.5
#57
dependabot[bot]
closed
2 years ago
0
Bump nix from 0.20.0 to 0.20.2
#56
dependabot[bot]
closed
2 years ago
0
Update Cargo.toml
#55
Dylan-DPC
closed
2 years ago
1
Core syntax reform
#54
paulstansifer
opened
2 years ago
5
Lone foralls should be allowed on both sides of subtyping. (allow `⋯ <: ∀ Y. ⋯`)
#53
paulstansifer
opened
2 years ago
3
Handle co/contra/in-variance correctly.
#52
paulstansifer
opened
3 years ago
1
Generate tooling for sub-languages
#51
paulstansifer
opened
3 years ago
0
Parsing: Replace `Biased` with a priority system.
#50
paulstansifer
opened
3 years ago
1
Freshen less
#49
paulstansifer
opened
3 years ago
0
Allow subtyping at the syntax level
#48
paulstansifer
opened
3 years ago
1
Reduce or remove reliance on phaselessness
#47
paulstansifer
opened
3 years ago
2
Get rid of `literally` in `ast_walk::walk`
#46
paulstansifer
opened
3 years ago
0
MBE reform
#45
paulstansifer
opened
3 years ago
1
Typing needs to be aware of the length of repetitions
#44
paulstansifer
opened
3 years ago
0
Add more core forms
#43
paulstansifer
opened
3 years ago
0
Add links to languages
#42
stereobooster
closed
3 years ago
1
Factor out a language library
#41
paulstansifer
opened
3 years ago
0
Revise the implementation of splicing
#40
paulstansifer
opened
3 years ago
4
Allow prelude languages, based on file extension
#39
paulstansifer
opened
3 years ago
0
Place `dotdotdot` (the quasiquotation construct) once per `Star` node, not once per nonterminal
#38
paulstansifer
opened
4 years ago
13
Allow interpolation of identifiers
#37
paulstansifer
opened
4 years ago
3
Language Server
#36
colelawrence
opened
4 years ago
1
Info: Implementing compilation targets
#35
colelawrence
closed
4 years ago
1
Improve documentation by including concrete examples next to syntax definitions
#34
colelawrence
opened
4 years ago
0
Add `Item` nonterminal
#33
paulstansifer
opened
4 years ago
0
Introduce `Environment`
#32
paulstansifer
opened
4 years ago
0
Verify that names are bound at the right type
#31
paulstansifer
opened
4 years ago
0
Remove `Ty`
#30
paulstansifer
closed
3 years ago
0
Two different types often get named `parts`; rename one of them.
#29
paulstansifer
opened
4 years ago
1
Merge `ty_compare::Canonicalize` and `ty::SynthType`
#28
paulstansifer
opened
4 years ago
0
Pass `Assoc` by reference to functions
#27
paulstansifer
opened
4 years ago
0
Remove the `quasiquote:` field from `Form`.
#26
paulstansifer
opened
4 years ago
1
Hygiene problem in macro invocations
#25
paulstansifer
closed
4 years ago
0
Build a "reification shortcut" for `FormPat`
#24
paulstansifer
opened
4 years ago
0
Fully-general syntax extension form
#23
paulstansifer
closed
4 years ago
1
Create syntax for betas
#22
paulstansifer
closed
5 years ago
0
Support multi-file programs
#21
paulstansifer
closed
3 years ago
2
Convert `ast!` to `u!` in tests.
#20
paulstansifer
opened
5 years ago
0
Make it easy to generate well-formed Unseemly ASTs.
#19
paulstansifer
closed
5 years ago
0
Remove `ddd` from `mbe.rs`
#18
paulstansifer
closed
3 years ago
1
Format code using 'cargo fmt'
#17
Atul9
closed
5 years ago
1
Implement tuples
#16
paulstansifer
closed
4 years ago
0
Various MBE operations panic instead of `Err()`ing
#15
paulstansifer
opened
5 years ago
0
Parse zero repetitions of something correctly
#14
paulstansifer
opened
5 years ago
1
Fix `pre_match`, somehow
#13
paulstansifer
opened
5 years ago
3
Add a compiliation phase, as an alternative to evaluation
#12
paulstansifer
opened
5 years ago
1
Remove first-person singular language from comments
#11
paulstansifer
opened
5 years ago
1
Make higher-order functions as consistent as possible.
#10
paulstansifer
opened
5 years ago
0
Check type annotations in quasiquotation, if provided.
#9
paulstansifer
opened
5 years ago
0
Make `form_pat!` and `ast!` consistent
#8
paulstansifer
opened
5 years ago
0
Next