Get rid of speck type - Githubissues

oilshell / oil

Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

http://www.oilshell.org/

Other

2.8k stars 151 forks source link

Open andychu opened 1 year ago

andychu commented 1 year ago

in syntax.asdl

Just use Tokens

It saves space but causes more allocations, probably not worth it

andychu commented 1 year ago

not sure how much of an issue it is in practice, it might not happen much in configure-coreutils

andychu commented 1 year ago