atom-language-idris

atom-language-idris copied to clipboard

Abominably slow startup time.

16

This package adds 143ms to my startup time, compared to a typical 2ms-3ms for languages and 10ms for linters. Not cool.

alexchandel

Add a `clean` command

1

archaeron

Possible packages to look at integrating with

5

Jono Bacon of GitHub wrote a [blog post about Atom](http://www.jonobacon.org/2015/11/16/atom-my-new-favorite-code-editor/) and mentioned several packages he liked about it, on is [Linter](https://atom.io/packages/linter). I do not have time to look at it...

jfdm

Should have a much better startup time

6

Trades the startup time for slower execution of the first command #28 @alexchandel could you take a look at this?

archaeron

highlight function parameters

1

I think I've got it #93

archaeron

highlight function parameters

3

Whilst the atom mode can highlight function signatures with named parameters such as ``` idris foo: (n: Nat) -> Vect n Int ``` it fails when multiple named parameters are...

justjoheinz

Should Atom warn about possibly non-total recursive functions?

1

``` idris module Sandbox total rec: Int -> Int rec x = rec $ x + 1 ``` typechecks fine within Atom (Ctrl-Alt-r). However loading the file in the REPL...

justjoheinz

Right click for case split/add definition/etc?

2

I'm not sure if this is easy or even possible in atom, but it might be nice to be able to do a case split or add definition by right...

edwinb

Initial support for semantic highlights

35

Semantic source highlighting information from Idris is no longer ignored. Atom highlights are not wrapped around the text. Instead, they live at a different z-index, which means they can't apply...

david-christiansen

Failed to load the language-idris package

14

[Enter steps to reproduce below:] 1. Every time I open atom I get this message => can't use this package **Atom Version**: 1.1.0-beta1 **System**: Windows 7 64-bit **Thrown From**: [language-idris](https://github.com/idris-hackers/atom-language-idris)...

melaanya