JetBrains/Arend issues and pull requests

#125 - Functions implemented in instances with parameters

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

#100 - Minor changes, set 1

Pull Request - State: closed - Opened by akuklev over 5 years ago

#99 - Update modules.md

Pull Request - State: closed - Opened by akuklev over 5 years ago

#98 - Stable Prelude Sample

Pull Request - State: closed - Opened by 5HT almost 6 years ago

#97 - NPE on second attempt to build

Issue - State: closed - Opened by 5HT almost 6 years ago - 12 comments

#96 - Deminify code for highlighting in docs

Pull Request - State: closed - Opened by xamgore almost 6 years ago

#95 - License file is missing

Issue - State: closed - Opened by quasilyte almost 6 years ago

#94 - Convert build.gradle to Kotlin

Pull Request - State: closed - Opened by mchernyavsky about 6 years ago

#93 - Implement infix notation for long names

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: infix

#92 - It is possible to use infix operators with the same syntax as for prefix ones

Issue - State: closed - Opened by sxhya over 6 years ago - 1 comment
Labels: infix

#91 - Fix bug in ToAbstractVisitor

Issue - State: closed - Opened by sxhya about 7 years ago

#90 - Name resolver errors cause an avalanche of errors

Issue - State: closed - Opened by valis over 7 years ago
Labels: name-resolver, module-loader

#89 - Get rid of names in Abstract

Issue - State: closed - Opened by kirelagin over 7 years ago
Labels: design?, abstract

#88 - Split Reference/DefCall into pure reference and FieldAcc

Issue - State: closed - Opened by kirelagin over 7 years ago - 1 comment
Labels: design?, abstract, frontend-interface

#87 - Merge ResolveNameVisitors and ResolveInstanceVisitors

Issue - State: closed - Opened by kirelagin over 7 years ago - 1 comment
Labels: cleanup, type-checker, name-resolver

#86 - Local scopes

Issue - State: closed - Opened by kirelagin over 7 years ago
Labels: type-checker, name-resolver, frontend-interface

#85 - Useless parsing errors

Issue - State: closed - Opened by kirelagin over 7 years ago
Labels: parser

#84 - Modules do not retypecheck

Issue - State: closed - Opened by valis over 7 years ago

#83 - Errors in a header of a definition

Issue - State: closed - Opened by valis over 7 years ago

#82 - Properly serialise definitions with minor errors

Issue - State: closed - Opened by kirelagin over 7 years ago - 1 comment
Labels: caching

#81 - Infinite recursion when caching mutually recursive definitions

Issue - State: closed - Opened by kirelagin over 7 years ago - 1 comment
Labels: bug, caching

#80 - Module gets loaded twice

Issue - State: closed - Opened by kirelagin over 7 years ago
Labels: bug, module-loader

#79 - Add parameters that do not typecheck to the context

Issue - State: closed - Opened by kirelagin over 7 years ago
Labels: type-checker

#78 - Non-existing modules are not reported

Issue - State: closed - Opened by valis over 7 years ago - 1 comment

#77 - Ambiguous parse

Issue - State: closed - Opened by kirelagin over 7 years ago
Labels: bug, parser

#76 - ToAbstractVisitor throws EmptyStackException

Issue - State: closed - Opened by sxhya over 7 years ago

#75 - Problems with type inference in let expressions

Issue - State: closed - Opened by sxhya over 7 years ago

#74 - Any documentation? Status report?

Issue - State: closed - Opened by molikto over 7 years ago - 3 comments

#73 - Fix a bug with duplicate names

Issue - State: closed - Opened by valis over 7 years ago
Labels: bug, name-resolver, module-loader

#72 - Do not report errors when cannot load dependency cache

Issue - State: closed - Opened by valis over 7 years ago

#71 - Termination failures do not affect the error status of the loading module

Issue - State: closed - Opened by valis almost 8 years ago

#70 - Do not create different .vcc files for different versions of the source file

Issue - State: closed - Opened by valis almost 8 years ago
Labels: compiled

#69 - Universe with TypeOmega sort is created

Issue - State: closed - Opened by valis almost 8 years ago

#68 - Command line parameters

Issue - State: closed - Opened by kirelagin almost 8 years ago - 1 comment
Labels: library

#67 - Conflict between some one-char binops and some tokens

Issue - State: closed - Opened by kirelagin almost 8 years ago
Labels: bug, parser

#66 - Fix issues with Windows paths

Issue - State: closed - Opened by valis almost 8 years ago - 1 comment

#65 - Check version of caches

Issue - State: closed - Opened by kirelagin almost 8 years ago
Labels: caching

#64 - Add tests for module loading (+ caching)

Issue - State: closed - Opened by kirelagin almost 8 years ago
Labels: tests, caching, module-loader

#63 - Report if a module loaded from cache has goals

Issue - State: closed - Opened by kirelagin almost 8 years ago

#62 - Use information from expected type during eta expansion in DefCall

Issue - State: closed - Opened by valis almost 8 years ago

#61 - Report if a module is ok, but some of its dependencies are not

Issue - State: closed - Opened by kirelagin almost 8 years ago

#60 - Get rid of CNat and Lvl datatypes

Issue - State: closed - Opened by valis almost 8 years ago

#59 - Make expressions in class extensions depend on 'this' parameter

Issue - State: closed - Opened by valis almost 8 years ago

#58 - Modify typeCheckElim

Issue - State: closed - Opened by part-xx almost 8 years ago

#57 - Clean up expression factory

Issue - State: closed - Opened by kirelagin about 8 years ago

#56 - Add 'where' clause to data and other statements

Issue - State: closed - Opened by valis about 8 years ago
Labels: abstract

#55 - Track reverse-dependencies

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: type-checker

#54 - Fix encapsulation issues with TypecheckerState

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: type-checker

#53 - Repair module loading tests

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: tests

#52 - Issues with dynamic name resolving

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: wut?, design?, type-checker, name-resolver

#51 - Put prelude in jar

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

#50 - Fix type checking of class extensions

Issue - State: closed - Opened by valis about 8 years ago
Labels: bug, type-checker

#49 - Fix stdlib type-checking

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: bug

#48 - Remove ModuleCalls

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: name-resolver, abstract

#47 - Drop internal error reporter in favour of creating new ones where needed

Issue - State: closed - Opened by kirelagin about 8 years ago

#46 - Make name resolver reliably report unresolved definitions

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: name-resolver

#45 - Type check Prelude only once in tests

Issue - State: closed - Opened by kirelagin about 8 years ago - 3 comments
Labels: tests

#44 - Reimplement ordering so that it makes sense

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: design?, type-checker

#43 - Make all the tests assert specific errors

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: tests

#42 - Fix crash on non-existent Prelude name lookup

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: name-resolver

#41 - Remove obsolete test utils

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: cleanup

#40 - Remove static INSTANCEs of simple namespace providers

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: cleanup, name-resolver

#39 - Move classes around

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: cleanup

#38 - Fix all the error handling related FIXMEs

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: cleanup

#37 - Cleanup scraps of obsolete namespaces and stuff

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: cleanup

#36 - Prelude should not be a singleton

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: cleanup

#35 - Redesign NameResolver: abstract methods instead of providers

Issue - State: closed - Opened by kirelagin about 8 years ago - 1 comment
Labels: wut?

#34 - Proper test framework

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: wut?, tests

#33 - What is a Definition?

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: wut?, abstract

#32 - Incremental type checking

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: design?, type-checker, frontend-interface

#31 - Repair serialization

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: compiled

#30 - Sort out module loading

Issue - State: closed - Opened by kirelagin about 8 years ago - 2 comments
Labels: design?, name-resolver, frontend-interface

#29 - New syntax with `where`

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: design?, abstract

#28 - Get rid of `ContextSaver`

Issue - State: closed - Opened by kirelagin about 8 years ago - 2 comments
Labels: cleanup, type-checker, name-resolver

#27 - `applyThis` should never mutate `this`

Issue - State: closed - Opened by kirelagin about 8 years ago
Labels: cleanup, type-checker

#26 - Make locals referable

Issue - State: closed - Opened by kirelagin about 8 years ago - 1 comment
Labels: design?, abstract

#25 - BaseDefinition cleanup

Pull Request - State: closed - Opened by kirelagin over 8 years ago

#24 - Validation

Pull Request - State: closed - Opened by andrey-komarov over 8 years ago

#23 - Normalization changes type

Issue - State: closed - Opened by andrey-komarov over 8 years ago - 1 comment

#22 - Fix normalization

Issue - State: closed - Opened by valis over 8 years ago

#21 - Better error messages

Issue - State: closed - Opened by valis over 8 years ago

#20 - Better inference of implicit arguments

Issue - State: closed - Opened by valis over 8 years ago

#19 - DefCalls of constructors

Issue - State: closed - Opened by valis over 8 years ago

#18 - Get rid of resolved names

Issue - State: closed - Opened by valis almost 9 years ago - 1 comment

#17 - Static modifier patch

Pull Request - State: closed - Opened by part-xx almost 9 years ago