Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rowscript/rowscript issues and pull requests
#187 - In-memory distribution of prelude
Issue -
State: closed - Opened by anqurvanillapy about 1 month ago
Labels: enhancement, x-prelude
#186 - WebAssembly distribution for Try on browsers
Issue -
State: open - Opened by anqurvanillapy about 1 month ago
Labels: documentation, enhancement, x-api
#185 - Scaffolding LSP server and new VSCode/IntelliJ plugin
Issue -
State: open - Opened by anqurvanillapy 2 months ago
- 1 comment
Labels: enhancement, good first issue, x-ide
#183 - Use `export` for public definitions
Issue -
State: closed - Opened by anqurvanillapy 3 months ago
- 1 comment
Labels: enhancement, x-surf, x-codegen, x-conc
#182 - Explicit variant upcasting with `E::V`
Issue -
State: closed - Opened by anqurvanillapy 6 months ago
Labels: enhancement, x-surf, x-conc
#181 - Unionify should be manual
Issue -
State: closed - Opened by anqurvanillapy 7 months ago
Labels: enhancement, x-codegen, x-conc
#180 - Union types
Issue -
State: closed - Opened by anqurvanillapy 7 months ago
Labels: enhancement, x-surf, x-abs, x-conc, x-builtin
#180 - Union types
Issue -
State: closed - Opened by anqurvanillapy 7 months ago
Labels: enhancement, x-surf, x-abs, x-conc, x-builtin
#180 - Union types
Issue -
State: closed - Opened by anqurvanillapy 7 months ago
Labels: enhancement, x-surf, x-abs, x-conc, x-builtin
#179 - Automatic recursive resolving
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
- 1 comment
#179 - Automatic recursive resolving
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
- 1 comment
#178 - Feature/separate resolving
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
#178 - Feature/separate resolving
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
#177 - Use `Box<[T]>` for immutable lists and waiting on Rust v1.80.0 release
Issue -
State: open - Opened by anqurvanillapy 7 months ago
Labels: enhancement
#177 - Use `Box<[T]>` for immutable lists and waiting on Rust v1.80.0 release
Issue -
State: open - Opened by anqurvanillapy 7 months ago
Labels: enhancement
#177 - Use `Box<[T]>` for immutable lists and waiting on Rust v1.80.0 release
Issue -
State: closed - Opened by anqurvanillapy 7 months ago
- 1 comment
Labels: enhancement
#177 - Use `Box<[T]>` for immutable lists and waiting on Rust v1.80.0 release
Issue -
State: open - Opened by anqurvanillapy 7 months ago
Labels: enhancement
#176 - Update Cargo.toml
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
#176 - Update Cargo.toml
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
#176 - Update Cargo.toml
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
#176 - Update Cargo.toml
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
#175 - Automatic name resolving and typechecking for mutual recursive definitions
Issue -
State: open - Opened by anqurvanillapy 7 months ago
Labels: enhancement, x-conc
#175 - Automatic name resolving and typechecking for mutual recursive definitions
Issue -
State: open - Opened by anqurvanillapy 7 months ago
Labels: enhancement, x-conc
#175 - Automatic name resolving and typechecking for mutual recursive definitions
Issue -
State: open - Opened by anqurvanillapy 7 months ago
Labels: enhancement, x-conc
#175 - Automatic name resolving and typechecking for mutual recursive definitions
Issue -
State: open - Opened by anqurvanillapy 7 months ago
Labels: enhancement, x-conc
#175 - Automatic name resolving and typechecking for mutual recursive definitions
Issue -
State: closed - Opened by anqurvanillapy 7 months ago
- 1 comment
Labels: enhancement, x-conc
#174 - More concise CI configuration
Pull Request -
State: closed - Opened by anqurvanillapy 7 months ago
#173 - Row predicate for complex enumeration refinement
Issue -
State: closed - Opened by anqurvanillapy 7 months ago
- 1 comment
Labels: enhancement, x-surf, x-abs, x-conc
#172 - Elaborator reflection for generating `isXXX` functions for enum types
Issue -
State: open - Opened by anqurvanillapy 8 months ago
Labels: enhancement, x-surf, x-abs, x-conc
#171 - Extension-based row poly could be sugar
Issue -
State: closed - Opened by anqurvanillapy 8 months ago
Labels: enhancement, x-surf
#170 - Error recovery on parsing
Issue -
State: open - Opened by anqurvanillapy 8 months ago
- 4 comments
Labels: enhancement, x-surf
#169 - Wrapper class
Issue -
State: closed - Opened by anqurvanillapy 8 months ago
Labels: enhancement, x-surf, x-abs, x-conc
#168 - Automatic unionify for FFI calls
Issue -
State: closed - Opened by anqurvanillapy 8 months ago
Labels: enhancement, x-conc
#167 - Single-member classes should be optimized out
Issue -
State: closed - Opened by anqurvanillapy 8 months ago
- 1 comment
Labels: enhancement, x-abs, x-codegen
#166 - Syntactic sugar: Namespace
Issue -
State: closed - Opened by anqurvanillapy 8 months ago
- 1 comment
Labels: enhancement, x-surf, x-conc
#165 - How to model `"a".trim()`? I.e. prototypes with common names
Issue -
State: closed - Opened by anqurvanillapy 8 months ago
- 1 comment
Labels: enhancement, question
#164 - Improve error messages upon effect type checking
Issue -
State: closed - Opened by anqurvanillapy 8 months ago
Labels: enhancement, x-surf
#162 - Use duplicate fields for encoding effects
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: enhancement, x-abs
#162 - Use duplicate fields for encoding effects
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: enhancement, x-abs
#162 - Use duplicate fields for encoding effects
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: enhancement, x-abs
#162 - Use duplicate fields for encoding effects
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: enhancement, x-abs
#162 - Use duplicate fields for encoding effects
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: enhancement, x-abs
#161 - Use `A instanceof T` instead of `T<A>` for constraint predicates
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: enhancement, x-surf
#160 - Drop the support of control flow in lambda expressions
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: bug, x-surf
#159 - Type erasure and binders stripping does too much
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: bug, x-codegen
#158 - Reverse application fails at type arguments
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: bug, x-surf, x-conc
#157 - Use `instanceof` for instances, instead of `implements` for implementations
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: enhancement, x-surf
#156 - Capabilities and capturing
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: enhancement, x-surf, x-abs, x-conc
#155 - `f(...)` is valid even without anonymous variadic parameters
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
Labels: bug, x-conc
#154 - Multi-return values
Issue -
State: open - Opened by anqurvanillapy 9 months ago
- 1 comment
Labels: enhancement, x-surf, x-abs, x-conc
#154 - Multi-return values
Issue -
State: open - Opened by anqurvanillapy 9 months ago
- 1 comment
Labels: enhancement, x-surf, x-abs, x-conc
#154 - Multi-return values
Issue -
State: open - Opened by anqurvanillapy 9 months ago
- 1 comment
Labels: enhancement, x-surf, x-abs, x-conc
#154 - Multi-return values
Issue -
State: closed - Opened by anqurvanillapy 9 months ago
- 1 comment
Labels: enhancement, x-surf, x-abs, x-conc
#153 - Effect types
Issue -
State: closed - Opened by anqurvanillapy 10 months ago
- 7 comments
Labels: enhancement, x-surf, x-abs, x-conc
#152 - Heterogeneous variadic parameters using dependent sums
Issue -
State: closed - Opened by anqurvanillapy 10 months ago
- 1 comment
Labels: enhancement, x-surf, x-conc
#151 - DOM component DSL
Issue -
State: open - Opened by anqurvanillapy 11 months ago
- 6 comments
Labels: enhancement, x-surf, x-conc
#150 - Remove `__enumT` discriminant
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-codegen, x-builtin
#149 - Better interaction of generated class code and JS objects
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, help wanted, x-codegen
#148 - Syntax for chainable expressions
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
- 1 comment
Labels: enhancement, x-surf, x-conc
#147 - Better `?:` syntax for eliminating as many parentheses as possible
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: bug, x-surf
#146 - Optional `else` branch for guard statements
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-surf, x-abs, x-codegen, x-conc
#145 - Multiline string literal
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-surf
#144 - Class member default values
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
- 1 comment
Labels: enhancement, x-surf
#143 - Variadic arguments with translation into arrays
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
- 1 comment
Labels: enhancement, x-conc
#142 - Special characters like `_`, `$` should be supported in postulates
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: bug, x-surf
#141 - Methods should be attached to `Term::Cls` type
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: bug, x-abs
#140 - JavaScript style `console.log`
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-prelude
#139 - Item indexing should use unwrap for convenience
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-surf, x-prelude
#138 - Map iterator
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-surf, x-abs, x-codegen, x-builtin, x-prelude
#137 - Bring `a.n` object access into builtins
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
- 1 comment
Labels: enhancement, invalid, x-builtin, x-prelude
#137 - Bring `a.n` object access into builtins
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
- 1 comment
Labels: enhancement, invalid, x-builtin, x-prelude
#136 - Syntax to ignore non-unit return values
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-surf
#136 - Syntax to ignore non-unit return values
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-surf
#135 - Should use `raw` mode in the ECMA string literal AST
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: bug, x-codegen
#134 - Duplicate name check should include prelude
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: bug, x-conc
#133 - Imported paths should be URL encoded
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: bug, x-pkg
#132 - Verbose mode for printing more debug logs
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
- 1 comment
Labels: enhancement
#131 - Associated types
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
- 1 comment
Labels: enhancement, x-surf, x-codegen, x-conc
#130 - Use the same syntax for `Array<T>` and `Map<K, V>` indexing
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: enhancement, x-surf, x-prelude
#129 - New kind of definitions to verify builtins
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
- 1 comment
Labels: documentation, x-builtin, x-prelude
#128 - Default case for `enum` to legalize `isOk()`
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: bug, x-surf, x-abs, x-conc
#127 - Syntax error from (loop) branches
Issue -
State: closed - Opened by anqurvanillapy 11 months ago
Labels: bug, x-surf
#126 - All local variables declared via `const`
Issue -
State: closed - Opened by anqurvanillapy 12 months ago
Labels: enhancement, x-surf, x-test
#125 - Replace all `unreachable!()` with ICEs
Issue -
State: closed - Opened by anqurvanillapy 12 months ago
- 1 comment
Labels: enhancement, x-cli
#124 - JS friendlier interface syntax
Issue -
State: closed - Opened by anqurvanillapy 12 months ago
Labels: enhancement, x-surf, x-conc
#123 - Iterator, iterable interfaces and their instances for `Array<T>`
Issue -
State: closed - Opened by anqurvanillapy 12 months ago
Labels: enhancement, x-surf, x-abs, x-codegen, x-conc, x-builtin, x-prelude
#122 - Full-blown control constructs
Issue -
State: closed - Opened by anqurvanillapy 12 months ago
- 3 comments
Labels: enhancement, x-surf, x-abs, x-codegen, x-conc
#121 - Array indexing and assignment
Issue -
State: closed - Opened by anqurvanillapy 12 months ago
Labels: enhancement, x-surf, x-abs
#120 - Constructor class for typeclasses
Issue -
State: closed - Opened by anqurvanillapy 12 months ago
- 2 comments
Labels: enhancement, x-abs
#119 - Pruning and first-class polymorphism
Issue -
State: closed - Opened by anqurvanillapy 12 months ago
Labels: enhancement, x-meta, x-surf, x-abs, x-conc
#118 - Core term `Stuck` for stuck computations
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
- 2 comments
Labels: bug, invalid, wontfix, x-abs
#117 - DSL for creating builtins
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
Labels: enhancement, x-abs
#116 - Mutable variables with limited functionalities based on linear types
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
- 2 comments
Labels: enhancement, x-surf, x-abs, x-conc
#115 - Generic classes
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
Labels: enhancement, test
#114 - Raising an error for a delayed unresolved reference inside a `RevApp` is missing
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
Labels: bug, good first issue, conc
#113 - Check the method constraints for a class based on interfaces
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
- 1 comment
Labels: enhancement, test
#112 - Class methods from imported packages
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
- 1 comment
Labels: enhancement, test
#111 - Bug in unifying two lambdas
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
- 1 comment
Labels: bug, good first issue, invalid, abs
#110 - `Forof`, `Fori` structures
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
- 1 comment
Labels: duplicate, enhancement, good first issue, x-surf, x-abs, x-codegen, x-conc
#109 - Re-designing OOP
Issue -
State: closed - Opened by anqurvanillapy about 1 year ago
- 3 comments
Labels: enhancement, help wanted, surf, abs, conc