-
Notifications
You must be signed in to change notification settings - Fork 109
Issues: google-research/dex-lang
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Associative Map i.e. dictionary
examples
Example requests and improvements
#332
opened Dec 10, 2020 by
oxinabox
Portable regex-based syntax highlighting
good first issue
Good for newcomers
tooling / editors
Editor integration (syntax highlighting, tooltips, etc)
#176
opened Jul 27, 2020 by
dougalm
The ! operator cannot handle dependent types, unlike .
language / type system
Type system extensions and bugs
#239
opened Sep 20, 2020 by
duvenaud
No support for polymorphism over record fields
language / type system
Type system extensions and bugs
#258
opened Oct 6, 2020 by
duvenaud
Support unicode strings
backend
General issues in lowering to imperative IRs
language / compiler
Compiler maintenance and lowering pipeline
#302
opened Dec 5, 2020 by
oxinabox
Support nested refutable patterns
language / concrete syntax
String -> AST
#307
opened Dec 6, 2020 by
oxinabox
Feature Question: Record Subtyping
language / type system
Type system extensions and bugs
#308
opened Dec 6, 2020 by
srush
Strings containing # break the web notebook
bug
Something isn't working
tooling / notebooks
Web notebooks and rendered HTML
#310
opened Dec 6, 2020 by
oxinabox
Typeclass instance methods cannot reference other methods in the same instance
language / concrete syntax
String -> AST
shovel-ready
design is done, just need to build it
#323
opened Dec 9, 2020 by
dan-zheng
Recursive algebraic data types
backend
General issues in lowering to imperative IRs
language / compiler
Compiler maintenance and lowering pipeline
#331
opened Dec 10, 2020 by
oxinabox
Add a way to (de)serialize Dex values
language / concrete syntax
String -> AST
#334
opened Dec 11, 2020 by
srush
Add variable shadowing warning
language / concrete syntax
String -> AST
#338
opened Dec 11, 2020 by
dan-zheng
Overlapping/default type class instances
language / concrete syntax
String -> AST
#340
opened Dec 12, 2020 by
oxinabox
%bench 1+1 takes several minutes on macOS
bug
Something isn't working
language / compiler
Compiler maintenance and lowering pipeline
#359
opened Dec 19, 2020 by
oxinabox
Provide self-contained packages for Dex
maintenance
Maintenance tasks (build systems, CI, code cleanup, etc)
#371
opened Dec 23, 2020 by
apaszke
5 tasks
Benchmarking should use minimum time, not mean time
language / compiler
Compiler maintenance and lowering pipeline
#373
opened Dec 23, 2020 by
oxinabox
Fix Something isn't working
maintenance
Maintenance tasks (build systems, CI, code cleanup, etc)
-Wnonportable-include-path
workaround
bug
#382
opened Dec 26, 2020 by
dan-zheng
Convention: should type-class names generally be adjectives?
discussion
Open-ended discussions
#396
opened Dec 29, 2020 by
oxinabox
Sort top-level declarations topologically
language / concrete syntax
String -> AST
#409
opened Jan 4, 2021 by
apaszke
Reimplement cell result caching in notebook mode
tooling / notebooks
Web notebooks and rendered HTML
#410
opened Jan 4, 2021 by
apaszke
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.