Commit Graph

  • 722f03aa11 Clean up prelude.inc Lennart Spitzner 2017-08-13 00:42:10 +0200
  • 3ac8cccb0f Refactor prelude.inc/Prelude to reduce imports Lennart Spitzner 2017-08-12 23:40:14 +0200
  • ebf84a03e9 Merge remote-tracking branch 'origin/master' Lennart Spitzner 2017-08-12 15:29:06 +0200
  • 06c0a14b0e Merge pull request #46 from eschnett/patch-1 Lennart Spitzner 2017-08-12 15:24:19 +0200
  • 0774d0e413 Correct typographical errors in comments #46 Erik Schnetter 2017-08-11 21:37:29 -0400
  • b0f211fbfc Add/Use flag `-h` for `--help`, fixes #44 Lennart Spitzner 2017-08-10 17:46:21 +0200
  • 655074d1c0 Fix comment insertion error introduced in 91b9a240 Lennart Spitzner 2017-08-10 13:09:39 +0200
  • 08e94f0e74 Differentiate ErrNos Lennart Spitzner 2017-08-08 00:47:04 +0200
  • 69c50bebd3 Refactor Main.hs in preparation of --inplace (see #40) Lennart Spitzner 2017-08-08 00:46:09 +0200
  • 91b9a240f1 Fix comment-before-BDCols issue; Relax alignmentBreakOnMultiline Lennart Spitzner 2017-08-07 00:32:10 +0200
  • 41beeb9723 Remove/Cleanup unused/deprecated MTEL stuff Lennart Spitzner 2017-08-06 16:28:41 +0200
  • b39997fcfa Adapt for ghc-8.2 Lennart Spitzner 2017-08-05 17:34:53 +0200
  • ccb59ef803 Fix wherespecial with indent/=2 (fixes #39) Lennart Spitzner 2017-08-05 16:09:46 +0200
  • 6da000f872 Fix package description formatting Lennart Spitzner 2017-08-04 15:02:43 +0200
  • f3787be410 Add tests.blt in source dist (extra-source-files) Lennart Spitzner 2017-08-04 12:27:20 +0200
  • 5ff38c1eca Update stack resolver to lts-9.0; Bump syb dep bound Lennart Spitzner 2017-08-04 12:15:49 +0200
  • 052e943221 Update install instructions for cabal/new 0.8.0.2 Lennart Spitzner 2017-08-04 10:57:43 +0200
  • 03e10b2cc9 Update install instructions for cabal/old Lennart Spitzner 2017-08-03 21:32:25 +0200
  • 67e99d3034 Add README.md and doc/implementation/*.md to sdist Lennart Spitzner 2017-08-04 10:44:07 +0200
  • 7962e196d5 Fix cabal/package/building warnings Lennart Spitzner 2017-08-03 22:24:06 +0200
  • 494a06e2a8 Update maintainer email address Lennart Spitzner 2017-08-03 22:15:35 +0200
  • 2f52bcdca9 Bump to 0.8.0.2; Update changelog Lennart Spitzner 2017-08-03 21:26:34 +0200
  • 339c61d520 Update README.md: Add another link to showcases Lennart Spitzner 2017-08-03 21:19:33 +0200
  • c6e040b4bf Update README.md: Rephrase notes/issues Lennart Spitzner 2017-08-03 21:17:16 +0200
  • f33d7f4813 Update README.md Lennart Spitzner 2017-08-03 20:54:32 +0200
  • 706bacd344 Add another showcase/example Lennart Spitzner 2017-08-03 20:36:46 +0200
  • da692a4341 Update showcases / Add more example layouts Lennart Spitzner 2017-08-03 14:23:41 +0200
  • 00ad6c71b9 Impl. layouting of TypeApplication, fixes #38 Lennart Spitzner 2017-07-28 18:00:31 +0200
  • aa74ec11ba Add dist-newstyle .gitignore Lennart Spitzner 2017-07-28 17:58:21 +0200
  • f43b96d920 Merge pull request #35 from alanz/dev Lennart Spitzner 2017-07-07 13:52:17 +0200
  • 33eed86851 Fix haddock generation. #35 Alan Zimmerman 2017-07-07 10:40:55 +0200
  • 134f31e4d1 Add Semigroup instances for C*Config Identity Lennart Spitzner 2017-07-05 00:08:21 +0200
  • 6268b8075a Fix layouting bug for RecordUpd Lennart Spitzner 2017-07-04 23:54:02 +0200
  • 5a82968a7b Add sub-config-alternative default to lib interface Lennart Spitzner 2017-07-04 22:32:03 +0200
  • 0251062100 Support mdo layouting (RecursiveDo) Lennart Spitzner 2017-06-29 18:13:28 +0200
  • cece70380c Fix/Implement proper layouting of MultiWayIf Lennart Spitzner 2017-06-28 23:35:02 +0200
  • 6d472315e3 Fix layouting special-case (getSpacing(s) internals) Lennart Spitzner 2017-06-04 18:15:22 +0200
  • 5e3cc0a7c3 Fix OpApp layouting/indentation annoyance Lennart Spitzner 2017-06-04 16:28:01 +0200
  • 16f5aa118d Add flag to omit reformatting (ghc-exactprint only) Lennart Spitzner 2017-06-03 20:59:18 +0200
  • 8443988af3 Change help text Lennart Spitzner 2017-05-25 14:04:09 +0200
  • 9f4cda9130 Add license (AGPLv3) Lennart Spitzner 2017-05-25 13:14:57 +0200
  • 91429ccacc Remove unordered-containers direct dependency Lennart Spitzner 2017-05-25 13:12:11 +0200
  • bdc85eb744 Expose module Paths_brittany Lennart Spitzner 2017-05-23 00:39:29 +0200
  • 3784a0123b Refactor exposed function (now parsePrintModule) Lennart Spitzner 2017-05-23 00:31:58 +0200
  • dfec26e55b Refactor/Rename LayoutError -> BrittanyError Lennart Spitzner 2017-05-23 00:09:42 +0200
  • 72b8817f32 Add testsuite for the library interface Lennart Spitzner 2017-05-23 00:01:50 +0200
  • 1adf02dabe Add instance Monoid (CConfig Option) Lennart Spitzner 2017-05-22 23:12:38 +0200
  • 135460622f Bump to 0.8.0.1; Add changelog Lennart Spitzner 2017-05-22 22:33:18 +0200
  • f350113f7f Refactor all modules: +Internal; Add public Brittany module Lennart Spitzner 2017-05-22 21:25:08 +0200
  • 5dbe0f2c9c Add function pureModuleTransform Lennart Spitzner 2017-05-22 21:04:19 +0200
  • 2dfa691f9e Rename /docs -> /doc Lennart Spitzner 2017-05-22 16:51:49 +0200
  • 72c87b7b4e Auto-reformat Main.hs Lennart Spitzner 2017-05-22 15:58:04 +0200
  • fd9427754e Add "hackAroundIncludes" option (default false) Lennart Spitzner 2017-05-22 15:49:18 +0200
  • 3957272c10 Improve backwards-compat for config (manual FromJson) Lennart Spitzner 2017-05-22 15:45:14 +0200
  • 8f1e366f9c Change config file structure; Add config version tag Lennart Spitzner 2017-05-21 16:46:10 +0200
  • 647fa94ef3 Reword docs: Mention that BriDoc trees are DAGs Lennart Spitzner 2017-05-21 13:56:20 +0200
  • 4ee44388f7 Improve layouting for OpApp (special-case for dollar/HsVar) Lennart Spitzner 2017-05-21 13:43:39 +0200
  • b8396da1d6 Refactor Backend.hs (Move stuff to top-level) Lennart Spitzner 2017-05-21 13:17:46 +0200
  • 8b7b1334e2 Fix forall type signature layouting Lennart Spitzner 2017-05-18 14:18:10 +0200
  • 296629b96c Update README.md (installation); Fix copyright notice Lennart Spitzner 2017-05-17 23:24:15 +0200
  • 83ba7803e6 Fix layouting issues in lists/listcomprehension Lennart Spitzner 2017-05-17 22:52:24 +0200
  • 56e53a9cbb Apply brittany to `layoutBriDocM` Lennart Spitzner 2017-05-17 21:38:50 +0200
  • 6448ee780a Restrict aggressive horizontal alignment (fixes #21) Lennart Spitzner 2017-05-17 21:34:49 +0200
  • 07164b39dc Clean up .cabal file and stack.yaml Lennart Spitzner 2017-05-17 21:28:20 +0200
  • 68e77c9337 Fixup for czipwith and Update stack.yaml Lennart Spitzner 2017-05-14 19:27:16 +0200
  • 22300d9c62 Minor cleanups Lennart Spitzner 2017-05-14 17:10:20 +0200
  • 41a86b2eab Use czipwith package (replacing CZip), Refactor slightly Lennart Spitzner 2017-05-14 17:04:58 +0200
  • 4770dbdb7c Remove lens dependency (was not used) Lennart Spitzner 2017-05-14 12:05:19 +0200
  • d56c4f5e6b Add more high-level documentation: index, dataflow Lennart Spitzner 2017-05-11 21:39:26 +0200
  • eac73c9a7b Add more high-level documentation: theory.md Lennart Spitzner 2017-05-11 17:36:28 +0200
  • 7775812cfd Add dataflow documentation graphs Lennart Spitzner 2017-05-10 21:35:13 +0200
  • bb7a92bf2b Update README.md: mention alignment is optional Lennart Spitzner 2017-05-02 20:14:59 +0200
  • c701e5d00b Fix #26: Fix comment glitch in patternbind layouting Lennart Spitzner 2017-05-02 17:10:04 +0200
  • c3dc3b6074 And one more touch to ExplicitList Lennart Spitzner 2017-05-02 16:31:51 +0200
  • ca42178eff Improve tuple layouting (also fixes #18 for tuples) Lennart Spitzner 2017-05-02 16:20:35 +0200
  • f6324da600 Fix ExplicitList comment insertion (fixes #18) Lennart Spitzner 2017-05-02 14:20:58 +0200
  • 26ffb40fb4 Fixup for config file generation Lennart Spitzner 2017-04-16 13:55:49 +0200
  • cbeab39b2d Fix comment/eof space handling (fixes #22) Lennart Spitzner 2017-04-15 14:50:55 +0200
  • 505ad99f35 Handle InlineSig construct (pragma), fixes #20 Lennart Spitzner 2017-04-12 14:55:32 +0200
  • acbaba0782 Omit output syntax test for fix-point tests Lennart Spitzner 2017-04-12 14:53:47 +0200
  • 14884be8df Minor fixups in docs plus some minor Refactoring Lennart Spitzner 2017-04-12 14:31:53 +0200
  • 2dd6fe83f5 Add documentation and examples; Add debugging flag; Minor refactors Lennart Spitzner 2017-03-30 22:47:00 +0200
  • 2b30d83fe8 Fix CPP/macro usage for MacOS; Fix minor stuff in .cabal Lennart Spitzner 2017-03-27 16:18:14 +0200
  • aa2a8af6e1 Complete basic documentation of BriDoc api Lennart Spitzner 2017-03-17 13:11:12 +0100
  • a7e4bdc168 Fix #16; Improve layouting in two cases; Add comments Lennart Spitzner 2017-03-16 23:02:11 +0100
  • 19a05d01c4 Add more documentation to BriDoc api Lennart Spitzner 2017-03-08 17:33:56 +0100
  • 109163fc4d Remove traceShow statement Lennart Spitzner 2017-03-08 14:55:02 +0100
  • 7dc6c525eb Fix minor layouting issue with long guards Lennart Spitzner 2017-03-07 21:43:01 +0100
  • 00c7384d20 Fix config printing (config file generation) Lennart Spitzner 2017-03-07 21:14:41 +0100
  • ed10137174 Add documentation around the BriDoc type/api Lennart Spitzner 2017-03-06 20:49:08 +0100
  • cea81d5369 Add indentation to the paragraphs inserted in patterns Lennart Spitzner 2017-03-06 16:52:05 +0100
  • 8d163eb099 Improve layouting for equations with multiple clauses Lennart Spitzner 2017-03-06 15:58:57 +0100
  • df422ffa5f Refactor/Cleanup layoutPatternBindFinal Lennart Spitzner 2017-03-06 15:55:12 +0100
  • af38c547e5 Merge pull request #13 from lspitzner/stackage-lts-8.4 Lennart Spitzner 2017-03-06 15:33:54 +0100
  • 2af4b32ce2 Upgrade to Stackage LTS 8.4 #13 Taylor Fausak 2017-03-06 08:21:17 -0600
  • bae75182d7 README.md: Fix mentioned config keys Lennart Spitzner 2017-03-06 13:20:26 +0100
  • 71d7abc007 Fix config for idemtests (fixup for config setup change) Lennart Spitzner 2017-03-06 12:51:37 +0100
  • 575d530188 Use ExactPrintFallback for unknown constructs Lennart Spitzner 2017-03-06 12:42:27 +0100
  • 0a907c5594 Add some pending issues testcases Lennart Spitzner 2017-03-01 22:04:41 +0100
  • 9421587da9 Merge pull request #8 from tuncer/directory-bound Lennart Spitzner 2017-02-28 00:26:19 +0100