Ecosyste.ms: Issues

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

GitHub / psibi/dhall-mode issues and pull requests

#37 - dhall resolve is redundant?

Issue - State: closed - Opened by ndwarshuis over 1 year ago - 4 comments

#36 - Add arguments for lint and freeze command

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

#35 - Fix: First sentence should end with punctuation

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

#34 - Add dhall-freeze-all

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

#33 - Fix package-lint and byte-code compilation issues

Pull Request - State: closed - Opened by purcell about 4 years ago - 2 comments

#32 - Add github CI

Pull Request - State: closed - Opened by psibi about 4 years ago - 5 comments

#31 - dhall-buffer-type: If called interactively, use `message`

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

#30 - REPL support looks for `dhall-repl` command

Issue - State: closed - Opened by endgame over 4 years ago - 3 comments

#29 - Option to jump to definitions?

Issue - State: open - Opened by gamb over 4 years ago - 4 comments

#28 - error buffer takes focus

Issue - State: open - Opened by mattsawyer77 about 5 years ago - 4 comments

#27 - `dhall-eval-region` and `dhall-eval-buffer`

Issue - State: open - Opened by matthew-piziak about 5 years ago

#26 - Add option for ASCII formatting

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

#24 - Auto-reformatting strips the trailing newline

Issue - State: closed - Opened by listx over 5 years ago - 6 comments

#23 - Use spaces instead of tabs

Issue - State: closed - Opened by macalinao over 5 years ago - 6 comments

#22 - Auto-reformatting nukes comments

Issue - State: open - Opened by fosskers almost 6 years ago - 2 comments

#21 - Support for freezing and updating import sha

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

#19 - Make change timeout configurable, don't run typecheck if not needed

Pull Request - State: closed - Opened by MichaelXavier about 6 years ago - 1 comment

#18 - Buffer type compute timer

Issue - State: open - Opened by MichaelXavier about 6 years ago

#17 - Make error buffer optional

Issue - State: open - Opened by MichaelXavier about 6 years ago

#16 - Highlighting issue

Issue - State: open - Opened by reactormonk about 6 years ago - 4 comments

#15 - Provide basic dhall-repl integration

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

#14 - display some substring of the complete type signature

Pull Request - State: closed - Opened by justinwoo over 6 years ago - 1 comment

#13 - call dhall with "format" argument

Pull Request - State: closed - Opened by justinwoo over 6 years ago - 8 comments

#12 - Dhall-format is now a subcommand

Issue - State: closed - Opened by justinwoo over 6 years ago - 1 comment

#11 - Fix temp file creation for buffer types

Pull Request - State: closed - Opened by purcell over 6 years ago - 1 comment

#10 - Calculate buffer type more safely

Pull Request - State: closed - Opened by purcell over 6 years ago - 1 comment

#9 - Don't recompute the header line constantly

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

#8 - Header-line now works prior to Dhall 1.11.

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

#7 - Optionally show the file’s Type in the header-line.

Pull Request - State: closed - Opened by sellout over 6 years ago - 6 comments

#6 - option to show Type of file in `header-line`

Issue - State: closed - Opened by sellout over 6 years ago - 3 comments

#5 - Add "as" keyword

Pull Request - State: closed - Opened by purcell-nec almost 7 years ago - 1 comment

#4 - Few more fixes

Pull Request - State: closed - Opened by purcell almost 7 years ago - 1 comment

#3 - Restrict keyword matches to symbol boundaries

Pull Request - State: closed - Opened by purcell-nec almost 7 years ago - 1 comment

#2 - Don't highlight keywords found within other identifiers

Pull Request - State: closed - Opened by purcell-nec almost 7 years ago - 1 comment

#1 - Static images issue

Issue - State: closed - Opened by psibi about 7 years ago - 1 comment