Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / JetBrains/Arend issues and pull requests

#348 - Add the function for deserialization

Pull Request - State: closed - Opened by alex999990009 about 2 months ago

#347 - ClassCastException

Issue - State: open - Opened by alex999990009 2 months ago

#345 - Exception in thread "main" java.lang.IllegalStateException

Issue - State: closed - Opened by sxhya 4 months ago
Labels: bug

#344 - NPE because "thisExpr" is null

Issue - State: closed - Opened by sxhya 4 months ago
Labels: bug

#343 - Tutorial for "Console Application" Turning Up Error

Issue - State: open - Opened by brandon-sisler 4 months ago - 2 comments

#342 - No error reported about wrong use of `\use \coerce`

Issue - State: open - Opened by sxhya 4 months ago
Labels: bug

#341 - StackOverflowError

Issue - State: closed - Opened by sxhya 8 months ago
Labels: bug

#340 - Usability problem with inheritance of classes with external parameters.

Issue - State: closed - Opened by sxhya 10 months ago - 1 comment
Labels: type-checker, classes, v-2.0

#339 - Problem with mixing constructors defined via pattern-matching with external parameters

Issue - State: closed - Opened by sxhya 10 months ago
Labels: bug, type-checker, v-2.0

#338 - Problem with mixing `this` with external parameters

Issue - State: closed - Opened by sxhya 10 months ago - 1 comment
Labels: bug, type-checker, v-2.0

#336 - :lib command not working as expected.

Issue - State: open - Opened by sxhya over 1 year ago
Labels: repl

#335 - Allow multiline input in REPL

Issue - State: open - Opened by sxhya over 1 year ago
Labels: repl

#334 - Improve console REPL completion

Issue - State: open - Opened by sxhya over 1 year ago - 2 comments
Labels: repl

#333 - Issues with Console REPL

Issue - State: closed - Opened by sxhya over 1 year ago
Labels: repl

#332 - Wrong scopes for `\data` defined with `\with` construction

Issue - State: closed - Opened by sxhya over 1 year ago - 1 comment
Labels: bug, name-resolver

#331 - PrettyPrintOptions button is greyed out

Issue - State: open - Opened by sxhya over 1 year ago
Labels: bug, error-message

#329 - Replace with pattern variables

Pull Request - State: closed - Opened by ice1000 almost 2 years ago

#328 - AssertionError in UnparsedConstructorPattern

Issue - State: closed - Opened by valis about 2 years ago

#327 - Support infix patterns

Pull Request - State: closed - Opened by knisht over 2 years ago

#326 - Improve revealing API

Pull Request - State: closed - Opened by knisht over 2 years ago

#325 - Don't compute Prop fields of sigma types by default

Pull Request - State: closed - Opened by knisht over 2 years ago - 2 comments

#324 - Improve logic for revealing

Pull Request - State: closed - Opened by knisht over 2 years ago

#323 - Introduce tuning of pretty printer

Pull Request - State: closed - Opened by knisht over 2 years ago

#322 - NPE during typechecking goal with arguments

Issue - State: closed - Opened by marat-rkh over 2 years ago - 2 comments
Labels: bug

#321 - Strange behavior of a Pi-typed goal

Issue - State: closed - Opened by knisht over 2 years ago - 1 comment

#320 - Extract base type from GoalError

Pull Request - State: closed - Opened by marat-rkh over 2 years ago

#319 - Allow matching infix constructors in patterns

Issue - State: closed - Opened by marat-rkh over 2 years ago - 4 comments

#318 - Improve minimization

Pull Request - State: closed - Opened by knisht almost 3 years ago

#317 - IllegalArgumentException

Issue - State: closed - Opened by knisht almost 3 years ago

#316 - Update minimization

Pull Request - State: closed - Opened by knisht almost 3 years ago

#315 - Smarter typechecking of goals with arguments

Pull Request - State: closed - Opened by knisht almost 3 years ago

#314 - Normalize core expressions to RNF before minimization

Pull Request - State: closed - Opened by knisht about 3 years ago

#313 - Improve stability of expression minimizer

Pull Request - State: closed - Opened by knisht about 3 years ago

#312 - Repl

Pull Request - State: closed - Opened by ice1000 about 3 years ago - 1 comment

#311 - Minimization of expression (Ob {D}) is likely diverged

Issue - State: closed - Opened by valis about 3 years ago - 1 comment

#309 - Infer type for goals with arguments

Pull Request - State: closed - Opened by knisht about 3 years ago

#307 - Introduce expression minimizer

Pull Request - State: closed - Opened by knisht about 3 years ago - 1 comment

#305 - Better inference of definition for inference variables

Pull Request - State: closed - Opened by knisht about 3 years ago

#304 - A bug in unification

Issue - State: closed - Opened by ice1000 over 3 years ago - 3 comments
Labels: bug, conversion

#303 - Visit goal expressions in `CorrespondedSubExprVisitor`

Pull Request - State: closed - Opened by knisht over 3 years ago

#302 - Different equality types treated as the same in typechecking

Issue - State: closed - Opened by ShreckYe over 3 years ago - 1 comment

#300 - Add metas for \Pi, similar to metas for \Sigma

Issue - State: closed - Opened by marat-rkh over 3 years ago - 3 comments

#299 - Allow more unicode symbols in aliases

Issue - State: open - Opened by marat-rkh over 3 years ago - 3 comments

#298 - NPE in level solver

Issue - State: closed - Opened by knisht over 3 years ago
Labels: bug, level

#297 - Dynamic definitions for `\data`

Issue - State: open - Opened by tonyxty over 3 years ago

#296 - NPE in typechecking

Issue - State: open - Opened by marat-rkh over 3 years ago - 2 comments
Labels: bug

#295 - Equality of any inhabitant of t = t with idp pass type checking.

Issue - State: closed - Opened by ilhikki over 3 years ago - 2 comments
Labels: bug

#294 - Allow pattern matching on idp for \case expressions

Issue - State: closed - Opened by knisht over 3 years ago - 1 comment

#293 - Add documentation comments to Prelude.ard

Issue - State: open - Opened by marat-rkh over 3 years ago

#292 - Reorder declarations in Prelude.ard

Issue - State: closed - Opened by marat-rkh over 3 years ago - 2 comments

#291 - Import existing imports in REPL

Issue - State: open - Opened by valis over 3 years ago
Labels: repl

#290 - Bottom is accidentally provable

Issue - State: closed - Opened by knisht over 3 years ago - 1 comment
Labels: bug

#289 - \let definitions in REPL

Issue - State: open - Opened by valis over 3 years ago - 2 comments
Labels: repl

#288 - Conditions referring to the current constructor?

Issue - State: open - Opened by ice1000 over 3 years ago

#287 - A plugin error happens with new IDEA

Issue - State: closed - Opened by zhelenskiy over 3 years ago - 2 comments
Labels: wut?

#286 - Arend forces splitting on unnecessary variables

Issue - State: open - Opened by ice1000 over 3 years ago - 1 comment
Labels: pattern-match

#285 - Computation stucked with new Fin from Prelude

Issue - State: closed - Opened by knisht almost 4 years ago
Labels: prelude

#284 - Termination checker is sensitive to let-bindings

Issue - State: closed - Opened by knisht almost 4 years ago - 2 comments
Labels: termination

#283 - Positivity checker complains in an unexpected place

Issue - State: closed - Opened by knisht almost 4 years ago - 1 comment

#282 - New Fin from Prelude lacks computational properties

Issue - State: closed - Opened by knisht almost 4 years ago
Labels: prelude

#281 - Duplicating clauses in pattern matching

Issue - State: closed - Opened by knisht almost 4 years ago

#280 - Internal error with aliases after \extends keyword

Issue - State: closed - Opened by knisht almost 4 years ago
Labels: bug

#279 - Arend REPL crashes with CCE

Issue - State: closed - Opened by knisht almost 4 years ago
Labels: bug, parser

#278 - ISE in CorrespondedSubExprVisitor

Issue - State: open - Opened by valis about 4 years ago
Labels: bug, subexpr

#277 - Dependencies upgrade before 1.6 release

Issue - State: closed - Opened by ice1000 about 4 years ago - 2 comments
Labels: dependencies

#276 - Module with parameters

Issue - State: closed - Opened by ice1000 about 4 years ago - 3 comments
Labels: question

#275 - Fin

Pull Request - State: closed - Opened by ice1000 about 4 years ago

#274 - Built-in finite sets

Issue - State: closed - Opened by valis about 4 years ago - 5 comments
Labels: prelude

#273 - ConcurrentModificationException

Issue - State: closed - Opened by ice1000 about 4 years ago
Labels: bug

#272 - Allow mutually recursive functions not defined by p.m.

Issue - State: closed - Opened by valis about 4 years ago - 1 comment
Labels: termination

#271 - Pp repl

Pull Request - State: closed - Opened by ice1000 about 4 years ago
Labels: pretty-printer, repl

#270 - Feature request: type aliases

Issue - State: closed - Opened by tonyxty about 4 years ago - 1 comment
Labels: classes

#269 - Unnamed variables in error messages

Issue - State: open - Opened by valis about 4 years ago - 3 comments
Labels: pretty-printer

#268 - Equation solver behavior inconsistency

Issue - State: open - Opened by ice1000 about 4 years ago - 2 comments
Labels: level

#267 - Coinductive types (guardedness) & copatterns support?

Issue - State: open - Opened by ice1000 about 4 years ago - 1 comment
Labels: feature

#266 - Implement coercion between path types and function types

Issue - State: closed - Opened by valis about 4 years ago - 2 comments
Labels: coercion

#263 - Feature request: refer to previously defined fields in class instances

Issue - State: closed - Opened by tonyxty about 4 years ago - 6 comments
Labels: classes, feature

#262 - Number pattern checker in extension

Pull Request - State: closed - Opened by ice1000 about 4 years ago
Labels: lang-ext

#259 - Dependencies upgrade before 1.5 release

Issue - State: closed - Opened by ice1000 about 4 years ago - 8 comments
Labels: dependencies

#249 - Arrays

Issue - State: closed - Opened by valis over 4 years ago - 10 comments
Labels: feature, prelude

#239 - REPL doesn't see test modules

Issue - State: closed - Opened by valis over 4 years ago
Labels: repl

#231 - Number type-checker for patterns and copatterns

Issue - State: closed - Opened by valis over 4 years ago - 2 comments
Labels: api

#227 - Default implementations

Issue - State: closed - Opened by valis over 4 years ago - 4 comments
Labels: classes, feature

#223 - IAE in IDE

Issue - State: open - Opened by ice1000 over 4 years ago - 6 comments
Labels: bug

#221 - Coerce for functions and path types

Issue - State: open - Opened by valis over 4 years ago
Labels: coercion

#217 - Additional levels

Issue - State: closed - Opened by valis over 4 years ago - 1 comment
Labels: feature, level

#191 - Tester

Pull Request - State: open - Opened by ice1000 over 4 years ago
Labels: tests

#185 - Path levels

Issue - State: closed - Opened by valis over 4 years ago - 1 comment
Labels: level

#164 - Bug in deserialization

Issue - State: closed - Opened by valis over 4 years ago
Labels: bug, compiled

#143 - Highlight subexpressions that differ in error messages

Issue - State: closed - Opened by valis over 4 years ago - 1 comment
Labels: feature

#142 - Pattern matching in lambdas

Issue - State: closed - Opened by valis over 4 years ago - 1 comment
Labels: feature

#140 - Reverse coerce

Issue - State: open - Opened by valis over 4 years ago
Labels: classes, feature, coercion

#139 - Syntax for HITs

Issue - State: closed - Opened by valis over 4 years ago - 2 comments
Labels: feature, hit

#127 - Allow libraries without sources

Issue - State: open - Opened by valis over 4 years ago
Labels: compiled, library

#126 - Allow to omit the signature of functions defined in instances

Issue - State: open - Opened by valis almost 5 years ago
Labels: classes