Basile Henry
Basile Henry
Would it be possible to make the syntax highlighting behave properly when using `{-# LANGUAGE ScopedTypeVariables #-}`? Right now it seems that any line starting with `identifier ::` is considered...
As I read the grammar in the spec, `"//"` wouldn't parse as a single-line-comment as it requires as least one non-newline character after the slashes.
I was browsing the various open issues on this repo the other day and the following comment gave me an idea: https://github.com/dhall-lang/dhall-lang/issues/253#issuecomment-433250451 If we are willing to leverage the HTTP...
This PR adds a way to control if comments should be parsed as whitespace. I believe many of the issues we are seeing where we lose comments when formatting Dhall...
From https://twitter.com/Profpatsch/status/1383750764472930312?s=20 This: ```dhall < Foo | -- Bar does quux Bar > ``` Formats to: ```dhall < Foo | Bar > ```
Currently `tomland` disallows mixed type in TOML arrays. From the documentation for the `Value` constructor `Array`: https://github.com/kowainik/tomland/blob/d9b7a1dc344e41466788fe00d0ea016f04629ade/src/Toml/Type/Value.hs#L172-L185 This seems to be in line with all the previous versions of the...
The main thing this PR does is add links for types that are defined in dependencies. The motivation is to be able to quickly navigate to related documentation that is...
I noticed a weird issue with the scroll position when visiting the pages of packages from the home page. It looks like the current scroll position is being kept through...
This part of the formatter spec is problematic: > If, **and only if,** a file format has changed, the formatter MUST write the new content in place of the original...
**Is your feature request related to a problem? Please describe.** We have a setup where we generate jobsets for each PR. When a PR is closed/merged, the associated jobset is...