Ecosyste.ms: Issues

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

GitHub / idris-hackers/idris-mode issues and pull requests

#625 - Flymake Support

Issue - State: open - Opened by jgarte 5 months ago - 3 comments
Labels: nice to have

#624 - Nested Packages Can't Find Their Parents

Issue - State: open - Opened by rvs314 7 months ago

#623 - Add quotes around sourcedir value in generated .ipkg file

Pull Request - State: closed - Opened by keram 9 months ago - 1 comment

#622 - "idris-start-project Incorrectly starts projects in idris2

Issue - State: closed - Opened by FFFluoride 9 months ago - 1 comment

#621 - Ensure that argument passed to idris-repl-insert-result is a string

Pull Request - State: closed - Opened by keram over 1 year ago

#620 - Loading file in REPL fails: wrong-type-argument

Issue - State: closed - Opened by rnikander over 1 year ago - 1 comment
Labels: bug

#619 - Remove unused and nonprefixed helper function `find-common-prefix`

Pull Request - State: closed - Opened by keram over 1 year ago - 1 comment

#618 - improved repl

Issue - State: closed - Opened by kuribas over 1 year ago - 3 comments

#617 - rlwrap for repl

Issue - State: open - Opened by ju-sh over 1 year ago - 4 comments

#615 - Add `idris-format` module with `idris-format-align-lhs` command

Pull Request - State: open - Opened by keram over 1 year ago - 1 comment

#614 - Make `idris-info-mode` derived from `help-mode` and

Pull Request - State: closed - Opened by keram over 1 year ago - 1 comment

#613 - Make Idris info buffer be derived from special mode

Pull Request - State: closed - Opened by keram over 1 year ago - 2 comments

#612 - Minor code improvements 3

Pull Request - State: closed - Opened by keram over 1 year ago

#609 - Improvment to flycheck checkers

Pull Request - State: closed - Opened by keram over 1 year ago - 2 comments

#608 - Minor code improvements without expected change in behaviour

Pull Request - State: closed - Opened by keram over 1 year ago

#607 - Fix small bug in idris-xref jump to column and

Pull Request - State: closed - Opened by keram over 1 year ago - 1 comment

#606 - Move test files to test/ directory

Pull Request - State: closed - Opened by keram over 1 year ago - 3 comments

#605 - Add support for printing definitions of functions in Idris 2

Pull Request - State: closed - Opened by keram over 1 year ago

#604 - Xref backend for Idris 2

Pull Request - State: closed - Opened by keram over 1 year ago

#603 - Codebase improvements 2

Pull Request - State: closed - Opened by keram over 1 year ago

#602 - Codebase improvements

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

#601 - Improve semantic syntax highlighting

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

#600 - Preserve point position after adding warning overlay

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

#599 - Ensure Idris connection exist when running `idris-thing-at-point`

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

#598 - Update documentation strings to follow

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

#597 - Triage extant issues and PRs

Issue - State: open - Opened by jfdm almost 2 years ago

#596 - Flycheck is broken.

Issue - State: open - Opened by jfdm almost 2 years ago - 4 comments

#595 - Make sure the CHANGELOG is up-to-date.

Issue - State: open - Opened by jfdm almost 2 years ago

#594 - Make sure the current file is loaded when listing holes

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

#593 - Backport idris2-jump-to-def to idris-mode

Issue - State: closed - Opened by keram almost 2 years ago

#592 - Mark `idris-list-holes-on-load` as obsolete in favour of `idris-list-holes`

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

#591 - DRAFT: Update semantic highlighting implementation

Pull Request - State: closed - Opened by keram almost 2 years ago - 1 comment

#590 - Trim left whitespace from Idris add-clause response

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

#589 - Apply minor improvements to codebase

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

#588 - Display instead of pop into Idris repl buffer on startup

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

#587 - Restore position after case split

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

#586 - Revert "Restore position after case split"

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

#585 - Add Emacs 28.2 to test matrix and

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

#584 - Remove idris-ensure-process-and-repl-buffer from idris-switch-working-directory and

Pull Request - State: closed - Opened by keram almost 2 years ago - 1 comment

#583 - Restore position after case split

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

#582 - Make idris-compiler-notes-mode derived from special-mode and

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

#581 - [semantic-highlight] Remove and rebuild overlays in file on reload only in changed area

Pull Request - State: closed - Opened by keram almost 2 years ago - 1 comment

#579 - Tests improvements

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

#578 - [ new ] intro command - backport from idris2-mode

Pull Request - State: closed - Opened by keram almost 2 years ago - 3 comments

#577 - WIP: Load idris file on idris-list-holes invocation

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

#576 - Make hole-list buffer derived from special-mode

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

#575 - Fix code highlighting for Idris 1 protocol >= 1and

Pull Request - State: closed - Opened by keram almost 2 years ago - 1 comment

#574 - Apply minor internal improvements

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

#573 - Update idris-compile-and-execute for Idris2

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

#572 - Idris2: idris-generate-def on infix operator generates invalid syntax

Issue - State: closed - Opened by keram almost 2 years ago - 2 comments

#571 - Remove idris-tests2.el in favour of using idris-tests.el

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

#569 - Consider `-` as operator in `idris-thing-at-point`

Pull Request - State: closed - Opened by keram almost 2 years ago - 4 comments

#568 - Improve `idris-case-dwim` to make case expression from hole in edge cases

Pull Request - State: closed - Opened by keram almost 2 years ago - 1 comment

#567 - Simplify code

Pull Request - State: closed - Opened by keram almost 2 years ago - 1 comment

#566 - Inline `idris-get-line-num` by using native `line-number-at-pos`

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

#565 - Move "words of encouragement" from minibuffer to Idris repl banner

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

#564 - Make empty string always return value from `idris-process-filter`

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

#563 - Idris2: display one line error message in minibuffer

Pull Request - State: closed - Opened by keram almost 2 years ago - 6 comments

#562 - Fix failure to find beginning of function type definition

Pull Request - State: closed - Opened by keram almost 2 years ago - 1 comment

#561 - [ testing ] apparently this makes test pass again.

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

#560 - Revert removal of `s` flag from `interactive` function argument.

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

#559 - Compute file path to repl history file at runtime if

Pull Request - State: closed - Opened by keram almost 2 years ago - 3 comments

#558 - Add ability to quickly switch from Idris repl to

Pull Request - State: closed - Opened by keram almost 2 years ago - 3 comments

#557 - Jump back to buffer from which we came to Idris buffer

Pull Request - State: closed - Opened by keram almost 2 years ago - 5 comments

#555 - Fix tests compile errors due to doc strings being longer than 80 chars.

Pull Request - State: closed - Opened by keram almost 2 years ago - 1 comment

#554 - [ flymake ] Improvment to flycheck checkers.

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

#553 - [ refactor ] big-or -> member

Pull Request - State: closed - Opened by gallais over 2 years ago - 1 comment

#552 - Does compile&execute work?

Issue - State: open - Opened by gallais over 2 years ago - 1 comment

#551 - [ fix ] remove ibc deletions for idris2

Pull Request - State: closed - Opened by gallais over 2 years ago - 1 comment

#550 - Wrong number of arguments to Completion at Point

Issue - State: closed - Opened by ZachFontenot over 2 years ago - 5 comments

#549 - [ admin ] forgot to update version number in `idris-model.el`

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

#548 - [ CI ] When refreshing package contexts need to intialise in batch mode.

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

#547 - Update semantic highlighting code in line with the update IDE protocol

Pull Request - State: closed - Opened by ohad almost 3 years ago - 6 comments

#546 - Merge idris2-mode back into idris-mode

Pull Request - State: closed - Opened by gallais almost 3 years ago - 2 comments

#545 - [ feature ] make completion via compiler optional.

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

#544 - Borrowings idris2 mode

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

#543 - [idris2-mode] "Unused lexical variable 'name'"

Issue - State: closed - Opened by gergoerdi almost 3 years ago - 6 comments

#542 - error in process filter: Wrong type argument: sequencep, 78

Issue - State: closed - Opened by gergoerdi almost 3 years ago - 19 comments
Labels: bug, upstream

#541 - [ feature ] Make sending words of encouragement customisable.

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

#540 - [ admin ] resolve references to new master branch name.

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

#539 - integrate idris-mode and idris2-mode

Issue - State: open - Opened by ywata about 3 years ago

#538 - Admin

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

#537 - Add idris2 tests merge

Pull Request - State: closed - Opened by ywata about 3 years ago - 5 comments

#536 - Ci caching idris1

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

#535 - Ci caching idris1

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

#534 - Add idris2 tests

Pull Request - State: closed - Opened by ywata about 3 years ago - 2 comments

#533 - [ ci ] introduce actions for testing idris2

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

#532 - [RFC] Change branch from `master` to `main`

Issue - State: closed - Opened by jfdm about 3 years ago - 1 comment
Labels: admin

#495 - Use the same buffer information throughout file load.

Pull Request - State: closed - Opened by jsoo1 over 5 years ago - 4 comments

#465 - Restore location when case split

Pull Request - State: closed - Opened by bixuanzju almost 7 years ago - 2 comments

#453 - C-c C-s doesn't work with multi line function header

Issue - State: closed - Opened by ulysses4ever about 7 years ago - 2 comments
Labels: bug, confirmed

#451 - Warnings show as errors in Flycheck mode.

Issue - State: closed - Opened by gatoWololo over 7 years ago - 2 comments
Labels: bug, wanting pr

#447 - "Case split pattern variable" menu item should/could show key binding.

Issue - State: closed - Opened by tmcgilchrist over 7 years ago
Labels: enhancement, ux

#443 - idris-repl annoying insert-point jump

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