Commit Graph

285 Commits (37bc36f10a8924552bb666104bc92f07fc58732a)

Author SHA1 Message Date
Lennart Spitzner 37bc36f10a
Update README.md 2018-01-13 18:05:21 +01:00
Lennart Spitzner 8fe9ba1f43
Update readme: Add editor integration paragraph 2018-01-13 18:02:00 +01:00
Lennart Spitzner bcdd058485
Update README.md for stackage lts release 2017-12-19 15:28:52 +01:00
Lennart Spitzner f7e5287f1d
Update README.md (0.9.0.0 changes, widget) 2017-12-15 15:13:11 +01:00
Lennart Spitzner 95e4346742 one fixup addition to the 0.9.0.0 changelog 2017-12-11 17:10:58 +01:00
Lennart Spitzner 442f32aef9
Update README.md: stack with recent resolver 2017-12-11 17:10:27 +01:00
Lennart Spitzner be4d0f8333
Merge pull request #78 from damienflament/archlinux-installation
Readme: Add ArchLinux installation
2017-12-11 16:48:05 +01:00
Damien Flament b79a0908c8 Added link to the AUR package 2017-12-11 16:44:39 +01:00
Damien Flament 07b928b00c Added ArchLinux installation instructions 2017-12-11 13:10:57 +01:00
Lennart Spitzner 63c04e0b66
Merge pull request #75 from lpil/patch-1
Add missing code blocks to layout docs
2017-12-09 16:12:09 +01:00
Louis Pilfold 3130fecf07
Add missing code blocks to layout docs 2017-12-09 15:09:22 +00:00
Lennart Spitzner 4ded834a97 Clean-up cabal file: Remove development flag 2017-12-08 21:14:35 +01:00
Lennart Spitzner 16d5116193 Bump to 0.9.0.0 2017-12-08 21:11:39 +01:00
Lennart Spitzner eba7fc0d37 Add ChangeLog for 0.9.0.0 2017-12-08 19:59:06 +01:00
Lennart Spitzner 39c48b33f1 Fix error in Annotation filtering (fixes #70) 2017-12-08 19:57:16 +01:00
Lennart Spitzner 5bba918705
Merge pull request #66 from eborden/indentpolicyleft
Support IndentPolicyLeft
2017-12-01 00:30:27 +01:00
Lennart Spitzner 072b1cf091 Make macOS the first travis build job (it is slowest) 2017-12-01 00:12:09 +01:00
Lennart Spitzner 127299b442 Merge branch 'dev' into indentpolicyleft 2017-11-30 23:47:18 +01:00
Lennart Spitzner 882a3b1a7a Allow single-line after let with IndentPolicyLeft 2017-11-30 23:20:35 +01:00
Lennart Spitzner 8a401d291e Workaround for #68: trim exactprinted text for unknown nodes 2017-11-28 18:23:05 +01:00
Lennart Spitzner 6a97379b33 Add whitespace around operator in section, Fixes #67 2017-11-28 17:56:28 +01:00
Lennart Spitzner d9155e240d RecursiveDo: Add second layout, Respect IndentPolicyLeft 2017-11-27 23:13:13 +01:00
Lennart Spitzner 466ff237ff Add some comments/examples in layoutStmt 2017-11-27 23:05:47 +01:00
Lennart Spitzner 9e8571b848 Remove an unnecessary node in BriDoc construction; Add TODO 2017-11-27 23:01:32 +01:00
Evan Rutledge Borden f6859d184f Fix tests after rebase. 2017-11-27 13:05:04 -05:00
Evan Rutledge Borden e9a2de7a85 Filter binders with docSetBaseAndIndent. 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden de0851f975 Use docAltFilter for consistency. 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden 35f33c131c Remove duplication in 'let' expression layout. 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden ba3d9ad739 Add tests for record construction. 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden d7ac478fc6 Update type operator pending tests to remove context. 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden 44e95940c0 Change record update syntax for left indent policy 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden a6bea7542b Update pending long operator use for left indent. 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden d1e1984206 Update guard formatting for IndentPolicyLeft 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden f3c37a6abf Update pending long argument test to context free. 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden cd9f7de566 Update pending type operator test for context free. 2017-11-27 18:12:19 +01:00
Evan Rutledge Borden a13a137f68 Add left indent support for statements
This aligns left indent style `let` statements with their expression
form.
2017-11-27 18:12:19 +01:00
Evan Rutledge Borden de5f0401f3 Add consistency between contsrained and unconstrained forall format
Constrained forall formats aligned the `.` to the left. Constrained
formats aligned the `.` to the right. This change adds consistency
between both formats.
2017-11-27 18:12:19 +01:00
Evan Rutledge Borden 3bbf81baab Add literate tests for context free formatting
Left indent combined with no columnized alignment represents a context
free formatting style for brittany. These tests allow this format to be
tested until inline formatting tools are available to make these files
less redundant.
2017-11-27 18:12:19 +01:00
Evan Rutledge Borden ce41178df5 Remove context sensitive let indentation when IndentPolicyLeft
Let expressions with multiple bindings automattically indent and pull
left

```
let
  a = b
  c = d
in foo bar baz
```

```
let
  a = b
  c = d
in
  foo bar baz
```

```
let
  a = b
  c = d
in foo
  bar
  baz
```

```
let
  a = b
  c = d
in
  foo
    bar
    baz
```
2017-11-27 18:12:19 +01:00
Evan Rutledge Borden bdf8769913 Remove 3 space special case from HsIf when IndentPolicyLeft
```
if foo
   bar
then
  baz
```

becomes

```
if foo
  bar
then
  baz
```
2017-11-27 18:12:19 +01:00
Lennart Spitzner 88cbaf813a Implement `IndentPolicyLeft` for one HsApp case 2017-11-27 18:12:19 +01:00
Lennart Spitzner 4568bd3553 Prepare implementation for `IndentPolicyLeft` 2017-11-27 18:12:19 +01:00
Lennart Spitzner fdd2f5f6dc Try fix shitty travis CI script again 2017-11-27 18:11:49 +01:00
Lennart Spitzner c709513209 Remove dependency on either package
Following the deprecation and removal of the EitherT transformer
2017-11-27 18:11:49 +01:00
Lennart Spitzner ea1720f95e Merge branch 'master' into dev 2017-11-25 19:09:13 +01:00
Lennart Spitzner 37436e675a
Update README.md: Mention stackage nightly, contribution, dev branch 2017-11-25 00:58:33 +01:00
Lennart Spitzner f46fcc135d Update doc/HCAR entry 2017-11-19 22:20:39 +01:00
Lennart Spitzner 26f8cdfb65 Support RecursiveDo/`rec` keyword 2017-10-24 00:25:59 +02:00
Lennart Spitzner 338beb8eea Move testcases for extensions in separate testfile 2017-10-24 00:15:53 +02:00
Lennart Spitzner ddd7c6b439 Fix some rare issue and add some comments
(it is so rare i cannot reproduce anymore right now,
because the code that caused it has changed since..)
2017-10-24 00:00:34 +02:00