purescript 0.10.7 → 0.11.0

raw patch · 230 files changed

+7854/−6248 lines, 230 filesdep +gitrevdep −aeson-prettydep −foldldep −system-filepathdep ~Globdep ~aesondep ~basenew-component:exe:pursPVP ok

version bump matches the API change (PVP)

Dependencies added: gitrev

Dependencies removed: aeson-pretty, foldl, system-filepath, turtle

Dependency ranges changed: Glob, aeson, base, blaze-html, directory, http-client, mtl, optparse-applicative, parsec, pipes, process, stm, transformers, transformers-compat, websockets

API changes (from Hackage documentation)

Files

• CONTRIBUTING.md +16/−2
• CONTRIBUTORS.md +108/−89
• LICENSE +1/−247
• README.md +1/−1
• app/Command/Bundle.hs +129/−0
• app/Command/Compile.hs +150/−0
• app/Command/Docs.hs +260/−0
• app/Command/Docs/Ctags.hs +13/−0
• app/Command/Docs/Etags.hs +13/−0
• app/Command/Docs/Html.hs +181/−0
• app/Command/Docs/Tags.hs +21/−0
• app/Command/Hierarchy.hs +111/−0
• app/Command/Ide.hs +213/−0
• app/Command/Publish.hs +52/−0
• app/Command/REPL.hs +379/−0
• app/Main.hs +64/−0
• app/Version.hs +23/−0
• app/static/index.html +10/−0
• app/static/index.js +63/−0
• app/static/normalize.css +427/−0
• app/static/pursuit.css +703/−0
• examples/docs/bower.json +1/−0
• examples/docs/resolutions.json +21/−0
• examples/docs/src/ConstrainedArgument.purs +2/−3
• examples/docs/src/TypeClassWithFunDeps.purs +1/−1
• examples/failing/1071.purs +1/−1
• examples/failing/1310.purs +1/−1
• examples/failing/2445.purs +0/−6
• examples/failing/2567.purs +5/−0
• examples/failing/2601.purs +1/−1
• examples/failing/2616.purs +9/−0
• examples/failing/DuplicateProperties.purs +12/−0
• examples/failing/DuplicateProperties1.purs +0/−12
• examples/failing/DuplicateProperties2.purs +0/−12
• examples/failing/InvalidDerivedInstance.purs +8/−0
• examples/failing/InvalidDerivedInstance2.purs +6/−0
• examples/failing/LetPatterns1.purs +10/−0
• examples/failing/LetPatterns2.purs +14/−0
• examples/failing/LetPatterns3.purs +13/−0
• examples/failing/LetPatterns4.purs +6/−0
• examples/failing/NonExhaustivePatGuard.purs +5/−0
• examples/failing/Superclasses5.purs +3/−3
• examples/failing/UnusableTypeClassMethod.purs +7/−0
• examples/failing/UnusableTypeClassMethodConflictingIdent.purs +7/−0
• examples/failing/UnusableTypeClassMethodSynonym.purs +9/−0
• examples/passing/1110.purs +26/−0
• examples/passing/1335.purs +14/−14
• examples/passing/1697.purs +3/−3
• examples/passing/1991.purs +1/−1
• examples/passing/2609.purs +12/−0
• examples/passing/2609/Eg.purs +6/−0
• examples/passing/2616.purs +13/−0
• examples/passing/2626.purs +13/−0
• examples/passing/2663.purs +9/−0
• examples/passing/2689.purs +36/−0
• examples/passing/2695.purs +13/−0
• examples/passing/2756.purs +20/−0
• examples/passing/CheckTypeClass.purs +2/−2
• examples/passing/ClassRefSyntax.purs +1/−1
• examples/passing/Collatz.purs +2/−2
• examples/passing/Console.purs +3/−3
• examples/passing/ConstraintParens.purs +12/−0
• examples/passing/DctorOperatorAlias.purs +1/−1
• examples/passing/Do.purs +2/−2
• examples/passing/DuplicateProperties.purs +27/−0
• examples/passing/Eff.purs +2/−2
• examples/passing/EntailsKindedType.purs +2/−2
• examples/passing/ExtendedInfixOperators.purs +1/−1
• examples/passing/Fib.purs +2/−2
• examples/passing/FinalTagless.purs +1/−1
• examples/passing/FunWithFunDeps.purs +4/−4
• examples/passing/GenericsRep.purs +8/−0
• examples/passing/Guards.purs +36/−2
• examples/passing/KindedType.purs +5/−5
• examples/passing/LetPattern.purs +196/−0
• examples/passing/MutRec2.purs +1/−1
• examples/passing/MutRec3.purs +1/−1
• examples/passing/NakedConstraint.purs +1/−1
• examples/passing/NewtypeClass.purs +2/−1
• examples/passing/Operators.purs +1/−1
• examples/passing/OverlappingInstances2.purs +27/−27
• examples/passing/OverlappingInstances3.purs +20/−20
• examples/passing/PrimedTypeName.purs +20/−20
• examples/passing/Rank2TypeSynonym.purs +1/−1
• examples/passing/RebindableSyntax.purs +43/−43
• examples/passing/RowPolyInstanceContext.purs +1/−1
• examples/passing/RowUnion.js +10/−0
• examples/passing/RowUnion.purs +68/−0
• examples/passing/Sequence.purs +1/−1
• examples/passing/SequenceDesugared.purs +9/−9
• examples/passing/StringEscapes.purs +26/−26
• examples/passing/Superclasses1.purs +1/−1
• examples/passing/Superclasses3.purs +3/−3
• examples/passing/TypeClasses.purs +4/−4
• examples/passing/TypeWildcards.purs +1/−1
• examples/passing/TypedBinders.purs +3/−3
• examples/passing/UnicodeType.purs +2/−2
• examples/passing/UnifyInTypeInstanceLookup.purs +2/−2
• examples/passing/UnknownInTypeClassLookup.purs +1/−1
• examples/passing/UsableTypeClassMethods.purs +35/−0
• examples/warning/ShadowedBinderPatternGuard.purs +7/−0
• examples/warning/ShadowedNameParens.purs +5/−0
• hierarchy/Main.hs +0/−119
• psc-bundle/Main.hs +0/−147
• psc-docs/Ctags.hs +0/−13
• psc-docs/Etags.hs +0/−13
• psc-docs/Main.hs +0/−253
• psc-docs/Tags.hs +0/−21
• psc-ide-client/Main.hs +0/−50
• psc-ide-server/Main.hs +0/−187
• psc-package/Main.hs +0/−423
• psc-publish/Main.hs +0/−57
• psc/Main.hs +0/−182
• psci/Main.hs +0/−377
• psci/static/index.html +0/−10
• psci/static/index.js +0/−63
• purescript.cabal +62/−176
• src/Language/PureScript/AST/Binders.hs +9/−1
• src/Language/PureScript/AST/Declarations.hs +48/−8
• src/Language/PureScript/AST/Exported.hs +1/−1
• src/Language/PureScript/AST/Traversals.hs +80/−41
• src/Language/PureScript/Bundle.hs +10/−9
• src/Language/PureScript/CodeGen.hs +1/−1
• src/Language/PureScript/CodeGen/JS.hs +155/−166
• src/Language/PureScript/CodeGen/JS/AST.hs +0/−398
• src/Language/PureScript/CodeGen/JS/Common.hs +6/−18
• src/Language/PureScript/CodeGen/JS/Optimizer.hs +0/−73
• src/Language/PureScript/CodeGen/JS/Optimizer/Blocks.hs +0/−32
• src/Language/PureScript/CodeGen/JS/Optimizer/Common.hs +0/−78
• src/Language/PureScript/CodeGen/JS/Optimizer/Inliner.hs +0/−385
• src/Language/PureScript/CodeGen/JS/Optimizer/MagicDo.hs +0/−137
• src/Language/PureScript/CodeGen/JS/Optimizer/TCO.hs +0/−120
• src/Language/PureScript/CodeGen/JS/Optimizer/Unused.hs +0/−35
• src/Language/PureScript/CodeGen/JS/Printer.hs +272/−0
• src/Language/PureScript/Constants.hs +15/−6
• src/Language/PureScript/CoreFn/Desugar.hs +49/−63
• src/Language/PureScript/CoreFn/Meta.hs +2/−2
• src/Language/PureScript/CoreImp.hs +13/−0
• src/Language/PureScript/CoreImp/AST.hs +224/−0
• src/Language/PureScript/CoreImp/Optimizer.hs +60/−0
• src/Language/PureScript/CoreImp/Optimizer/Blocks.hs +28/−0
• src/Language/PureScript/CoreImp/Optimizer/Common.hs +76/−0
• src/Language/PureScript/CoreImp/Optimizer/Inliner.hs +383/−0
• src/Language/PureScript/CoreImp/Optimizer/MagicDo.hs +134/−0
• src/Language/PureScript/CoreImp/Optimizer/TCO.hs +123/−0
• src/Language/PureScript/CoreImp/Optimizer/Unused.hs +34/−0
• src/Language/PureScript/Docs/AsHtml.hs +7/−4
• src/Language/PureScript/Docs/Convert/ReExports.hs +1/−1
• src/Language/PureScript/Docs/Convert/Single.hs +1/−1
• src/Language/PureScript/Docs/Prim.hs +9/−6
• src/Language/PureScript/Docs/RenderedCode/RenderType.hs +5/−9
• src/Language/PureScript/Docs/Types.hs +5/−3
• src/Language/PureScript/Environment.hs +102/−136
• src/Language/PureScript/Errors.hs +75/−28
• src/Language/PureScript/Externs.hs +12/−10
• src/Language/PureScript/Ide.hs +1/−1
• src/Language/PureScript/Ide/Error.hs +38/−6
• src/Language/PureScript/Ide/Externs.hs +5/−5
• src/Language/PureScript/Ide/Imports.hs +72/−79
• src/Language/PureScript/Ide/Pursuit.hs +1/−5
• src/Language/PureScript/Ide/Rebuild.hs +9/−9
• src/Language/PureScript/Ide/Reexports.hs +8/−5
• src/Language/PureScript/Ide/SourceFile.hs +4/−28
• src/Language/PureScript/Ide/Types.hs +29/−37
• src/Language/PureScript/Ide/Util.hs +8/−17
• src/Language/PureScript/Interactive.hs +18/−8
• src/Language/PureScript/Interactive/Completion.hs +6/−4
• src/Language/PureScript/Interactive/Directive.hs +6/−3
• src/Language/PureScript/Interactive/Message.hs +14/−11
• src/Language/PureScript/Interactive/Module.hs +12/−11
• src/Language/PureScript/Interactive/Parser.hs +23/−21
• src/Language/PureScript/Interactive/Types.hs +7/−3
• src/Language/PureScript/Kinds.hs +0/−3
• src/Language/PureScript/Linter.hs +5/−4
• src/Language/PureScript/Linter/Exhaustive.hs +30/−22
• src/Language/PureScript/Linter/Imports.hs +7/−6
• src/Language/PureScript/Make.hs +6/−5
• src/Language/PureScript/ModuleDependencies.hs +16/−16
• src/Language/PureScript/Names.hs +1/−1
• src/Language/PureScript/Options.hs +9/−31
• src/Language/PureScript/Parser.hs +23/−23
• src/Language/PureScript/Parser/Declarations.hs +104/−74
• src/Language/PureScript/Parser/Kinds.hs +11/−9
• src/Language/PureScript/Parser/Lexer.hs +9/−0
• src/Language/PureScript/Parser/Types.hs +26/−5
• src/Language/PureScript/Pretty.hs +4/−9
• src/Language/PureScript/Pretty/JS.hs +0/−303
• src/Language/PureScript/Pretty/Types.hs +4/−5
• src/Language/PureScript/Pretty/Values.hs +9/−9
• src/Language/PureScript/Publish.hs +88/−107
• src/Language/PureScript/Publish/ErrorsWarnings.hs +57/−53
• src/Language/PureScript/Publish/Utils.hs +8/−35
• src/Language/PureScript/Sugar.hs +4/−1
• src/Language/PureScript/Sugar/BindingGroups.hs +15/−13
• src/Language/PureScript/Sugar/CaseDeclarations.hs +248/−29
• src/Language/PureScript/Sugar/DoNotation.hs +27/−25
• src/Language/PureScript/Sugar/LetPattern.hs +47/−0
• src/Language/PureScript/Sugar/Names.hs +20/−16
• src/Language/PureScript/Sugar/Names/Common.hs +3/−2
• src/Language/PureScript/Sugar/ObjectWildcards.hs +8/−8
• src/Language/PureScript/Sugar/TypeClasses.hs +35/−36
• src/Language/PureScript/Sugar/TypeClasses/Deriving.hs +148/−105
• src/Language/PureScript/Sugar/TypeDeclarations.hs +3/−5
• src/Language/PureScript/TypeChecker.hs +37/−13
• src/Language/PureScript/TypeChecker/Entailment.hs +68/−44
• src/Language/PureScript/TypeChecker/Kinds.hs +5/−6
• src/Language/PureScript/TypeChecker/Monad.hs +5/−0
• src/Language/PureScript/TypeChecker/Rows.hs +0/−53
• src/Language/PureScript/TypeChecker/Skolems.hs +78/−76
• src/Language/PureScript/TypeChecker/Subsumption.hs +9/−26
• src/Language/PureScript/TypeChecker/TypeSearch.hs +36/−3
• src/Language/PureScript/TypeChecker/Types.hs +98/−70
• src/Language/PureScript/TypeChecker/Unify.hs +46/−31
• src/Language/PureScript/TypeClassDictionaries.hs +7/−0
• src/Language/PureScript/Types.hs +50/−88
• stack.yaml +0/−1
• tests/Language/PureScript/Ide/ImportsSpec.hs +39/−0
• tests/Language/PureScript/Ide/ReexportsSpec.hs +16/−13
• tests/Language/PureScript/Ide/SourceFileSpec.hs +1/−1
• tests/Language/PureScript/Ide/StateSpec.hs +2/−0
• tests/Language/PureScript/Ide/Test.hs +4/−4
• tests/TestDocs.hs +6/−8
• tests/TestPscPublish.hs +6/−4
• tests/TestPsci.hs +5/−121
• tests/TestPsci/CommandTest.hs +35/−0
• tests/TestPsci/CompletionTest.hs +108/−0
• tests/TestPsci/TestEnv.hs +81/−0
• tests/TestUtils.hs +2/−0
• tests/support/bower.json +16/−13
• tests/support/prelude-resolutions.json +7/−0

@@ -10,10 +10,24 @@  Please follow the following guidelines: -- Add at least a test to `examples/passing/` and possibly to `examples/failing`.+- Add at least a test to `examples/passing/` and possibly to `examples/failing/`. - Build the binaries and libs with `stack build`-- Run the test suite with `stack test`. You will need `npm`, `bower` and `node` on your PATH to run the tests.+- Make sure that all test suites are passing. Run the test suites with `stack test`. - Build the core libraries by running the script in `core-tests`.++## Tests++Run all test suites with `stack test`. You will need `npm`, `bower` and `node` on your PATH to run the tests.++To build and run a specific test in `examples/passing/` or `examples/failing/`, execute the following commands.++``` bash+# Build+stack exec psc -- 'tests/support/bower_components/purescript-*/src/**/*.purs' examples/blah/Blah.purs++# Run+node -e "require('./output/Main/').main()"+```  ## Code Review 

@@ -2,96 +2,115 @@  This file lists the contributors to the PureScript compiler project, and the terms under which their code is licensed. -### Individuals+### Contributors using Standard Terms -- [@5outh](https://github.com/5outh) (Benjamin Kovach) - My existing contributions and all future contributions until further notice are Copyright Benjamin Kovach, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@andreypopp](https://github.com/andreypopp) (Andrey Popp) My existing contributions and all future contributions until further notice are Copyright Andrey Popp, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@andyarvanitis](https://github.com/andyarvanitis) (Andy Arvanitis) My existing contributions and all future contributions until further notice are Copyright Andy Arvanitis, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@anthok88](https://github.com/anthoq88) - My existing contributions and all future contributions until further notice are Copyright anthoq88, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license-- [@ardumont](https://github.com/ardumont) (Antoine R. Dumont) My existing contributions and all future contributions until further notice are Copyright Antoine R. Dumont, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@aspidites](https://github.com/aspidites) (Edwin Marshall) My existing contributions and all future contributions until further notice are Copyright Edwin Marshall, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@bagl](https://github.com/bagl) (Petr Vapenka) My existing contributions and all future contributions until further notice are Copyright Petr Vapenka, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@balajirrao](https://github.com/balajirrao) (Balaji Rao) - My existing contributions and all future contributions until further notice are Copyright Balaji Rao, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@bergmark](https://github.com/bergmark) (Adam Bergmark) - My existing contributions and all future contributions until further notice are Copyright Adam Bergmark, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@bmjames](https://github.com/bmjames) (Ben James) My existing contributions and all future contributions until further notice are Copyright Ben James, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@Bogdanp](https://github.com/Bogdanp) (Bogdan Paul Popa) My existing contributions and all future contributions until further notice are Copyright Bogdan Paul Popa, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@bsermons](https://github.com/bsermons) (Brian Sermons) My existing contributions and all future contributions until further notice are Copyright Brian Sermons, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@cdepillabout](https://github.com/cdepillabout) (Dennis Gosnell) My existing contributions and all future contributions until further notice are Copyright Dennis Gosnell, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@charleso](https://github.com/charleso) (Charles O'Farrell) My existing contributions to the PureScript compiler and all future contributions to the PureScript compiler until further notice, are Copyright Charles O'Farrell, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@chrisdone](https://github.com/chrisdone) (Chris Done) - My existing contributions and all future contributions until further notice are Copyright Chris Done, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@chrissmoak](https://github.com/chrissmoak) (Chris Smoak) My existing contributions to the PureScript compiler and all future contributions to the PureScript compiler until further notice, are Copyright Chris Smoak, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@codedmart](https://github.com/codedmart) (Brandon Martin) My existing contributions and all future contributions until further notice are Copyright Brandon Martin, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@davidchambers](https://github.com/davidchambers) (David Chambers) My existing contributions and all future contributions until further notice are Copyright David Chambers, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@DavidLindbom](https://github.com/DavidLindbom) (David Lindbom) My existing contributions and all future contributions until further notice are Copyright David Lindbom, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@dckc](https://github.com/dckc) (Dan Connolly) My existing contributions and all future contributions until further notice are Copyright Dan Connolly, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@dylex](https://github.com/dylex) (Dylan Simon) My existing and all future contributions to the PureScript compiler until further notice are Copyright Dylan Simon, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@eamelink](https://github.com/eamelink) (Erik Bakker) - My existing contributions and all future contributions until further notice are Copyright Erik Bakker, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@epost](https://github.com/epost) (Erik Post) - My existing contributions and all future contributions until further notice are Copyright Erik Post, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license-- [@erdeszt](https://github.com/erdeszt) (Tibor Erdesz) My existing contributions and all future contributions until further notice are Copyright Tibor Erdesz, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@etrepum](https://github.com/etrepum) (Bob Ippolito) My existing contributions and all future contributions until further notice are Copyright Bob Ippolito, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@faineance](https://github.com/faineance) My existing contributions and all future contributions until further notice are Copyright faineance, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@felixSchl](https://github.com/felixSchl) (Felix Schlitter) My existing contributions and all future contributions until further notice are Copyright Felix Schlitter, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@FrigoEU](https://github.com/FrigoEU) (Simon Van Casteren) My existing contributions and all future contributions until further notice are Copyright Simon Van Casteren, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@garyb](https://github.com/garyb) (Gary Burgess) My existing contributions and all future contributions until further notice are Copyright Gary Burgess, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@hdgarrood](https://github.com/hdgarrood) (Harry Garrood) My existing contributions and all future contributions until further notice are Copyright Harry Garrood, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@ianbollinger](https://github.com/ianbollinger) (Ian D. Bollinger) My existing contributions and all future contributions until further notice are Copyright Ian D. Bollinger, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@ilovezfs](https://github.com/ilovezfs) - My existing contributions and all future contributions until further notice are Copyright ilovezfs, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license-- [@izgzhen](https://github.com/izgzhen) (Zhen Zhang) My existing contributions and all future contributions until further notice are Copyright Zhen Zhang, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@jacereda](https://github.com/jacereda) (Jorge Acereda) My existing contributions and all future contributions until further notice are Copyright Jorge Acereda, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@japesinator](https://github.com/japesinator) (JP Smith) My existing contributions and all future contributions until further notice are Copyright JP Smith, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@joneshf](https://github.com/joneshf) (Hardy Jones) - My existing contributions and all future contributions until further notice are Copyright Hardy Jones, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@kika](https://github.com/kika) (Kirill Pertsev) - My existing contributions and all future contributions until further notice are Copyright Kirill Pertsev, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@kRITZCREEK](https://github.com/kRITZCREEK) (Christoph Hegemann) - My existing contributions and all future contributions until further notice are Copyright Christoph Hegemann, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@L8D](https://github.com/L8D) (Tenor Biel) My existing contributions and all future contributions until further notice are Copyright Tenor Biel, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@leighman](http://github.com/leighman) (Jack Leigh) My existing contributions and all future contributions until further notice are Copyright Jack Leigh, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@LiamGoodacre](https://github.com/LiamGoodacre) (Liam Goodacre) My existing contributions and all future contributions until further notice are Copyright Liam Goodacre, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@lukerandall](https://github.com/lukerandall) (Luke Randall) My existing contributions and all future contributions until further notice are Copyright Luke Randall, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@mgmeier](https://github.com/mgmeier) (Michael Karg) My existing contributions and all future contributions until further notice are Copyright Michael Gilliland, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@michaelficarra](https://github.com/michaelficarra) (Michael Ficarra) My existing contributions and all future contributions until further notice are Copyright Michael Ficarra, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@MichaelXavier](https://github.com/MichaelXavier) (Michael Xavier) - My existing contributions and all future contributions until further notice are Copyright Michael Xavier, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@mjgpy3](https://github.com/mjgpy3) (Michael Gilliland) My existing contributions and all future contributions until further notice are Copyright Michael Gilliland, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@mpietrzak](https://github.com/mpietrzak) (Maciej Pietrzak) My existing contributions and all future contributions until further notice are Copyright Maciej Pietrzak, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@mrhania](https://github.com/mrhania) (Łukasz Hanuszczak) - My existing contributions and all future contributions until further notice are Copyright Łukasz Hanuszczak, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@nagisa](https://github.com/nagisa) I hereby release my [only contribution](https://github.com/purescript/purescript/commit/80287a5d0de619862d3b4cda9c1ee276d18fdcd8) into public domain.-- [@natefaubion](https://github.com/natefaubion) (Nathan Faubion) My existing contributions and all future contributions until further notice are Copyright Nathan Faubion, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@nicodelpiano](https://github.com/nicodelpiano) (Nicolas Del Piano) My existing contributions and all future contributions until further notice are Copyright Nicolas Del Piano, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@nullobject](https://github.com/nullobject) (Josh Bassett) My existing contributions and all future contributions until further notice are Copyright Josh Bassett, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@nwolverson](https://github.com/nwolverson) (Nicholas Wolverson) My existing contributions and all future contributions until further notice are Copyright Nicholas Wolverson, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@osa1](https://github.com/osa1) (Ömer Sinan Ağacan) - My existing contributions and all future contributions until further notice are Copyright Ömer Sinan Ağacan, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@paf31](https://github.com/paf31) (Phil Freeman) My existing contributions and all future contributions until further notice are Copyright Phil Freeman, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@passy](https://github.com/passy) (Pascal Hartig) My existing contributions and all future contributions until further notice are Copyright Pascal Hartig, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@paulyoung](https://github.com/paulyoung) (Paul Young) My existing contributions and all future contributions until further notice are Copyright Paul Young, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@pelotom](https://github.com/pelotom) (Thomas Crockett) My existing contributions and all future contributions until further notice are Copyright Thomas Crockett, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@phadej](https://github.com/phadej) (Oleg Grenrus) My existing contributions and all future contributions until further notice are Copyright Oleg Grenrus, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@phiggins](https://github.com/phiggins) (Pete Higgins) My existing contributions and all future contributions until further notice are Copyright Pete Higgins, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@philopon](https://github.com/philopon) (Hirotomo Moriwaki) - My existing contributions and all future contributions until further notice are Copyright Hirotomo Moriwaki, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@pseudonom](https://github.com/pseudonom) (Eric Easley) My existing contributions and all future contributions until further notice are Copyright Eric Easley, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@puffnfresh](https://github.com/puffnfresh) (Brian McKenna) All contributions I made during June 2015 were during employment at [SlamData, Inc.](#companies) who owns the copyright. I assign copyright of all my personal contributions before June 2015 to the owners of the PureScript compiler.-- [@rightfold](https://github.com/rightfold) (rightfold) My existing contributions and all future contributions until further notice are Copyright rightfold, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](https://opensource.org/licenses/MIT).-- [@robdaemon](https://github.com/robdaemon) (Robert Roland) My existing contributions and all future contributions until further notice are Copyright Robert Roland, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@RossMeikleham](https://github.com/RossMeikleham) (Ross Meikleham) My existing contributions and all future contributions until further notice are Copyright Ross Meikleham, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@rvion](https://github.com/rvion) (Rémi Vion) My existing contributions and all future contributions until further notice are Copyright Rémi Vion, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@sebastiaanvisser](https://github.com/sebastiaanvisser) (Sebastiaan Visser) - My existing contributions and all future contributions until further notice are Copyright Sebastiaan Visser, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@senju](https://github.com/senju) - My existing contributions and all future contributions until further notice are Copyright senju, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@sharkdp](https://github.com/sharkdp) (David Peter) My existing contributions and all future contributions until further notice are Copyright David Peter, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@soupi](https://github.com/soupi) (Gil Mizrahi) My existing contributions and all future contributions until further notice are Copyright Gil Mizrahi, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@sztupi](https://github.com/sztupi) (Attila Sztupak) My existing contributions and all future contributions until further notice are Copyright Attila Sztupak, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@taktoa](https://github.com/taktoa) (Remy Goldschmidt) My existing contributions and all future contributions until further notice are Copyright Remy Goldschmidt, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@taku0](https://github.com/taku0) - My existing contributions and all future contributions until further notice are Copyright taku0, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@tfausak](https://github.com/tfausak) (Taylor Fausak) My existing contributions and all future contributions until further notice are Copyright Taylor Fausak, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@tmcgilchrist](https://github.com/tmcgilchrist) (Tim McGilchrist) My existing contributions and all future contributions until further notice are Copyright Tim McGilchrist, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@trofi](https://github.com/trofi) (Sergei Trofimovich) My existing contributions and all future contributions until further notice are Copyright Sergei Trofimovich, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@utkarshkukreti](https://github.com/utkarshkukreti) (Utkarsh Kukreti) My existing contributions and all future contributions until further notice are Copyright Utkarsh Kukreti, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@vkorablin](https://github.com/vkorablin) (Vladimir Korablin) - My existing contributions and all future contributions until further notice are Copyright Vladimir Korablin, and are licensed to the owners and users of the PureScript compiler project under the terms of the MIT license.-- [@zudov](https://github.com/zudov) (Konstantin Zudov) My existing contributions and all future contributions until further notice are Copyright Konstantin Zudov, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@brandonhamilton](https://github.com/brandonhamilton) (Brandon Hamilton) My existing contributions and all future contributions until further notice are Copyright Brandon Hamilton, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@bbqbaron](https://github.com/bbqbaron) (Eric Loren) My existing contributions and all future contributions until further notice are Copyright Eric Loren, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@RyanGlScott](https://github.com/RyanGlScott) (Ryan Scott) My existing contributions and all future contributions until further notice are Copyright Ryan Scott, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@seungha-kim](https://github.com/seungha-kim) (Seungha Kim) My existing contributions and all future contributions until further notice are Copyright Seungha Kim, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@matthewleon](https://github.com/matthewleon) (Matthew Leon) My existing contributions and all future contributions until further notice are Copyright Matthew Leon, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@alexbiehl](https://github.com/alexbiehl) (Alexander Biehl) My existing contributions and all future contributions until further notice are Copyright Alexander Biehl, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).-- [@noraesae](https://github.com/noraesae) (Hyunje Jun) My existing contributions and all future contributions until further notice are Copyright Hyunje Jun, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT).+Contributors listed here agree to license their contributions under the following terms: +> My existing contributions and all future contributions until further notice are Copyright {Name}, and are licensed to the owners and users of the PureScript compiler project under the terms of the {License}.++By adding your name to the list below, you agree to license your contributions under these following terms.++If you would prefer to use different terms, please use the section below instead.++| Username | Name | License |+| :------- | :--- | :------ |+| [@5outh](https://github.com/5outh) | Benjamin Kovach | MIT license |+| [@alexbiehl](https://github.com/alexbiehl) | Alexander Biehl | [MIT license](http://opensource.org/licenses/MIT) |+| [@andreypopp](https://github.com/andreypopp) | Andrey Popp | MIT license |+| [@andyarvanitis](https://github.com/andyarvanitis) | Andy Arvanitis | [MIT license](http://opensource.org/licenses/MIT) |+| [@anthok88](https://github.com/anthok88) | anthoq88 | MIT license |+| [@ardumont](https://github.com/ardumont) | Antoine R. Dumont | [MIT license](http://opensource.org/licenses/MIT) |+| [@aspidites](https://github.com/aspidites) | Edwin Marshall | [MIT license](http://opensource.org/licenses/MIT) |+| [@bagl](https://github.com/bagl) | Petr Vapenka | [MIT license](http://opensource.org/licenses/MIT) |+| [@balajirrao](https://github.com/balajirrao) | Balaji Rao | MIT license |+| [@bbqbaron](https://github.com/bbqbaron) | Eric Loren | [MIT license](http://opensource.org/licenses/MIT) |+| [@bergmark](https://github.com/bergmark) | Adam Bergmark | MIT license |+| [@bmjames](https://github.com/bmjames) | Ben James | [MIT license](http://opensource.org/licenses/MIT) |+| [@Bogdanp](https://github.com/Bogdanp) | Bogdan Paul Popa | [MIT license](http://opensource.org/licenses/MIT) |+| [@brandonhamilton](https://github.com/brandonhamilton) | Brandon Hamilton | [MIT license](http://opensource.org/licenses/MIT) |+| [@bsermons](https://github.com/bsermons) | Brian Sermons | [MIT license](http://opensource.org/licenses/MIT) |+| [@cdepillabout](https://github.com/cdepillabout) | Dennis Gosnell | [MIT license](http://opensource.org/licenses/MIT) |+| [@chrisdone](https://github.com/chrisdone) | Chris Done | MIT license |+| [@codedmart](https://github.com/codedmart) | Brandon Martin | [MIT license](http://opensource.org/licenses/MIT) |+| [@davidchambers](https://github.com/davidchambers) | David Chambers | [MIT license](http://opensource.org/licenses/MIT) |+| [@DavidLindbom](https://github.com/DavidLindbom) | David Lindbom | [MIT license](http://opensource.org/licenses/MIT) |+| [@dckc](https://github.com/dckc) | Dan Connolly | [MIT license](http://opensource.org/licenses/MIT) |+| [@eamelink](https://github.com/eamelink) | Erik Bakker | MIT license |+| [@epost](https://github.com/epost) | Erik Post | MIT license |+| [@erdeszt](https://github.com/erdeszt) | Tibor Erdesz | [MIT license](http://opensource.org/licenses/MIT) |+| [@etrepum](https://github.com/etrepum) | Bob Ippolito | [MIT license](http://opensource.org/licenses/MIT) |+| [@faineance](https://github.com/faineance) | faineance | [MIT license](http://opensource.org/licenses/MIT) |+| [@felixSchl](https://github.com/felixSchl) | Felix Schlitter | [MIT license](http://opensource.org/licenses/MIT) |+| [@FrigoEU](https://github.com/FrigoEU) | Simon Van Casteren | [MIT license](http://opensource.org/licenses/MIT) |+| [@garyb](https://github.com/garyb) | Gary Burgess | [MIT license](http://opensource.org/licenses/MIT) |+| [@hdgarrood](https://github.com/hdgarrood) | Harry Garrood | [MIT license](http://opensource.org/licenses/MIT) |+| [@ianbollinger](https://github.com/ianbollinger) | Ian D. Bollinger | [MIT license](http://opensource.org/licenses/MIT) |+| [@ilovezfs](https://github.com/ilovezfs) | ilovezfs | MIT license |+| [@izgzhen](https://github.com/izgzhen) | Zhen Zhang | [MIT license](http://opensource.org/licenses/MIT) |+| [@jacereda](https://github.com/jacereda) | Jorge Acereda | [MIT license](http://opensource.org/licenses/MIT) |+| [@japesinator](https://github.com/japesinator) | JP Smith | [MIT license](http://opensource.org/licenses/MIT) |+| [@joneshf](https://github.com/joneshf) | Hardy Jones | MIT license |+| [@kika](https://github.com/kika) | Kirill Pertsev | MIT license |+| [@kRITZCREEK](https://github.com/kRITZCREEK) | Christoph Hegemann | MIT license |+| [@L8D](https://github.com/L8D) | Tenor Biel | [MIT license](http://opensource.org/licenses/MIT) |+| [@LiamGoodacre](https://github.com/LiamGoodacre) | Liam Goodacre | [MIT license](http://opensource.org/licenses/MIT) |+| [@lukerandall](https://github.com/lukerandall) | Luke Randall | [MIT license](http://opensource.org/licenses/MIT) |+| [@matthewleon](https://github.com/matthewleon) | Matthew Leon | [MIT license](http://opensource.org/licenses/MIT) |+| [@mcoffin](https://github.com/mcoffin) | Matt Coffin | [MIT license](http://opensource.org/licenses/MIT) |+| [@mrkgnao](https://github.com/mrkgnao) | Soham Chowdhury | [MIT license](http://opensource.org/licenses/MIT) |+| [@mgmeier](https://github.com/mgmeier) | Michael Gilliland | [MIT license](http://opensource.org/licenses/MIT) |+| [@michaelficarra](https://github.com/michaelficarra) | Michael Ficarra | [MIT license](http://opensource.org/licenses/MIT) |+| [@MichaelXavier](https://github.com/MichaelXavier) | Michael Xavier | MIT license |+| [@mjgpy3](https://github.com/mjgpy3) | Michael Gilliland | [MIT license](http://opensource.org/licenses/MIT) |+| [@mpietrzak](https://github.com/mpietrzak) | Maciej Pietrzak | [MIT license](http://opensource.org/licenses/MIT) |+| [@mrhania](https://github.com/mrhania) | Łukasz Hanuszczak | [MIT license](http://opensource.org/licenses/MIT) |+| [@natefaubion](https://github.com/natefaubion) | Nathan Faubion | [MIT license](http://opensource.org/licenses/MIT) |+| [@nicodelpiano](https://github.com/nicodelpiano) | Nicolas Del Piano | [MIT license](http://opensource.org/licenses/MIT) |+| [@noraesae](https://github.com/noraesae) | Hyunje Jun | [MIT license](http://opensource.org/licenses/MIT) |+| [@nullobject](https://github.com/nullobject) | Josh Bassett | [MIT license](http://opensource.org/licenses/MIT) |+| [@nwolverson](https://github.com/nwolverson) | Nicholas Wolverson | [MIT license](http://opensource.org/licenses/MIT) |+| [@osa1](https://github.com/osa1) | Ömer Sinan Ağacan | MIT license |+| [@paf31](https://github.com/paf31) | Phil Freeman | [MIT license](http://opensource.org/licenses/MIT) |+| [@passy](https://github.com/passy) | Pascal Hartig | [MIT license](http://opensource.org/licenses/MIT) |+| [@paulyoung](https://github.com/paulyoung) | Paul Young | [MIT license](http://opensource.org/licenses/MIT) |+| [@pelotom](https://github.com/pelotom) | Thomas Crockett | [MIT license](http://opensource.org/licenses/MIT) |+| [@phadej](https://github.com/phadej) | Oleg Grenrus | [MIT license](http://opensource.org/licenses/MIT) |+| [@phiggins](https://github.com/phiggins) | Pete Higgins | [MIT license](http://opensource.org/licenses/MIT) |+| [@philopon](https://github.com/philopon) | Hirotomo Moriwaki | [MIT license](http://opensource.org/licenses/MIT) |+| [@pseudonom](https://github.com/pseudonom) | Eric Easley | [MIT license](http://opensource.org/licenses/MIT) |+| [@rightfold](https://github.com/rightfold) | rightfold | [MIT license](https://opensource.org/licenses/MIT) |+| [@robdaemon](https://github.com/robdaemon) | Robert Roland | [MIT license](http://opensource.org/licenses/MIT) |+| [@RossMeikleham](https://github.com/RossMeikleham) | Ross Meikleham | [MIT license](http://opensource.org/licenses/MIT) |+| [@rvion](https://github.com/rvion) | Rémi Vion | [MIT license](http://opensource.org/licenses/MIT) |+| [@RyanGlScott](https://github.com/RyanGlScott) | Ryan Scott | [MIT license](http://opensource.org/licenses/MIT) |+| [@sebastiaanvisser](https://github.com/sebastiaanvisser) | Sebastiaan Visser | MIT license |+| [@senju](https://github.com/senju) | senju | [MIT license](http://opensource.org/licenses/MIT) |+| [@seungha-kim](https://github.com/seungha-kim) | Seungha Kim | [MIT license](http://opensource.org/licenses/MIT) |+| [@sharkdp](https://github.com/sharkdp) | David Peter | [MIT license](http://opensource.org/licenses/MIT) |+| [@soupi](https://github.com/soupi) | Gil Mizrahi | [MIT license](http://opensource.org/licenses/MIT) |+| [@sztupi](https://github.com/sztupi) | Attila Sztupak | [MIT license](http://opensource.org/licenses/MIT) |+| [@taktoa](https://github.com/taktoa) | Remy Goldschmidt | [MIT license](http://opensource.org/licenses/MIT) |+| [@taku0](https://github.com/taku0) | taku0 | [MIT license](http://opensource.org/licenses/MIT) |+| [@tfausak](https://github.com/tfausak) | Taylor Fausak | [MIT license](http://opensource.org/licenses/MIT) |+| [@tmcgilchrist](https://github.com/tmcgilchrist) | Tim McGilchrist | [MIT license](http://opensource.org/licenses/MIT) |+| [@trofi](https://github.com/trofi) | Sergei Trofimovich | [MIT license](http://opensource.org/licenses/MIT) |+| [@utkarshkukreti](https://github.com/utkarshkukreti) | Utkarsh Kukreti | [MIT license](http://opensource.org/licenses/MIT) |+| [@vkorablin](https://github.com/vkorablin) | Vladimir Korablin | MIT license |+| [@zudov](https://github.com/zudov) | Konstantin Zudov | [MIT license](http://opensource.org/licenses/MIT) |++### Contributors using Modified Terms++| Username | Name | Terms |+| :------- | :--- | :------ |+| [@charleso](https://github.com/charleso) | Charles O'Farrell | My existing contributions to the PureScript compiler and all future contributions to the PureScript compiler until further notice, are Copyright Charles O'Farrell, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT). |+| [@chrissmoak](https://github.com/chrissmoak) | Chris Smoak | My existing contributions to the PureScript compiler and all future contributions to the PureScript compiler until further notice, are Copyright Chris Smoak, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT). |+| [@dylex](https://github.com/dylex) | Dylan Simon | My existing and all future contributions to the PureScript compiler until further notice are Copyright Dylan Simon, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT). |+| [@leighman](http://github.com/leighman) | Jack Leigh | My existing contributions and all future contributions until further notice are Copyright Jack Leigh, and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT). |+| [@nagisa](https://github.com/nagisa) | nagisa | I hereby release my [only contribution](https://github.com/purescript/purescript/commit/80287a5d0de619862d3b4cda9c1ee276d18fdcd8) into public domain. |+| [@puffnfresh](https://github.com/puffnfresh) | Brian McKenna | All contributions I made during June 2015 were during employment at [SlamData, Inc.](#companies) who owns the copyright. I assign copyright of all my personal contributions before June 2015 to the owners of the PureScript compiler. |+ ### Companies -- [@slamdata](https://github.com/slamdata) (SlamData, Inc.) Speaking on behalf of SlamData for SlamData employees, our existing contributions and all future contributions to the PureScript compiler are, until further notice, Copyright SlamData Inc., and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT). - @jdegoes+| Username | Company | Terms |+| :------- | :--- | :------ |+| [@slamdata](https://github.com/slamdata) | SlamData, Inc. | Speaking on behalf of SlamData for SlamData employees, our existing contributions and all future contributions to the PureScript compiler are, until further notice, Copyright SlamData Inc., and are licensed to the owners and users of the PureScript compiler project under the terms of the [MIT license](http://opensource.org/licenses/MIT). - @jdegoes |

@@ -1,4 +1,4 @@-Copyright (c) 2013-16 Phil Freeman, (c) 2014-2016 Gary Burgess, and other+Copyright (c) 2013-17 Phil Freeman, (c) 2014-2017 Gary Burgess, and other contributors All rights reserved. @@ -79,7 +79,6 @@   fast-logger   file-embed   filepath-  foldl   free   fsnotify   ghc-prim@@ -87,7 +86,6 @@   haskeline   hex   hinotify-  hostname   hourglass   http-client   http-client-tls@@ -100,7 +98,6 @@   language-javascript   lens   lifted-base-  managed   memory   mime-types   mmorph@@ -108,12 +105,10 @@   monad-logger   monad-loops   mtl-  mwc-random   network   network-uri   old-locale   old-time-  optional-args   optparse-applicative   parallel   parsec@@ -146,12 +141,9 @@   streaming-commons   stringsearch   syb-  system-fileio-  system-filepath   tagged   tagsoup   template-haskell-  temporary   terminfo   text   time@@ -159,7 +151,6 @@   transformers   transformers-base   transformers-compat-  turtle   uniplate   unix   unix-compat@@ -2285,33 +2276,6 @@   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -foldl LICENSE file:--  Copyright (c) 2013 Gabriel Gonzalez-  All rights reserved.--  Redistribution and use in source and binary forms, with or without modification,-  are permitted provided that the following conditions are met:-      * Redistributions of source code must retain the above copyright notice,-        this list of conditions and the following disclaimer.-      * Redistributions in binary form must reproduce the above copyright notice,-        this list of conditions and the following disclaimer in the documentation-        and/or other materials provided with the distribution.-      * Neither the name of Gabriel Gonzalez nor the names of other contributors-        may be used to endorse or promote products derived from this software-        without specific prior written permission.--  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND-  ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED-  WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE-  DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR-  ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES-  (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;-  LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON-  ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT-  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS-  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.- free LICENSE file:    Copyright 2008-2013 Edward Kmett@@ -2567,31 +2531,6 @@   ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE   POSSIBILITY OF SUCH DAMAGE. -hostname LICENSE file:--  Copyright (c) 2008, Maximilian Bolingbroke-  All rights reserved.--  Redistribution and use in source and binary forms, with or without modification, are permitted-  provided that the following conditions are met:--      * Redistributions of source code must retain the above copyright notice, this list of-        conditions and the following disclaimer.-      * Redistributions in binary form must reproduce the above copyright notice, this list of-        conditions and the following disclaimer in the documentation and/or other materials-        provided with the distribution.-      * Neither the name of Maximilian Bolingbroke nor the names of other contributors may be used to-        endorse or promote products derived from this software without specific prior written permission.--  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR-  IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND-  FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR-  CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL-  DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,-  DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER-  IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT-  OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.- hourglass LICENSE file:    Copyright (c) 2014 Vincent Hanquez <vincent@snarc.org>@@ -2962,33 +2901,6 @@   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -managed LICENSE file:--  Copyright (c) 2014 Gabriel Gonzalez-  All rights reserved.--  Redistribution and use in source and binary forms, with or without modification,-  are permitted provided that the following conditions are met:-      * Redistributions of source code must retain the above copyright notice,-        this list of conditions and the following disclaimer.-      * Redistributions in binary form must reproduce the above copyright notice,-        this list of conditions and the following disclaimer in the documentation-        and/or other materials provided with the distribution.-      * Neither the name of Gabriel Gonzalez nor the names of other contributors-        may be used to endorse or promote products derived from this software-        without specific prior written permission.--  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND-  ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED-  WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE-  DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR-  ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES-  (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;-  LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON-  ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT-  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS-  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.- memory LICENSE file:    Copyright (c) 2015 Vincent Hanquez <vincent@snarc.org>@@ -3160,35 +3072,6 @@   OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH   DAMAGE. -mwc-random LICENSE file:--  Copyright (c) 2009, Bryan O'Sullivan-  All rights reserved.--  Redistribution and use in source and binary forms, with or without-  modification, are permitted provided that the following conditions-  are met:--      * Redistributions of source code must retain the above copyright-        notice, this list of conditions and the following disclaimer.--      * Redistributions in binary form must reproduce the above-        copyright notice, this list of conditions and the following-        disclaimer in the documentation and/or other materials provided-        with the distribution.--  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS-  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT-  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR-  A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT-  OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,-  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT-  LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,-  DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY-  THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT-  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE-  OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.- network LICENSE file:    Copyright (c) 2002-2010, The University Court of the University of Glasgow.@@ -3385,33 +3268,6 @@    ----------------------------------------------------------------------------- -optional-args LICENSE file:--  Copyright (c) 2015 Gabriel Gonzalez-  All rights reserved.--  Redistribution and use in source and binary forms, with or without modification,-  are permitted provided that the following conditions are met:-      * Redistributions of source code must retain the above copyright notice,-        this list of conditions and the following disclaimer.-      * Redistributions in binary form must reproduce the above copyright notice,-        this list of conditions and the following disclaimer in the documentation-        and/or other materials provided with the distribution.-      * Neither the name of Gabriel Gonzalez nor the names of other contributors-        may be used to endorse or promote products derived from this software-        without specific prior written permission.--  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND-  ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED-  WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE-  DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR-  ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES-  (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;-  LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON-  ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT-  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS-  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.- optparse-applicative LICENSE file:    Copyright (c) 2012, Paolo Capriotti@@ -4499,56 +4355,6 @@    ----------------------------------------------------------------------------- -system-fileio LICENSE file:--  Copyright (c) 2011 John Millikin--  Permission is hereby granted, free of charge, to any person-  obtaining a copy of this software and associated documentation-  files (the "Software"), to deal in the Software without-  restriction, including without limitation the rights to use,-  copy, modify, merge, publish, distribute, sublicense, and/or sell-  copies of the Software, and to permit persons to whom the-  Software is furnished to do so, subject to the following-  conditions:--  The above copyright notice and this permission notice shall be-  included in all copies or substantial portions of the Software.--  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,-  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES-  OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND-  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT-  HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,-  WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING-  FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR-  OTHER DEALINGS IN THE SOFTWARE.--system-filepath LICENSE file:--  Copyright (c) 2010 John Millikin--  Permission is hereby granted, free of charge, to any person-  obtaining a copy of this software and associated documentation-  files (the "Software"), to deal in the Software without-  restriction, including without limitation the rights to use,-  copy, modify, merge, publish, distribute, sublicense, and/or sell-  copies of the Software, and to permit persons to whom the-  Software is furnished to do so, subject to the following-  conditions:--  The above copyright notice and this permission notice shall be-  included in all copies or substantial portions of the Software.--  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,-  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES-  OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND-  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT-  HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,-  WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING-  FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR-  OTHER DEALINGS IN THE SOFTWARE.- tagged LICENSE file:    Copyright (c) 2009-2015 Edward Kmett@@ -4651,31 +4457,6 @@   DAMAGE.  -temporary LICENSE file:--  Copyright (c) 2008, Maximilian Bolingbroke-  All rights reserved.--  Redistribution and use in source and binary forms, with or without modification, are permitted-  provided that the following conditions are met:--      * Redistributions of source code must retain the above copyright notice, this list of-        conditions and the following disclaimer.-      * Redistributions in binary form must reproduce the above copyright notice, this list of-        conditions and the following disclaimer in the documentation and/or other materials-        provided with the distribution.-      * Neither the name of Maximilian Bolingbroke nor the names of other contributors may be used to-        endorse or promote products derived from this software without specific prior written permission.--  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR-  IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND-  FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR-  CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL-  DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,-  DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER-  IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT-  OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.- terminfo LICENSE file:    Copyright 2007, Judah Jacobson.@@ -4870,33 +4651,6 @@   STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN   ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE   POSSIBILITY OF SUCH DAMAGE.--turtle LICENSE file:--  Copyright (c) 2015 Gabriel Gonzalez-  All rights reserved.--  Redistribution and use in source and binary forms, with or without modification,-  are permitted provided that the following conditions are met:-      * Redistributions of source code must retain the above copyright notice,-        this list of conditions and the following disclaimer.-      * Redistributions in binary form must reproduce the above copyright notice,-        this list of conditions and the following disclaimer in the documentation-        and/or other materials provided with the distribution.-      * Neither the name of Gabriel Gonzalez nor the names of other contributors-        may be used to endorse or promote products derived from this software-        without specific prior written permission.--  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND-  ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED-  WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE-  DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR-  ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES-  (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;-  LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON-  ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT-  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS-  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.  uniplate LICENSE file: 

@@ -1,6 +1,6 @@ [![PureScript](logo.png)](http://purescript.org) -A small strongly typed programming language with expressive types that compiles to Javascript, written in and inspired by Haskell.+A small strongly typed programming language with expressive types that compiles to JavaScript, written in and inspired by Haskell.  [![Hackage](https://img.shields.io/hackage/v/purescript.svg)](http://hackage.haskell.org/package/purescript) [![Build Status](https://api.travis-ci.org/purescript/purescript.svg?branch=master)](http://travis-ci.org/purescript/purescript) 

@@ -0,0 +1,129 @@+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TupleSections #-}+{-# LANGUAGE RecordWildCards #-}++-- | Bundles compiled PureScript modules for the browser.+module Command.Bundle (command) where++import           Data.Traversable (for)+import           Data.Monoid ((<>))+import           Data.Aeson (encode)+import           Data.Maybe (isNothing)+import           Control.Applicative+import           Control.Monad+import           Control.Monad.Error.Class+import           Control.Monad.Trans.Except+import           Control.Monad.IO.Class+import           System.FilePath (takeDirectory, (</>), (<.>), takeFileName)+import           System.FilePath.Glob (glob)+import           System.Exit (exitFailure)+import           System.IO (stderr, hPutStr, hPutStrLn)+import           System.IO.UTF8 (readUTF8File, writeUTF8File)+import           System.Directory (createDirectoryIfMissing, getCurrentDirectory)+import qualified Data.ByteString.Lazy as B+import qualified Data.ByteString.UTF8 as BU8+import           Language.PureScript.Bundle+import           Options.Applicative (Parser)+import qualified Options.Applicative as Opts+import           SourceMap+import           SourceMap.Types++-- | Command line options.+data Options = Options+  { optionsInputFiles  :: [FilePath]+  , optionsOutputFile  :: Maybe FilePath+  , optionsEntryPoints :: [String]+  , optionsMainModule  :: Maybe String+  , optionsNamespace   :: String+  , optionsSourceMaps  :: Bool+  } deriving Show++-- | The main application function.+-- This function parses the input files, performs dead code elimination, filters empty modules+-- and generates and prints the final Javascript bundle.+app :: (MonadError ErrorMessage m, MonadIO m) => Options -> m (Maybe SourceMapping, String)+app Options{..} = do+  inputFiles <- concat <$> mapM (liftIO . glob) optionsInputFiles+  when (null inputFiles) . liftIO $ do+    hPutStrLn stderr "purs bundle: No input files."+    exitFailure+  when (isNothing optionsOutputFile && optionsSourceMaps == True) . liftIO $ do+    hPutStrLn stderr "purs bundle: Source maps only supported when output file specified."+    exitFailure++  input <- for inputFiles $ \filename -> do+    js <- liftIO (readUTF8File filename)+    mid <- guessModuleIdentifier filename+    length js `seq` return (mid, Just filename, js)                                            -- evaluate readFile till EOF before returning, not to exhaust file handles++  let entryIds = map (`ModuleIdentifier` Regular) optionsEntryPoints++  currentDir <- liftIO getCurrentDirectory+  let outFile = if optionsSourceMaps then fmap (currentDir </>) optionsOutputFile else Nothing+  bundleSM input entryIds optionsMainModule optionsNamespace outFile++-- | Command line options parser.+options :: Parser Options+options = Options <$> some inputFile+                  <*> optional outputFile+                  <*> many entryPoint+                  <*> optional mainModule+                  <*> namespace+                  <*> sourceMaps+  where+  inputFile :: Parser FilePath+  inputFile = Opts.strArgument $+       Opts.metavar "FILE"+    <> Opts.help "The input .js file(s)"++  outputFile :: Parser FilePath+  outputFile = Opts.strOption $+       Opts.short 'o'+    <> Opts.long "output"+    <> Opts.help "The output .js file"++  entryPoint :: Parser String+  entryPoint = Opts.strOption $+       Opts.short 'm'+    <> Opts.long "module"+    <> Opts.help "Entry point module name(s). All code which is not a transitive dependency of an entry point module will be removed."++  mainModule :: Parser String+  mainModule = Opts.strOption $+       Opts.long "main"+    <> Opts.help "Generate code to run the main method in the specified module."++  namespace :: Parser String+  namespace = Opts.strOption $+       Opts.short 'n'+    <> Opts.long "namespace"+    <> Opts.value "PS"+    <> Opts.showDefault+    <> Opts.help "Specify the namespace that PureScript modules will be exported to when running in the browser."++  sourceMaps :: Parser Bool+  sourceMaps = Opts.switch $+       Opts.long "source-maps"+    <> Opts.help "Whether to generate source maps for the bundle (requires --output)."++-- | Make it go.+command :: Opts.Parser (IO ())+command = run <$> (Opts.helper <*> options) where+  run :: Options -> IO ()+  run opts = do+    output <- runExceptT (app opts)+    case output of+      Left err -> do+        hPutStr stderr (unlines (printErrorMessage err))+        exitFailure+      Right (sourcemap, js) ->+        case optionsOutputFile opts of+          Just outputFile -> do+            createDirectoryIfMissing True (takeDirectory outputFile)+            case sourcemap of+              Just sm -> do+                writeUTF8File outputFile $ js ++ "\n//# sourceMappingURL=" ++ (takeFileName outputFile <.> "map") ++ "\n"+                writeUTF8File (outputFile <.> "map") $ BU8.toString . B.toStrict . encode $ generate sm+              Nothing -> writeUTF8File outputFile js+          Nothing -> putStrLn js

@@ -0,0 +1,150 @@+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE RecordWildCards #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TupleSections #-}++module Command.Compile (command) where++import           Control.Applicative+import           Control.Monad+import           Control.Monad.Writer.Strict+import qualified Data.Aeson as A+import           Data.Bool (bool)+import qualified Data.ByteString.Lazy as B+import qualified Data.ByteString.UTF8 as BU8+import qualified Data.Map as M+import           Data.Text (Text)+import qualified Language.PureScript as P+import           Language.PureScript.Errors.JSON+import           Language.PureScript.Make+import qualified Options.Applicative as Opts+import qualified System.Console.ANSI as ANSI+import           System.Exit (exitSuccess, exitFailure)+import           System.Directory (getCurrentDirectory)+import           System.FilePath (makeRelative)+import           System.FilePath.Glob (glob)+import           System.IO (hPutStr, hPutStrLn, stderr)+import           System.IO.UTF8 (readUTF8FileT)++data PSCMakeOptions = PSCMakeOptions+  { pscmInput        :: [FilePath]+  , pscmOutputDir    :: FilePath+  , pscmOpts         :: P.Options+  , pscmUsePrefix    :: Bool+  , pscmJSONErrors   :: Bool+  }++-- | Argumnets: verbose, use JSON, warnings, errors+printWarningsAndErrors :: Bool -> Bool -> P.MultipleErrors -> Either P.MultipleErrors a -> IO ()+printWarningsAndErrors verbose False warnings errors = do+  cc <- bool Nothing (Just P.defaultCodeColor) <$> ANSI.hSupportsANSI stderr+  let ppeOpts = P.defaultPPEOptions { P.ppeCodeColor = cc, P.ppeFull = verbose }+  when (P.nonEmpty warnings) $+    hPutStrLn stderr (P.prettyPrintMultipleWarnings ppeOpts warnings)+  case errors of+    Left errs -> do+      hPutStrLn stderr (P.prettyPrintMultipleErrors ppeOpts errs)+      exitFailure+    Right _ -> return ()+printWarningsAndErrors verbose True warnings errors = do+  hPutStrLn stderr . BU8.toString . B.toStrict . A.encode $+    JSONResult (toJSONErrors verbose P.Warning warnings)+               (either (toJSONErrors verbose P.Error) (const []) errors)+  either (const exitFailure) (const (return ())) errors++compile :: PSCMakeOptions -> IO ()+compile PSCMakeOptions{..} = do+  pwd <- getCurrentDirectory+  input <- globWarningOnMisses (unless pscmJSONErrors . warnFileTypeNotFound) pscmInput+  when (null input && not pscmJSONErrors) $ do+    hPutStr stderr $ unlines [ "purs compile: No input files."+                             , "Usage: For basic information, try the `--help' option."+                             ]+    exitFailure+  moduleFiles <- readInput input+  (makeErrors, makeWarnings) <- runMake pscmOpts $ do+    ms <- P.parseModulesFromFiles (makeRelative pwd) moduleFiles+    let filePathMap = M.fromList $ map (\(fp, P.Module _ _ mn _ _) -> (mn, Right fp)) ms+    foreigns <- inferForeignModules filePathMap+    let makeActions = buildMakeActions pscmOutputDir filePathMap foreigns pscmUsePrefix+    P.make makeActions (map snd ms)+  printWarningsAndErrors (P.optionsVerboseErrors pscmOpts) pscmJSONErrors makeWarnings makeErrors+  exitSuccess++warnFileTypeNotFound :: String -> IO ()+warnFileTypeNotFound = hPutStrLn stderr . ("purs compile: No files found using pattern: " ++)++globWarningOnMisses :: (String -> IO ()) -> [FilePath] -> IO [FilePath]+globWarningOnMisses warn = concatMapM globWithWarning+  where+  globWithWarning pattern' = do+    paths <- glob pattern'+    when (null paths) $ warn pattern'+    return paths+  concatMapM f = fmap concat . mapM f++readInput :: [FilePath] -> IO [(FilePath, Text)]+readInput inputFiles = forM inputFiles $ \inFile -> (inFile, ) <$> readUTF8FileT inFile++inputFile :: Opts.Parser FilePath+inputFile = Opts.strArgument $+     Opts.metavar "FILE"+  <> Opts.help "The input .purs file(s)"++outputDirectory :: Opts.Parser FilePath+outputDirectory = Opts.strOption $+     Opts.short 'o'+  <> Opts.long "output"+  <> Opts.value "output"+  <> Opts.showDefault+  <> Opts.help "The output directory"++comments :: Opts.Parser Bool+comments = Opts.switch $+     Opts.short 'c'+  <> Opts.long "comments"+  <> Opts.help "Include comments in the generated code"++verboseErrors :: Opts.Parser Bool+verboseErrors = Opts.switch $+     Opts.short 'v'+  <> Opts.long "verbose-errors"+  <> Opts.help "Display verbose error messages"++noPrefix :: Opts.Parser Bool+noPrefix = Opts.switch $+     Opts.short 'p'+  <> Opts.long "no-prefix"+  <> Opts.help "Do not include comment header"++jsonErrors :: Opts.Parser Bool+jsonErrors = Opts.switch $+     Opts.long "json-errors"+  <> Opts.help "Print errors to stderr as JSON"++sourceMaps :: Opts.Parser Bool+sourceMaps = Opts.switch $+     Opts.long "source-maps"+  <> Opts.help "Generate source maps"++dumpCoreFn :: Opts.Parser Bool+dumpCoreFn = Opts.switch $+     Opts.long "dump-corefn"+  <> Opts.help "Dump the (functional) core representation of the compiled code at output/*/corefn.json"++options :: Opts.Parser P.Options+options = P.Options <$> verboseErrors+                    <*> (not <$> comments)+                    <*> sourceMaps+                    <*> dumpCoreFn++pscMakeOptions :: Opts.Parser PSCMakeOptions+pscMakeOptions = PSCMakeOptions <$> many inputFile+                                <*> outputDirectory+                                <*> options+                                <*> (not <$> noPrefix)+                                <*> jsonErrors++command :: Opts.Parser (IO ())+command = compile <$> (Opts.helper <*> pscMakeOptions)

@@ -0,0 +1,260 @@+{-# LANGUAGE TupleSections #-}++module Command.Docs (command, infoModList) where++import           Protolude (ordNub)++import           Command.Docs.Etags+import           Command.Docs.Ctags+import           Command.Docs.Html+import           Control.Applicative+import           Control.Arrow (first, second)+import           Control.Category ((>>>))+import           Control.Monad.Writer+import           Control.Monad.Trans.Except (runExceptT)+import           Data.Text (Text)+import qualified Data.Text as T+import qualified Data.Text.IO as T+import           Data.Function (on)+import           Data.List+import           Data.Maybe (fromMaybe)+import           Data.Tuple (swap)+import qualified Language.PureScript as P+import qualified Language.PureScript.Docs as D+import qualified Language.PureScript.Docs.AsMarkdown as D+import qualified Options.Applicative as Opts+import qualified Text.PrettyPrint.ANSI.Leijen as PP+import           System.Directory (createDirectoryIfMissing)+import           System.Exit (exitFailure)+import           System.FilePath (takeDirectory)+import           System.FilePath.Glob (glob)+import           System.IO (hPutStrLn, hPrint, stderr)+import           System.IO.UTF8 (readUTF8FileT, writeUTF8FileT)++-- | Available output formats+data Format+  = Markdown+  | Html+  | Ctags -- Output ctags symbol index suitable for use with vi+  | Etags -- Output etags symbol index suitable for use with emacs+  deriving (Show, Eq, Ord)++-- | Available methods of outputting Markdown documentation+data DocgenOutput+  = EverythingToStdOut+  | ToStdOut [P.ModuleName]+  | ToFiles [(P.ModuleName, FilePath)]+  deriving (Show)++data PSCDocsOptions = PSCDocsOptions+  { _pscdFormat :: Format+  , _pscdInputFiles  :: [FilePath]+  , _pscdDocgen :: DocgenOutput+  }+  deriving (Show)++docgen :: PSCDocsOptions -> IO ()+docgen (PSCDocsOptions fmt inputGlob output) = do+  input <- concat <$> mapM glob inputGlob+  when (null input) $ do+    hPutStrLn stderr "purs docs: no input files."+    exitFailure++  case fmt of+    Etags -> dumpTags input dumpEtags+    Ctags -> dumpTags input dumpCtags+    Html -> do+      let outputDir = "./generated-docs" -- TODO: make this configurable+      ms <- parseAndConvert input+      let msHtml = map asHtml (D.primDocsModule : ms)+      createDirectoryIfMissing False outputDir+      writeHtmlModules outputDir msHtml++    Markdown -> do+      ms <- parseAndConvert input++      case output of+        EverythingToStdOut ->+          T.putStrLn (D.runDocs (D.modulesAsMarkdown ms))+        ToStdOut names -> do+          let (ms', missing) = takeByName ms names+          guardMissing missing+          T.putStrLn (D.runDocs (D.modulesAsMarkdown ms'))+        ToFiles names -> do+          let (ms', missing) = takeByName' ms names+          guardMissing missing++          let ms'' = groupBy ((==) `on` fst) . sortBy (compare `on` fst) $ map swap ms'+          forM_ ms'' $ \grp -> do+            let fp = fst (head grp)+            createDirectoryIfMissing True (takeDirectory fp)+            writeUTF8FileT fp (D.runDocs (D.modulesAsMarkdown (map snd grp)))++  where+  guardMissing [] = return ()+  guardMissing [mn] = do+    hPutStrLn stderr ("purs docs: error: unknown module \"" ++ T.unpack (P.runModuleName mn) ++ "\"")+    exitFailure+  guardMissing mns = do+    hPutStrLn stderr "purs docs: error: unknown modules:"+    forM_ mns $ \mn ->+      hPutStrLn stderr ("  * " ++ T.unpack (P.runModuleName mn))+    exitFailure++  successOrExit :: Either P.MultipleErrors a -> IO a+  successOrExit act =+    case act of+      Right x ->+        return x+      Left err -> do+        hPutStrLn stderr $ P.prettyPrintMultipleErrors P.defaultPPEOptions err+        exitFailure++  takeByName = takeModulesByName D.modName+  takeByName' = takeModulesByName' D.modName++  parseAndConvert input =+    runExceptT (D.parseFilesInPackages input []+               >>= uncurry D.convertModulesInPackage)+    >>= successOrExit++-- |+-- Given a list of module names and a list of modules, return a list of modules+-- whose names appeared in the given name list, together with a list of names+-- for which no module could be found in the module list.+--+takeModulesByName :: (Eq n) => (m -> n) -> [m] -> [n] -> ([m], [n])+takeModulesByName getModuleName modules names =+  first (map fst) (takeModulesByName' getModuleName modules (map (,()) names))++-- |+-- Like takeModulesByName, but also keeps some extra information with each+-- module.+--+takeModulesByName' :: (Eq n) => (m -> n) -> [m] -> [(n, a)] -> ([(m, a)], [n])+takeModulesByName' getModuleName modules = foldl go ([], [])+  where+  go (ms, missing) (name, x) =+    case find ((== name) . getModuleName) modules of+      Just m  -> ((m, x) : ms, missing)+      Nothing -> (ms, name : missing)++dumpTags :: [FilePath] -> ([(String, P.Module)] -> [String]) -> IO ()+dumpTags input renderTags = do+  e <- P.parseModulesFromFiles (fromMaybe "") <$> mapM (fmap (first Just) . parseFile) (ordNub input)+  case e of+    Left err -> do+      hPrint stderr err+      exitFailure+    Right ms ->+      ldump (renderTags (pairs ms))++  where+  pairs :: [(Maybe String, m)] -> [(String, m)]+  pairs = map (first (fromMaybe ""))++  ldump :: [String] -> IO ()+  ldump = mapM_ putStrLn++parseFile :: FilePath -> IO (FilePath, Text)+parseFile input = (,) input <$> readUTF8FileT input++inputFile :: Opts.Parser FilePath+inputFile = Opts.strArgument $+     Opts.metavar "FILE"+  <> Opts.help "The input .purs file(s)"++instance Read Format where+  readsPrec _ "etags" = [(Etags, "")]+  readsPrec _ "ctags" = [(Ctags, "")]+  readsPrec _ "markdown" = [(Markdown, "")]+  readsPrec _ "html" = [(Html, "")]+  readsPrec _ _ = []++format :: Opts.Parser Format+format = Opts.option Opts.auto $ Opts.value Markdown+         <> Opts.long "format"+         <> Opts.metavar "FORMAT"+         <> Opts.help "Set output FORMAT (markdown | html | etags | ctags)"++docgenModule :: Opts.Parser String+docgenModule = Opts.strOption $+                   Opts.long "docgen"+                <> Opts.help "A list of module names which should appear in the output. This can optionally include file paths to write individual modules to, by separating with a colon ':'. For example, Prelude:docs/Prelude.md. This option may be specified multiple times."++pscDocsOptions :: Opts.Parser (Format, [FilePath], [String])+pscDocsOptions = (,,) <$> format <*> many inputFile <*> many docgenModule++parseDocgen :: [String] -> Either String DocgenOutput+parseDocgen [] = Right EverythingToStdOut+parseDocgen xs = go xs+  where+  go = intersperse " "+    >>> concat+    >>> words+    >>> map parseItem+    >>> combine++data DocgenOutputItem+  = IToStdOut P.ModuleName+  | IToFile (P.ModuleName, FilePath)++parseItem :: String -> DocgenOutputItem+parseItem s = case elemIndex ':' s of+  Just i ->+    s # splitAt i+        >>> first (P.moduleNameFromString . T.pack)+        >>> second (drop 1)+        >>> IToFile+  Nothing ->+    IToStdOut (P.moduleNameFromString (T.pack s))++  where+  infixr 1 #+  (#) = flip ($)++combine :: [DocgenOutputItem] -> Either String DocgenOutput+combine [] = Right EverythingToStdOut+combine (x:xs) = foldM go (initial x) xs+  where+  initial (IToStdOut m) = ToStdOut [m]+  initial (IToFile m)   = ToFiles [m]++  go (ToStdOut ms) (IToStdOut m) = Right (ToStdOut (m:ms))+  go (ToFiles ms) (IToFile m)    = Right (ToFiles (m:ms))+  go _ _ = Left "Can't mix module names and module name/file path pairs in the same invocation."++buildOptions :: (Format, [FilePath], [String]) -> IO PSCDocsOptions+buildOptions (fmt, input, mapping) =+  case parseDocgen mapping of+    Right mapping' -> return (PSCDocsOptions fmt input mapping')+    Left err -> do+      hPutStrLn stderr "purs docs: error in --docgen option:"+      hPutStrLn stderr ("  " ++ err)+      exitFailure++command :: Opts.Parser (IO ())+command = (buildOptions >=> docgen) <$> (Opts.helper <*> pscDocsOptions)++infoModList :: Opts.InfoMod a+infoModList = Opts.fullDesc <> footerInfo where+  footerInfo = Opts.footerDoc $ Just examples++examples :: PP.Doc+examples =+  PP.vcat $ map PP.text+    [ "Examples:"+    , "  print documentation for Data.List to stdout:"+    , "    purs docs \"src/**/*.purs\" \".psc-package/*/*/*/src/**/*.purs\" \\"+    , "      --docgen Data.List"+    , ""+    , "  write documentation for Data.List to docs/Data.List.md:"+    , "    purs docs \"src/**/*.purs\" \".psc-package/*/*/*/src/**/*.purs\" \\"+    , "      --docgen Data.List:docs/Data.List.md"+    , ""+    , "  write documentation for Data.List to docs/Data.List.md, and"+    , "  documentation for Data.List.Lazy to docs/Data.List.Lazy.md:"+    , "    purs docs \"src/**/*.purs\" \".psc-package/*/*/*/src/**/*.purs\" \\"+    , "      --docgen Data.List:docs/Data.List.md \\"+    , "      --docgen Data.List.Lazy:docs/Data.List.Lazy.md"+    ]

@@ -0,0 +1,13 @@+module Command.Docs.Ctags (dumpCtags) where++import           Command.Docs.Tags+import           Data.List (sort)+import qualified Language.PureScript as P++dumpCtags :: [(String, P.Module)] -> [String]+dumpCtags = sort . concatMap renderModCtags++renderModCtags :: (String, P.Module) -> [String]+renderModCtags (path, mdl) = sort tagLines+  where tagLines = map tagLine $ tags mdl+        tagLine (name, line) = name ++ "\t" ++ path ++ "\t" ++ show line

@@ -0,0 +1,13 @@+module Command.Docs.Etags (dumpEtags) where++import           Command.Docs.Tags+import qualified Language.PureScript as P++dumpEtags :: [(String, P.Module)] -> [String]+dumpEtags = concatMap renderModEtags++renderModEtags :: (String, P.Module) -> [String]+renderModEtags (path, mdl) = ["\x0c", path ++ "," ++ show tagsLen] ++ tagLines+  where tagsLen = sum $ map length tagLines+        tagLines = map tagLine $ tags mdl+        tagLine (name, line) = "\x7f" ++ name ++ "\x01" ++ show line ++ ","

@@ -0,0 +1,181 @@+{-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE OverloadedStrings #-}++module Command.Docs.Html+  ( asHtml+  , layout+  , writeHtmlModule+  , writeHtmlModules+  ) where++import           Control.Applicative+import           Control.Arrow ((&&&))+import           Control.Monad.Writer+import           Data.List (sort)+import           Data.Text (Text)+import           Data.Text.Lazy (toStrict)+import qualified Data.Text as T+import           Data.FileEmbed (embedStringFile)+import qualified Language.PureScript as P+import qualified Language.PureScript.Docs as D+import qualified Language.PureScript.Docs.AsHtml as D+import           Text.Blaze.Html5 (Html, (!), toMarkup)+import qualified Text.Blaze.Html5 as H+import qualified Text.Blaze.Html5.Attributes as A+import qualified Text.Blaze.Html.Renderer.Text as Blaze+import           System.IO.UTF8 (writeUTF8FileT)+import           System.FilePath.Glob (glob)+import           System.Directory (removeFile)+import           Version (versionString)++writeHtmlModules :: FilePath -> [(P.ModuleName, D.HtmlOutputModule Html)] -> IO ()+writeHtmlModules outputDir modules = do+  glob (outputDir <> "/*.html") >>= mapM_ removeFile+  let moduleList = sort $ map fst modules+  writeHtmlFile (outputDir ++ "/index.html") (renderIndexModule moduleList)+  mapM_ (writeHtmlModule outputDir . (fst &&& layout moduleList)) modules++asHtml :: D.Module -> (P.ModuleName, D.HtmlOutputModule Html)+asHtml m = D.moduleAsHtml (getHtmlRenderContext (D.modName m)) m++writeHtmlModule :: FilePath -> (P.ModuleName, Html) -> IO ()+writeHtmlModule outputDir (mn, html) = do+  let filepath = outputDir ++ "/" ++ T.unpack (P.runModuleName mn) ++ ".html"+  writeHtmlFile filepath html++writeHtmlFile :: FilePath -> Html -> IO ()+writeHtmlFile filepath =+  writeUTF8FileT filepath . toStrict . Blaze.renderHtml++getHtmlRenderContext :: P.ModuleName -> D.HtmlRenderContext+getHtmlRenderContext mn = D.HtmlRenderContext+  { D.currentModuleName = mn+  , D.buildDocLink = getLink mn+  , D.renderDocLink = renderLink+  , D.renderSourceLink = const Nothing+  }++-- TODO: try to combine this with the one in Docs.Types?+getLink :: P.ModuleName -> D.Namespace -> Text -> D.ContainingModule -> Maybe D.DocLink+getLink curMn namespace target containingMod = do+  location <- getLinkLocation+  return D.DocLink+    { D.linkLocation = location+    , D.linkTitle = target+    , D.linkNamespace = namespace+    }++  where+  getLinkLocation = builtinLinkLocation <|> normalLinkLocation++  normalLinkLocation = do+    case containingMod of+      D.ThisModule ->+        return D.SameModule+      D.OtherModule destMn ->+        -- This is OK because all modules count as 'local' for purs docs in+        -- html mode+        return $ D.LocalModule curMn destMn++  builtinLinkLocation = do+    let primMn = P.moduleNameFromString "Prim"+    guard $ containingMod == D.OtherModule primMn+    return $ D.BuiltinModule primMn++renderLink :: D.DocLink -> Text+renderLink l =+  case D.linkLocation l of+    D.SameModule ->+      ""+    D.LocalModule _ dest ->+      P.runModuleName dest <> ".html"+    D.DepsModule{} ->+      P.internalError "DepsModule: not implemented"+    D.BuiltinModule dest  ->+      P.runModuleName dest <> ".html"++layout :: [P.ModuleName] -> (P.ModuleName, D.HtmlOutputModule Html) -> Html+layout moduleList (mn, htmlDocs) =+  basicLayout ("PureScript: " <> modName) $ do+    H.div ! A.class_ "page-title clearfix" $ do+      H.div ! A.class_ "page-title__label" $ "Module"+      H.h1 ! A.class_ "page-title__title" $ toMarkup modName++    H.div ! A.class_ "col col--main" $ do+      D.htmlOutputModuleLocals htmlDocs+      mapM_ renderReExports (D.htmlOutputModuleReExports htmlDocs)++    H.div ! A.class_ "col col--aside" $ do+      H.h3 "Modules"+      renderModuleList moduleList+  where+  modName = P.runModuleName mn++  renderReExports :: (D.InPackage P.ModuleName, Html) -> Html+  renderReExports (reExpFrom, html) = do+    H.h2 ! A.class_ "re-exports" $ do+      toMarkup ("Re-exports from " :: Text)+      H.a ! A.href (H.toValue (toText reExpFrom <> ".html")) $+        toMarkup (toText reExpFrom)+    html++  toText = P.runModuleName . D.ignorePackage++basicLayout :: Text -> Html -> Html+basicLayout title inner =+  H.docTypeHtml $ do+    H.head $ do+      H.meta ! A.charset "utf-8"+      H.meta ! A.httpEquiv "X-UA-Compatible" ! A.content "IE=edge"+      H.meta ! A.name "viewport" ! A.content "width=device-width, initial-scale=1"+      H.title (toMarkup title)++      H.link ! A.href "https://fonts.googleapis.com/css?family=Roboto+Mono|Roboto:300,400,400i,700,700i"+             ! A.type_ "text/css" ! A.rel "stylesheet"+      H.style ! A.type_ "text/css" $+        toMarkup normalize_css+      H.style ! A.type_ "text/css" $+        toMarkup pursuit_css+    H.body $ do+      H.div ! A.class_ "everything-except-footer" $ do+        H.div ! A.class_ "top-banner clearfix" $ do+          H.div ! A.class_ "container clearfix" $ do+            H.div ! A.style inlineHeaderStyles $ do+              "PureScript API documentation"++            H.div ! A.class_ "top-banner__actions" $ do+              H.div ! A.class_ "top-banner__actions__item" $ do+                H.a ! A.href "index.html" $ "Index"++        H.main ! A.class_ "container clearfix" ! H.customAttribute "role" "main" $ do+          inner++      H.div ! A.class_ "footer clearfix" $+        H.p $ toMarkup $ "Generated by purs " <> versionString++  where+  -- Like Pursuit's .top-banner__logo except without the 'hover' styles+  inlineHeaderStyles = "float: left; font-size: 2.44em; font-weight: 300; line-height: 90px; margin: 0"++renderIndexModule :: [P.ModuleName] -> Html+renderIndexModule moduleList =+  basicLayout "PureScript API documentation" $ do+    H.div ! A.class_ "page-title clearfix" $ do+      H.h1 ! A.class_ "page-title__title" $ "Index"+    H.div ! A.class_ "col col--main" $ do+      renderModuleList moduleList++renderModuleList :: [P.ModuleName] -> Html+renderModuleList moduleList =+  H.ul $ mapM_ listItem moduleList++  where+  listItem mn = H.li $+    H.a ! A.href (H.toValue (P.runModuleName mn <> ".html")) $+      toMarkup (P.runModuleName mn)++normalize_css :: Text+normalize_css = $(embedStringFile "app/static/normalize.css")++pursuit_css :: Text+pursuit_css = $(embedStringFile "app/static/pursuit.css")

@@ -0,0 +1,21 @@+module Command.Docs.Tags where++import           Control.Arrow (first)+import qualified Data.Text as T+import qualified Language.PureScript as P++tags :: P.Module -> [(String, Int)]+tags = map (first T.unpack) . concatMap dtags . P.exportedDeclarations+  where dtags (P.PositionedDeclaration sp _ d) = map tag $ names d+          where tag name = (name, line)+                line = P.sourcePosLine $ P.spanStart sp+        dtags _ = []+        names (P.DataDeclaration _ name _ dcons) = P.runProperName name : consNames+          where consNames = map (\(cname, _) -> P.runProperName cname) dcons+        names (P.TypeDeclaration ident _) = [P.showIdent ident]+        names (P.ExternDeclaration ident _) = [P.showIdent ident]+        names (P.TypeSynonymDeclaration name _ _) = [P.runProperName name]+        names (P.TypeClassDeclaration name _ _ _ _) = [P.runProperName name]+        names (P.TypeInstanceDeclaration name _ _ _ _) = [P.showIdent name]+        names (P.ExternKindDeclaration name) = [P.runProperName name]+        names _ = []

@@ -0,0 +1,111 @@+-----------------------------------------------------------------------------+--+-- Module      :  Main+-- Copyright   :  (c) Hardy Jones 2014+-- License     :  MIT (http://opensource.org/licenses/MIT)+--+-- Maintainer  :  Hardy Jones <jones3.hardy@gmail.com>+-- Stability   :  experimental+-- Portability :+--+-- |+-- Generate Directed Graphs of PureScript TypeClasses+--+-----------------------------------------------------------------------------++{-# LANGUAGE TupleSections #-}+{-# LANGUAGE DataKinds #-}++module Command.Hierarchy (command) where++import           Protolude (ordNub)++import           Control.Applicative (optional)+import           Control.Monad (unless)+import           Data.List (intercalate, sort)+import           Data.Foldable (for_)+import           Data.Monoid ((<>))+import qualified Data.Text as T+import           Options.Applicative (Parser)+import qualified Options.Applicative as Opts+import           System.Directory (createDirectoryIfMissing)+import           System.FilePath ((</>))+import           System.FilePath.Glob (glob)+import           System.Exit (exitFailure, exitSuccess)+import           System.IO (hPutStr, stderr)+import           System.IO.UTF8 (readUTF8FileT)+import qualified Language.PureScript as P++data HierarchyOptions = HierarchyOptions+  { _hierachyInput   :: FilePath+  , _hierarchyOutput :: Maybe FilePath+  }++newtype SuperMap = SuperMap { _unSuperMap :: Either (P.ProperName 'P.ClassName) (P.ProperName 'P.ClassName, P.ProperName 'P.ClassName) }+  deriving Eq++instance Show SuperMap where+  show (SuperMap (Left sub)) = show sub+  show (SuperMap (Right (super, sub))) = show super ++ " -> " ++ show sub++instance Ord SuperMap where+  compare (SuperMap s) (SuperMap s') = getCls s `compare` getCls s'+    where+      getCls = either id snd++runModuleName :: P.ModuleName -> String+runModuleName (P.ModuleName pns) = intercalate "_" ((T.unpack . P.runProperName) `map` pns)++readInput :: [FilePath] -> IO (Either P.MultipleErrors [P.Module])+readInput paths = do+  content <- mapM (\path -> (path, ) <$> readUTF8FileT path) paths+  return $ map snd <$> P.parseModulesFromFiles id content++compile :: HierarchyOptions -> IO ()+compile (HierarchyOptions inputGlob mOutput) = do+  input <- glob inputGlob+  modules <- readInput input+  case modules of+    Left errs -> hPutStr stderr (P.prettyPrintMultipleErrors P.defaultPPEOptions errs) >> exitFailure+    Right ms -> do+      for_ ms $ \(P.Module _ _ moduleName decls _) ->+        let name = runModuleName moduleName+            tcs = filter P.isTypeClassDeclaration decls+            supers = sort . ordNub . filter (not . null) $ fmap superClasses tcs+            prologue = "digraph " ++ name ++ " {\n"+            body = intercalate "\n" (concatMap (fmap (\s -> "  " ++ show s ++ ";")) supers)+            epilogue = "\n}"+            hier = prologue ++ body ++ epilogue+        in unless (null supers) $ case mOutput of+          Just output -> do+            createDirectoryIfMissing True output+            writeFile (output </> name) hier+          Nothing -> putStrLn hier+      exitSuccess++superClasses :: P.Declaration -> [SuperMap]+superClasses (P.TypeClassDeclaration sub _ supers@(_:_) _ _) =+  fmap (\(P.Constraint (P.Qualified _ super) _ _) -> SuperMap (Right (super, sub))) supers+superClasses (P.TypeClassDeclaration sub _ _ _ _) = [SuperMap (Left sub)]+superClasses (P.PositionedDeclaration _ _ decl) = superClasses decl+superClasses _ = []++inputFile :: Parser FilePath+inputFile = Opts.strArgument $+     Opts.metavar "FILE"+  <> Opts.value "main.purs"+  <> Opts.showDefault+  <> Opts.help "The input file to generate a hierarchy from"++outputFile :: Parser (Maybe FilePath)+outputFile = optional . Opts.strOption $+     Opts.short 'o'+  <> Opts.long "output"+  <> Opts.help "The output directory"++pscOptions :: Parser HierarchyOptions+pscOptions = HierarchyOptions <$> inputFile+                              <*> outputFile++command :: Opts.Parser (IO ())+command = compile <$> (Opts.helper <*> pscOptions)

@@ -0,0 +1,213 @@+-----------------------------------------------------------------------------+--+-- Module      : Main+-- Description : The server accepting commands for psc-ide+-- Copyright   : Christoph Hegemann 2016+-- License     : MIT (http://opensource.org/licenses/MIT)+--+-- Maintainer  : Christoph Hegemann <christoph.hegemann1337@gmail.com>+-- Stability   : experimental+--+-- |+-- The server accepting commands for psc-ide+-----------------------------------------------------------------------------++{-# LANGUAGE FlexibleContexts      #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE OverloadedStrings     #-}+{-# LANGUAGE PackageImports        #-}+{-# LANGUAGE RecordWildCards       #-}+{-# LANGUAGE TemplateHaskell       #-}+{-# LANGUAGE NoImplicitPrelude     #-}++module Command.Ide (command) where++import           Protolude++import qualified Data.Aeson as Aeson+import           Control.Concurrent.STM+import           "monad-logger" Control.Monad.Logger+import qualified Data.Text.IO                      as T+import qualified Data.ByteString.Char8             as BS8+import qualified Data.ByteString.Lazy.Char8        as BSL8+import           GHC.IO.Exception                  (IOErrorType(..), IOException(..))+import           Language.PureScript.Ide+import           Language.PureScript.Ide.Command+import           Language.PureScript.Ide.Util+import           Language.PureScript.Ide.Error+import           Language.PureScript.Ide.Types+import           Language.PureScript.Ide.Watcher+import           Network                           hiding (socketPort, accept)+import           Network.BSD                       (getProtocolNumber)+import           Network.Socket                    hiding (PortNumber, Type,+                                                    sClose)+import qualified Options.Applicative               as Opts+import           System.Directory+import           System.Info                       as SysInfo+import           System.FilePath+import           System.IO                         hiding (putStrLn, print)+import           System.IO.Error                   (isEOFError)++listenOnLocalhost :: PortNumber -> IO Socket+listenOnLocalhost port = do+  proto <- getProtocolNumber "tcp"+  localhost <- inet_addr "127.0.0.1"+  bracketOnError+    (socket AF_INET Stream proto)+    sClose+    (\sock -> do+      setSocketOption sock ReuseAddr 1+      bind sock (SockAddrInet port localhost)+      listen sock maxListenQueue+      pure sock)++data ServerOptions = ServerOptions+  { _serverDirectory  :: Maybe FilePath+  , _serverGlobs      :: [FilePath]+  , _serverOutputPath :: FilePath+  , _serverPort       :: PortNumber+  , _serverNoWatch    :: Bool+  , _serverPolling    :: Bool+  , _serverLoglevel   :: IdeLogLevel+  } deriving (Show)++data ClientOptions = ClientOptions+  { clientPort :: PortID+  }++command :: Opts.Parser (IO ())+command = Opts.helper <*> subcommands where+  subcommands :: Opts.Parser (IO ())+  subcommands = (Opts.subparser . fold)+    [ Opts.command "server"+        (Opts.info (fmap server serverOptions)+          (Opts.progDesc "Start a server process"))+    , Opts.command "client"+        (Opts.info (fmap client clientOptions)+          (Opts.progDesc "Connect to a running server"))+    ]++  client :: ClientOptions -> IO ()+  client ClientOptions{..} = do+    hSetEncoding stdin utf8+    hSetEncoding stdout utf8+    let handler (SomeException e) = do+          T.putStrLn ("Couldn't connect to purs ide server on port " <> show clientPort <> ":")+          print e+          exitFailure+    h <- connectTo "127.0.0.1" clientPort `catch` handler+    T.hPutStrLn h =<< T.getLine+    BS8.putStrLn =<< BS8.hGetLine h+    hFlush stdout+    hClose h++  clientOptions :: Opts.Parser ClientOptions+  clientOptions = ClientOptions . PortNumber . fromIntegral <$>+    Opts.option Opts.auto (Opts.long "port" <> Opts.short 'p' <> Opts.value (4242 :: Integer))++  server :: ServerOptions -> IO ()+  server opts'@(ServerOptions dir globs outputPath port noWatch polling logLevel) = do+    when (logLevel == LogDebug || logLevel == LogAll)+      (putText "Parsed Options:" *> print opts')+    maybe (pure ()) setCurrentDirectory dir+    ideState <- newTVarIO emptyIdeState+    cwd <- getCurrentDirectory+    let fullOutputPath = cwd </> outputPath++    unlessM (doesDirectoryExist fullOutputPath) $ do+      putText "Your output directory didn't exist. This usually means you didn't compile your project yet."+      putText "psc-ide needs you to compile your project (for example by running pulp build)"++    unless noWatch $+      void (forkFinally (watcher polling ideState fullOutputPath) print)+    let conf = Configuration {confLogLevel = logLevel, confOutputPath = outputPath, confGlobs = globs}+        env = IdeEnvironment {ideStateVar = ideState, ideConfiguration = conf}+    startServer port env++  serverOptions :: Opts.Parser ServerOptions+  serverOptions =+    ServerOptions+      <$> optional (Opts.strOption (Opts.long "directory" `mappend` Opts.short 'd'))+      <*> many (Opts.argument Opts.str (Opts.metavar "Source GLOBS..."))+      <*> Opts.strOption (Opts.long "output-directory" `mappend` Opts.value "output/")+      <*> (fromIntegral <$>+           Opts.option Opts.auto (Opts.long "port" `mappend` Opts.short 'p' `mappend` Opts.value (4242 :: Integer)))+      <*> Opts.switch (Opts.long "no-watch")+      <*> flipIfWindows (Opts.switch (Opts.long "polling"))+      <*> (parseLogLevel <$> Opts.strOption+           (Opts.long "log-level"+            `mappend` Opts.value ""+            `mappend` Opts.help "One of \"debug\", \"perf\", \"all\" or \"none\""))++  parseLogLevel s = case s of+    "debug" -> LogDebug+    "perf" -> LogPerf+    "all" -> LogAll+    "none" -> LogNone+    _ -> LogDefault++  -- polling is the default on Windows and the flag turns it off. See+  -- #2209 and #2414 for explanations+  flipIfWindows = map (if SysInfo.os == "mingw32" then not else identity)++startServer :: PortNumber -> IdeEnvironment -> IO ()+startServer port env = withSocketsDo $ do+  sock <- listenOnLocalhost port+  runLogger (confLogLevel (ideConfiguration env)) (runReaderT (forever (loop sock)) env)+  where+    loop :: (Ide m, MonadLogger m) => Socket -> m ()+    loop sock = do+      accepted <- runExceptT (acceptCommand sock)+      case accepted of+        Left err -> $(logError) err+        Right (cmd, h) -> do+          case decodeT cmd of+            Just cmd' -> do+              let message duration =+                    "Command " <> commandName cmd'+                    <> " took "+                    <> displayTimeSpec duration+              result <- logPerf message (runExceptT (handleCommand cmd'))+              -- $(logDebug) ("Answer was: " <> T.pack (show result))+              liftIO (hFlush stdout)+              case result of+                Right r  -> liftIO $ catchGoneHandle (BSL8.hPutStrLn h (Aeson.encode r))+                Left err -> liftIO $ catchGoneHandle (BSL8.hPutStrLn h (Aeson.encode err))+            Nothing -> do+              $(logError) ("Parsing the command failed. Command: " <> cmd)+              liftIO $ do+                catchGoneHandle (T.hPutStrLn h (encodeT (GeneralError "Error parsing Command.")))+                hFlush stdout+          liftIO $ catchGoneHandle (hClose h)++catchGoneHandle :: IO () -> IO ()+catchGoneHandle =+  handle (\e -> case e of+    IOError { ioe_type = ResourceVanished } ->+      putText ("[Error] psc-ide-server tried interact with the handle, but the connection was already gone.")+    _ -> throwIO e)++acceptCommand :: (MonadIO m, MonadLogger m, MonadError Text m)+                 => Socket -> m (Text, Handle)+acceptCommand sock = do+  h <- acceptConnection+  $(logDebug) "Accepted a connection"+  cmd' <- liftIO (catchJust+                  -- this means that the connection was+                  -- terminated without receiving any input+                  (\e -> if isEOFError e then Just () else Nothing)+                  (Just <$> T.hGetLine h)+                  (const (pure Nothing)))+  case cmd' of+    Nothing -> throwError "Connection was closed before any input arrived"+    Just cmd -> do+      $(logDebug) ("Received command: " <> cmd)+      pure (cmd, h)+  where+   acceptConnection = liftIO $ do+     -- Use low level accept to prevent accidental reverse name resolution+     (s,_) <- accept sock+     h     <- socketToHandle s ReadWriteMode+     hSetEncoding h utf8+     hSetBuffering h LineBuffering+     pure h

@@ -0,0 +1,52 @@+{-# LANGUAGE OverloadedStrings #-}++module Command.Publish (command) where++import           Control.Monad.IO.Class (liftIO)+import qualified Data.Aeson as A+import qualified Data.ByteString.Lazy.Char8 as BL+import           Data.Monoid ((<>))+import           Data.Time.Clock (getCurrentTime)+import           Data.Version (Version(..))+import           Language.PureScript.Publish+import           Language.PureScript.Publish.ErrorsWarnings+import           Options.Applicative (Parser)+import qualified Options.Applicative as Opts++manifestPath :: Parser FilePath+manifestPath = Opts.strOption $+     Opts.long "manifest"+  <> Opts.metavar "FILE"+  <> Opts.help "The package manifest file"++resolutionsPath :: Parser FilePath+resolutionsPath = Opts.strOption $+     Opts.long "resolutions"+  <> Opts.metavar "FILE"+  <> Opts.help "The resolutions file"++dryRun :: Parser Bool+dryRun = Opts.switch $+     Opts.long "dry-run"+  <> Opts.help "Produce no output, and don't require a tagged version to be checked out."++dryRunOptions :: PublishOptions+dryRunOptions = defaultPublishOptions+  { publishGetVersion = return dummyVersion+  , publishWorkingTreeDirty = warn DirtyWorkingTree_Warn+  , publishGetTagTime = const (liftIO getCurrentTime)+  }+  where dummyVersion = ("0.0.0", Version [0,0,0] [])++command :: Opts.Parser (IO ())+command = publish <$> manifestPath <*> resolutionsPath <*> (Opts.helper <*> dryRun)++publish :: FilePath -> FilePath -> Bool -> IO ()+publish manifestFile resolutionsFile isDryRun =+  if isDryRun+    then do+      _ <- unsafePreparePackage manifestFile resolutionsFile dryRunOptions+      putStrLn "Dry run completed, no errors."+    else do+      pkg <- unsafePreparePackage manifestFile resolutionsFile defaultPublishOptions+      BL.putStrLn (A.encode pkg)

@@ -0,0 +1,379 @@+{-# LANGUAGE DataKinds #-}+{-# LANGUAGE DoAndIfThenElse #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE GeneralizedNewtypeDeriving #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE PatternGuards #-}+{-# LANGUAGE RecordWildCards #-}+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TupleSections #-}++module Command.REPL (command) where++import           Prelude ()+import           Prelude.Compat+import           Control.Applicative (many, (<|>))+import           Control.Concurrent (forkIO)+import           Control.Concurrent.MVar (MVar, newEmptyMVar, putMVar, takeMVar,+                                         tryPutMVar)+import           Control.Concurrent.STM (TVar, atomically, newTVarIO, writeTVar,+                                        readTVarIO,+                                        TChan, newBroadcastTChanIO, dupTChan,+                                        readTChan, writeTChan)+import           Control.Exception (fromException)+import           Control.Monad+import           Control.Monad.IO.Class (liftIO)+import           Control.Monad.Trans.Class+import           Control.Monad.Trans.Except (ExceptT(..), runExceptT)+import           Control.Monad.Trans.State.Strict (StateT, evalStateT)+import           Control.Monad.Trans.Reader (ReaderT, runReaderT)+import           Data.FileEmbed (embedStringFile)+import           Data.Foldable (for_)+import           Data.Monoid ((<>))+import           Data.String (IsString(..))+import           Data.Text (Text, unpack)+import           Data.Traversable (for)+import qualified Language.PureScript as P+import qualified Language.PureScript.Bundle as Bundle+import           Language.PureScript.Interactive+import           Network.HTTP.Types.Header (hContentType, hCacheControl,+                                            hPragma, hExpires)+import           Network.HTTP.Types.Status (status200, status404, status503)+import qualified Network.Wai as Wai+import qualified Network.Wai.Handler.Warp as Warp+import qualified Network.Wai.Handler.WebSockets as WS+import qualified Network.WebSockets as WS+import qualified Options.Applicative as Opts+import           System.Console.Haskeline+import           System.IO.UTF8 (readUTF8File)+import           System.Exit+import           System.Directory (doesFileExist, getCurrentDirectory)+import           System.FilePath ((</>))+import           System.FilePath.Glob (glob)+import           System.Process (readProcessWithExitCode)++-- | Command line options+data PSCiOptions = PSCiOptions+  { psciInputFile         :: [FilePath]+  , psciBackend           :: Backend+  }++inputFile :: Opts.Parser FilePath+inputFile = Opts.strArgument $+     Opts.metavar "FILE"+  <> Opts.help "Optional .purs files to load on start"++nodePathOption :: Opts.Parser (Maybe FilePath)+nodePathOption = Opts.optional . Opts.strOption $+     Opts.metavar "FILE"+  <> Opts.long "node-path"+  <> Opts.help "Path to the Node executable"++nodeFlagsOption :: Opts.Parser [String]+nodeFlagsOption = Opts.option parser $+     Opts.long "node-opts"+  <> Opts.metavar "OPTS"+  <> Opts.value []+  <> Opts.help "Flags to pass to node, separated by spaces"+  where+    parser = words <$> Opts.str++port :: Opts.Parser Int+port = Opts.option Opts.auto $+     Opts.long "port"+  <> Opts.short 'p'+  <> Opts.help "The web server port"++backend :: Opts.Parser Backend+backend =+  (browserBackend <$> port)+  <|> (nodeBackend <$> nodePathOption <*> nodeFlagsOption)++psciOptions :: Opts.Parser PSCiOptions+psciOptions = PSCiOptions <$> many inputFile+                          <*> backend++-- | Parses the input and returns either a command, or an error as a 'String'.+getCommand :: forall m. MonadException m => InputT m (Either String (Maybe Command))+getCommand = handleInterrupt (return (Right Nothing)) $ do+  line <- withInterrupt $ getInputLine "> "+  case line of+    Nothing -> return (Right (Just QuitPSCi)) -- Ctrl-D when input is empty+    Just "" -> return (Right Nothing)+    Just s  -> return . fmap Just $ parseCommand s++pasteMode :: forall m. MonadException m => InputT m (Either String Command)+pasteMode =+    parseCommand <$> go []+  where+    go :: [String] -> InputT m String+    go ls = maybe (return . unlines $ reverse ls) (go . (:ls)) =<< getInputLine "… "++-- | Make a JavaScript bundle for the browser.+bundle :: IO (Either Bundle.ErrorMessage String)+bundle = runExceptT $ do+  inputFiles <- liftIO (glob (".psci_modules" </> "node_modules" </> "*" </> "*.js"))+  input <- for inputFiles $ \filename -> do+    js <- liftIO (readUTF8File filename)+    mid <- Bundle.guessModuleIdentifier filename+    length js `seq` return (mid, js)+  Bundle.bundle input [] Nothing "PSCI"++indexJS :: IsString string => string+indexJS = $(embedStringFile "app/static/index.js")++indexPage :: IsString string => string+indexPage = $(embedStringFile "app/static/index.html")++-- | All of the functions required to implement a PSCi backend+data Backend = forall state. Backend+  { _backendSetup :: IO state+  -- ^ Initialize, and call the continuation when the backend is ready+  , _backendEval :: state -> String -> IO ()+  -- ^ Evaluate JavaScript code+  , _backendReload :: state -> IO ()+  -- ^ Reload the compiled code+  , _backendShutdown :: state -> IO ()+  -- ^ Shut down the backend+  }++-- | Commands which can be sent to the browser+data BrowserCommand+  = Eval (MVar String)+  -- ^ Evaluate the latest JS+  | Refresh+  -- ^ Refresh the page++-- | State for the browser backend+data BrowserState = BrowserState+  { browserCommands       :: TChan BrowserCommand+  -- ^ A channel which receives data when the compiled JS has+  -- been updated+  , browserShutdownNotice :: MVar ()+  -- ^ An MVar which becomes full when the server should shut down+  , browserIndexJS        :: TVar (Maybe String)+  -- ^ A TVar holding the latest compiled JS+  , browserBundleJS       :: TVar (Maybe String)+  -- ^ A TVar holding the latest bundled JS+  }++browserBackend :: Int -> Backend+browserBackend serverPort = Backend setup evaluate reload shutdown+  where+    setup :: IO BrowserState+    setup = do+      shutdownVar <- newEmptyMVar+      cmdChan <- newBroadcastTChanIO+      indexJs <- newTVarIO Nothing+      bundleJs <- newTVarIO Nothing++      let+        handleWebsocket :: WS.PendingConnection -> IO ()+        handleWebsocket pending = do+          conn <- WS.acceptRequest pending+          -- Fork a thread to keep the connection alive+          WS.forkPingThread conn 10+          -- Clone the command channel+          cmdChanCopy <- atomically $ dupTChan cmdChan+          -- Listen for commands+          forever $ do+            cmd <- atomically $ readTChan cmdChanCopy+            case cmd of+              Eval resultVar -> void $ do+                WS.sendTextData conn ("eval" :: Text)+                result <- WS.receiveData conn+                -- With many connected clients, all but one of+                -- these attempts will fail.+                tryPutMVar resultVar (unpack result)+              Refresh ->+                WS.sendTextData conn ("reload" :: Text)++        shutdownHandler :: IO () -> IO ()+        shutdownHandler stopServer = void . forkIO $ do+          () <- takeMVar shutdownVar+          stopServer++        onException :: Maybe Wai.Request -> SomeException -> IO ()+        onException req ex+          | Just (_ :: WS.ConnectionException) <- fromException ex+          = return () -- ignore websocket disconnects+          | otherwise = Warp.defaultOnException req ex++        staticServer :: Wai.Application+        staticServer req respond =+          case Wai.pathInfo req of+            [] ->+              respond $ Wai.responseLBS status200+                                        [(hContentType, "text/html")]+                                        indexPage+            ["js", "index.js"] ->+              respond $ Wai.responseLBS status200+                                        [(hContentType, "application/javascript")]+                                        indexJS+            ["js", "latest.js"] -> do+              may <- readTVarIO indexJs+              case may of+                Nothing ->+                  respond $ Wai.responseLBS status503 [] "Service not available"+                Just js ->+                  respond $ Wai.responseLBS status200+                                            [ (hContentType, "application/javascript")+                                            , (hCacheControl, "no-cache, no-store, must-revalidate")+                                            , (hPragma, "no-cache")+                                            , (hExpires, "0")+                                            ]+                                            (fromString js)+            ["js", "bundle.js"] -> do+              may <- readTVarIO bundleJs+              case may of+                Nothing ->+                  respond $ Wai.responseLBS status503 [] "Service not available"+                Just js ->+                  respond $ Wai.responseLBS status200+                                            [ (hContentType, "application/javascript")]+                                            (fromString js)+            _ -> respond $ Wai.responseLBS status404 [] "Not found"++      let browserState = BrowserState cmdChan shutdownVar indexJs bundleJs+      createBundle browserState++      putStrLn $ "Serving http://localhost:" <> show serverPort <> "/. Waiting for connections..."+      _ <- forkIO $ Warp.runSettings ( Warp.setInstallShutdownHandler shutdownHandler+                                     . Warp.setPort serverPort+                                     . Warp.setOnException onException+                                     $ Warp.defaultSettings+                                     ) $+                      WS.websocketsOr WS.defaultConnectionOptions+                                      handleWebsocket+                                      staticServer+      return browserState++    createBundle :: BrowserState -> IO ()+    createBundle state = do+      putStrLn "Bundling JavaScript..."+      ejs <- bundle+      case ejs of+        Left err -> do+          putStrLn (unlines (Bundle.printErrorMessage err))+          exitFailure+        Right js ->+          atomically $ writeTVar (browserBundleJS state) (Just js)++    reload :: BrowserState -> IO ()+    reload state = do+      createBundle state+      atomically $ writeTChan (browserCommands state) Refresh++    shutdown :: BrowserState -> IO ()+    shutdown state = putMVar (browserShutdownNotice state) ()++    evaluate :: BrowserState -> String -> IO ()+    evaluate state js = liftIO $ do+      resultVar <- newEmptyMVar+      atomically $ do+        writeTVar (browserIndexJS state) (Just js)+        writeTChan (browserCommands state) (Eval resultVar)+      result <- takeMVar resultVar+      putStrLn result++nodeBackend :: Maybe FilePath -> [String] -> Backend+nodeBackend nodePath nodeArgs = Backend setup eval reload shutdown+  where+    setup :: IO ()+    setup = return ()++    eval :: () -> String -> IO ()+    eval _ _ = do+      writeFile indexFile "require('$PSCI')['$main']();"+      process <- maybe findNodeProcess (pure . pure) nodePath+      result <- traverse (\node -> readProcessWithExitCode node (nodeArgs ++ [indexFile]) "") process+      case result of+        Just (ExitSuccess, out, _)   -> putStrLn out+        Just (ExitFailure _, _, err) -> putStrLn err+        Nothing                      -> putStrLn "Couldn't find node.js"++    reload :: () -> IO ()+    reload _ = return ()++    shutdown :: () -> IO ()+    shutdown _ = return ()++options :: Opts.Parser PSCiOptions+options = Opts.helper <*> psciOptions++-- | Get command line options and drop into the REPL+command :: Opts.Parser (IO ())+command = loop <$> options+  where+    loop :: PSCiOptions -> IO ()+    loop PSCiOptions{..} = do+        inputFiles <- concat <$> traverse glob psciInputFile+        e <- runExceptT $ do+          modules <- ExceptT (loadAllModules inputFiles)+          when (null modules) . liftIO $ do+            putStr noInputMessage+            exitFailure+          unless (supportModuleIsDefined (map snd modules)) . liftIO $ do+            putStr supportModuleMessage+            exitFailure+          (externs, env) <- ExceptT . runMake . make $ modules+          return (modules, externs, env)+        case psciBackend of+          Backend setup eval reload (shutdown :: state -> IO ()) ->+            case e of+              Left errs -> putStrLn (P.prettyPrintMultipleErrors P.defaultPPEOptions errs) >> exitFailure+              Right (modules, externs, env) -> do+                historyFilename <- getHistoryFilename+                let settings = defaultSettings { historyFile = Just historyFilename }+                    initialState = PSCiState [] [] (zip (map snd modules) externs)+                    config = PSCiConfig inputFiles env+                    runner = flip runReaderT config+                             . flip evalStateT initialState+                             . runInputT (setComplete completion settings)++                    handleCommand' :: state -> Command -> StateT PSCiState (ReaderT PSCiConfig IO) ()+                    handleCommand' state = handleCommand (liftIO . eval state) (liftIO (reload state))++                    go :: state -> InputT (StateT PSCiState (ReaderT PSCiConfig IO)) ()+                    go state = do+                      c <- getCommand+                      case c of+                        Left err -> outputStrLn err >> go state+                        Right Nothing -> go state+                        Right (Just PasteLines) -> do+                          c' <- pasteMode+                          case c' of+                            Left err -> outputStrLn err >> go state+                            Right c'' -> handleCommandWithInterrupts state c''+                        Right (Just QuitPSCi) -> do+                          outputStrLn quitMessage+                          liftIO $ shutdown state+                        Right (Just c') -> handleCommandWithInterrupts state c'++                    loadUserConfig :: state -> StateT PSCiState (ReaderT PSCiConfig IO) ()+                    loadUserConfig state = do+                      configFile <- (</> ".purs-repl") <$> liftIO getCurrentDirectory+                      exists <- liftIO $ doesFileExist configFile+                      when exists $ do+                        ls <- lines <$> liftIO (readUTF8File configFile)+                        for_ ls $ \l -> do+                          liftIO (putStrLn l)+                          case parseCommand l of+                            Left err -> liftIO (putStrLn err >> exitFailure)+                            Right cmd@Import{} -> handleCommand' state cmd+                            Right _ -> liftIO (putStrLn "The .purs-repl file only supports import declarations")++                    handleCommandWithInterrupts+                      :: state+                      -> Command+                      -> InputT (StateT PSCiState (ReaderT PSCiConfig IO)) ()+                    handleCommandWithInterrupts state cmd = do+                      handleInterrupt (outputStrLn "Interrupted.")+                                      (withInterrupt (lift (handleCommand' state cmd)))+                      go state++                putStrLn prologueMessage+                backendState <- setup+                runner (lift (loadUserConfig backendState) >> go backendState)

@@ -0,0 +1,64 @@+{-# LANGUAGE DeriveAnyClass #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE NamedFieldPuns #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE RecordWildCards #-}+{-# LANGUAGE TupleSections #-}++module Main where++import qualified Command.Bundle as Bundle+import qualified Command.Compile as Compile+import qualified Command.Docs as Docs+import qualified Command.Hierarchy as Hierarchy+import qualified Command.Ide as Ide+import qualified Command.Publish as Publish+import qualified Command.REPL as REPL+import           Data.Foldable (fold)+import           Data.Monoid ((<>))+import qualified Options.Applicative as Opts+import qualified System.IO as IO+import           Version (versionString)+++main :: IO ()+main = do+    IO.hSetEncoding IO.stdout IO.utf8+    IO.hSetEncoding IO.stderr IO.utf8+    cmd <- Opts.execParser opts+    cmd+  where+    opts        = Opts.info (versionInfo <*> Opts.helper <*> commands) infoModList+    infoModList = Opts.fullDesc <> headerInfo <> footerInfo+    headerInfo  = Opts.progDesc "The PureScript compiler and tools"+    footerInfo  = Opts.footer $ "purs " ++ versionString++    versionInfo :: Opts.Parser (a -> a)+    versionInfo = Opts.abortOption (Opts.InfoMsg versionString) $+      Opts.long "version" <> Opts.help "Show the version number" <> Opts.hidden++    commands :: Opts.Parser (IO ())+    commands =+      (Opts.subparser . fold)+        [ Opts.command "bundle"+            (Opts.info Bundle.command+              (Opts.progDesc "Bundle compiled PureScript modules for the browser"))+        , Opts.command "compile"+            (Opts.info Compile.command+              (Opts.progDesc "Compile PureScript source files"))+        , Opts.command "docs"+            (Opts.info Docs.command+              (Opts.progDesc "Generate Markdown documentation from PureScript source files" <> Docs.infoModList))+        , Opts.command "hierarchy"+            (Opts.info Hierarchy.command+              (Opts.progDesc "Generate a GraphViz directed graph of PureScript type classes"))+        , Opts.command "ide"+            (Opts.info Ide.command+              (Opts.progDesc "Start or query an IDE server process"))+        , Opts.command "publish"+            (Opts.info Publish.command+              (Opts.progDesc "Generates documentation packages for upload to Pursuit"))+        , Opts.command "repl"+            (Opts.info REPL.command+              (Opts.progDesc "Enter the interactive mode (PSCi)"))+        ]

@@ -0,0 +1,23 @@+{-# LANGUAGE CPP #-}+{-# LANGUAGE TemplateHaskell #-}++module Version where++import Data.Version (showVersion)+import Paths_purescript as Paths++#ifndef RELEASE+import qualified Development.GitRev as GitRev+#endif++versionString :: String+versionString = showVersion Paths.version ++ extra+  where+#ifdef RELEASE+  extra = ""+#else+  extra = " [development build; commit: " ++ $(GitRev.gitHash) ++ dirty ++ "]"+  dirty+    | $(GitRev.gitDirty) = " DIRTY"+    | otherwise = ""+#endif

@@ -0,0 +1,10 @@+<!DOCTYPE html>+<html>+<head>+  <title>PureScript Interactive</title>+  <script src='js/bundle.js'></script>+  <script src='js/index.js'></script>+</head>+<body>+</body>+</html>

@@ -0,0 +1,63 @@+var get = function get(uri, callback, onError) {+    var request = new XMLHttpRequest();+    request.addEventListener('load', function() {+        callback(request.responseText);+    });+    request.addEventListener('error', onError);+    request.open('GET', uri);+    request.send();+};+var evaluate = function evaluate(js) {+    var buffer = [];+    // Save the old console.log function+    var oldLog = console.log;+    console.log = function(s) {+        // Push log output into a temporary buffer+        // which will be returned to PSCi.+        buffer.push(s);+    };+    // Replace any require(...) statements with lookups on the PSCI object.+    var replaced = js.replace(/require\("[^"]*"\)/g, function(s) {+        return "PSCI['" + s.substring(12, s.length - 2) + "']";+    });+    // Wrap the module and evaluate it.+    var wrapped =+      [ 'var module = {};'+      , '(function(module) {'+      , replaced+      , '})(module);'+      , 'return module.exports["$main"] && module.exports["$main"]();'+    ].join('\n');+    new Function(wrapped)();+    // Restore console.log+    console.log = oldLog;+    return buffer.join('\n');+};+window.onload = function() {+    var socket = new WebSocket('ws://localhost:' + location.port);+    var evalNext = function reload() {+        get('js/latest.js', function(response) {+            try {+                var result = evaluate(response);+                socket.send(result);+            } catch (ex) {+                socket.send(ex.stack);+            }+        }, function(err) {+            socket.send('Error sending JavaScript');+        });+    };+    socket.onopen = function() {+        console.log('Connected');+        socket.onmessage = function(event) {+            switch (event.data) {+                case 'eval':+                    evalNext();+                    break;+                case 'reload':+                    location.reload();+                    break;+            }+        };+    };+};

@@ -0,0 +1,427 @@+/*! normalize.css v3.0.2 | MIT License | git.io/normalize */++/**+ * 1. Set default font family to sans-serif.+ * 2. Prevent iOS text size adjust after orientation change, without disabling+ *    user zoom.+ */++html {+  font-family: sans-serif; /* 1 */+  -ms-text-size-adjust: 100%; /* 2 */+  -webkit-text-size-adjust: 100%; /* 2 */+}++/**+ * Remove default margin.+ */++body {+  margin: 0;+}++/* HTML5 display definitions+   ========================================================================== */++/**+ * Correct `block` display not defined for any HTML5 element in IE 8/9.+ * Correct `block` display not defined for `details` or `summary` in IE 10/11+ * and Firefox.+ * Correct `block` display not defined for `main` in IE 11.+ */++article,+aside,+details,+figcaption,+figure,+footer,+header,+hgroup,+main,+menu,+nav,+section,+summary {+  display: block;+}++/**+ * 1. Correct `inline-block` display not defined in IE 8/9.+ * 2. Normalize vertical alignment of `progress` in Chrome, Firefox, and Opera.+ */++audio,+canvas,+progress,+video {+  display: inline-block; /* 1 */+  vertical-align: baseline; /* 2 */+}++/**+ * Prevent modern browsers from displaying `audio` without controls.+ * Remove excess height in iOS 5 devices.+ */++audio:not([controls]) {+  display: none;+  height: 0;+}++/**+ * Address `[hidden]` styling not present in IE 8/9/10.+ * Hide the `template` element in IE 8/9/11, Safari, and Firefox < 22.+ */++[hidden],+template {+  display: none;+}++/* Links+   ========================================================================== */++/**+ * Remove the gray background color from active links in IE 10.+ */++a {+  background-color: transparent;+}++/**+ * Improve readability when focused and also mouse hovered in all browsers.+ */++a:active,+a:hover {+  outline: 0;+}++/* Text-level semantics+   ========================================================================== */++/**+ * Address styling not present in IE 8/9/10/11, Safari, and Chrome.+ */++abbr[title] {+  border-bottom: 1px dotted;+}++/**+ * Address style set to `bolder` in Firefox 4+, Safari, and Chrome.+ */++b,+strong {+  font-weight: bold;+}++/**+ * Address styling not present in Safari and Chrome.+ */++dfn {+  font-style: italic;+}++/**+ * Address variable `h1` font-size and margin within `section` and `article`+ * contexts in Firefox 4+, Safari, and Chrome.+ */++h1 {+  font-size: 2em;+  margin: 0.67em 0;+}++/**+ * Address styling not present in IE 8/9.+ */++mark {+  background: #ff0;+  color: #000;+}++/**+ * Address inconsistent and variable font size in all browsers.+ */++small {+  font-size: 80%;+}++/**+ * Prevent `sub` and `sup` affecting `line-height` in all browsers.+ */++sub,+sup {+  font-size: 75%;+  line-height: 0;+  position: relative;+  vertical-align: baseline;+}++sup {+  top: -0.5em;+}++sub {+  bottom: -0.25em;+}++/* Embedded content+   ========================================================================== */++/**+ * Remove border when inside `a` element in IE 8/9/10.+ */++img {+  border: 0;+}++/**+ * Correct overflow not hidden in IE 9/10/11.+ */++svg:not(:root) {+  overflow: hidden;+}++/* Grouping content+   ========================================================================== */++/**+ * Address margin not present in IE 8/9 and Safari.+ */++figure {+  margin: 1em 40px;+}++/**+ * Address differences between Firefox and other browsers.+ */++hr {+  -moz-box-sizing: content-box;+  box-sizing: content-box;+  height: 0;+}++/**+ * Contain overflow in all browsers.+ */++pre {+  overflow: auto;+}++/**+ * Address odd `em`-unit font size rendering in all browsers.+ */++code,+kbd,+pre,+samp {+  font-family: monospace, monospace;+  font-size: 1em;+}++/* Forms+   ========================================================================== */++/**+ * Known limitation: by default, Chrome and Safari on OS X allow very limited+ * styling of `select`, unless a `border` property is set.+ */++/**+ * 1. Correct color not being inherited.+ *    Known issue: affects color of disabled elements.+ * 2. Correct font properties not being inherited.+ * 3. Address margins set differently in Firefox 4+, Safari, and Chrome.+ */++button,+input,+optgroup,+select,+textarea {+  color: inherit; /* 1 */+  font: inherit; /* 2 */+  margin: 0; /* 3 */+}++/**+ * Address `overflow` set to `hidden` in IE 8/9/10/11.+ */++button {+  overflow: visible;+}++/**+ * Address inconsistent `text-transform` inheritance for `button` and `select`.+ * All other form control elements do not inherit `text-transform` values.+ * Correct `button` style inheritance in Firefox, IE 8/9/10/11, and Opera.+ * Correct `select` style inheritance in Firefox.+ */++button,+select {+  text-transform: none;+}++/**+ * 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio`+ *    and `video` controls.+ * 2. Correct inability to style clickable `input` types in iOS.+ * 3. Improve usability and consistency of cursor style between image-type+ *    `input` and others.+ */++button,+html input[type="button"], /* 1 */+input[type="reset"],+input[type="submit"] {+  -webkit-appearance: button; /* 2 */+  cursor: pointer; /* 3 */+}++/**+ * Re-set default cursor for disabled elements.+ */++button[disabled],+html input[disabled] {+  cursor: default;+}++/**+ * Remove inner padding and border in Firefox 4+.+ */++button::-moz-focus-inner,+input::-moz-focus-inner {+  border: 0;+  padding: 0;+}++/**+ * Address Firefox 4+ setting `line-height` on `input` using `!important` in+ * the UA stylesheet.+ */++input {+  line-height: normal;+}++/**+ * It's recommended that you don't attempt to style these elements.+ * Firefox's implementation doesn't respect box-sizing, padding, or width.+ *+ * 1. Address box sizing set to `content-box` in IE 8/9/10.+ * 2. Remove excess padding in IE 8/9/10.+ */++input[type="checkbox"],+input[type="radio"] {+  box-sizing: border-box; /* 1 */+  padding: 0; /* 2 */+}++/**+ * Fix the cursor style for Chrome's increment/decrement buttons. For certain+ * `font-size` values of the `input`, it causes the cursor style of the+ * decrement button to change from `default` to `text`.+ */++input[type="number"]::-webkit-inner-spin-button,+input[type="number"]::-webkit-outer-spin-button {+  height: auto;+}++/**+ * 1. Address `appearance` set to `searchfield` in Safari and Chrome.+ * 2. Address `box-sizing` set to `border-box` in Safari and Chrome+ *    (include `-moz` to future-proof).+ */++input[type="search"] {+  -webkit-appearance: textfield; /* 1 */+  -moz-box-sizing: content-box;+  -webkit-box-sizing: content-box; /* 2 */+  box-sizing: content-box;+}++/**+ * Remove inner padding and search cancel button in Safari and Chrome on OS X.+ * Safari (but not Chrome) clips the cancel button when the search input has+ * padding (and `textfield` appearance).+ */++input[type="search"]::-webkit-search-cancel-button,+input[type="search"]::-webkit-search-decoration {+  -webkit-appearance: none;+}++/**+ * Define consistent border, margin, and padding.+ */++fieldset {+  border: 1px solid #c0c0c0;+  margin: 0 2px;+  padding: 0.35em 0.625em 0.75em;+}++/**+ * 1. Correct `color` not being inherited in IE 8/9/10/11.+ * 2. Remove padding so people aren't caught out if they zero out fieldsets.+ */++legend {+  border: 0; /* 1 */+  padding: 0; /* 2 */+}++/**+ * Remove default vertical scrollbar in IE 8/9/10/11.+ */++textarea {+  overflow: auto;+}++/**+ * Don't inherit the `font-weight` (applied by a rule above).+ * NOTE: the default cannot safely be changed in Chrome and Safari on OS X.+ */++optgroup {+  font-weight: bold;+}++/* Tables+   ========================================================================== */++/**+ * Remove most spacing between table cells.+ */++table {+  border-collapse: collapse;+  border-spacing: 0;+}++td,+th {+  padding: 0;+}

@@ -0,0 +1,703 @@+/** ************************************************************************* *+ ** Pursuit CSS+ **+ ** STRUCTURE+ **+ ** This CSS file is structured into several sections, from general to+ ** specific, and (mostly) alphabetically within the sections.+ **+ ** Several global element styles are used. This is not encouraged and should+ ** be kept to a minimum. If you want to add new styles you'll most likely+ ** want to add a new CSS component. See the Components section for examples.+ **+ ** CSS components use three simple naming ideas from the BEM system:+ **   - Block:    `.my-component`+ **   - Element:  `.my-component__item`+ **   - Modifier: `.my-component.my-component--highlighted`+ **+ **   Example:+ **   <div .my-component>+ **     <div .my-component__item>+ **     <div .my-component__item>+ **   ...+ **   <div .my-component.my-component--highlighted>+ **     <div .my-component__item>+ **     <div .my-component__item>+ **+ ** Components can be nested.+ **+ **+ ** TYPOGRAPHY+ **+ ** Typographic choices for sizes, line-heights and margins are based on a+ ** musical major third scale (4:5). This gives us a way to find numbers+ ** and relationships between them that are perceived as harmonic.+ **+ ** To make use of this modular scale, use a ratio of the form+ **   (5/4)^n+ ** where n ∈ ℤ, -6 ≤ n ≤ 8.+ ** ************************************************************************* */+/* Section: Variables+ * ========================================================================== */+/* Section: Document Styles+ * ========================================================================== */+html {+  box-sizing: border-box;+  /* This overflow rule prevents everything from shifting slightly to the side+     when moving from a page which isn't large enough to generate a scrollbar+     to one that is. */+  overflow-y: scroll;+}+*,+*::before,+*::after {+  box-sizing: inherit;+}+body {+  background-color: #ffffff;+  color: #000;+  font-family: "Roboto", sans-serif;+  font-size: 87.5%;+  line-height: 1.563;+}+@media (min-width: 38em) {+  body {+    font-size: 100%;+  }+}+/* Section: Utility Classes+ * ========================================================================== */+.clear-floats {+  clear: both;+}+.clearfix::before,+.clearfix::after {+  content: " ";+  display: table;+}+.clearfix::after {+  clear: both;+}+/* Content hidden like this will still be read by a screen reader */+.hide-visually {+  position: absolute;+  left: -10000px;+  top: auto;+  width: 1px;+  height: 1px;+  overflow: hidden;+}+/* Section: Layout+ * ========================================================================== */+.container {+  display: block;+  max-width: 66em;+  margin-left: auto;+  margin-right: auto;+  padding-left: 20px;+  padding-right: 20px;+}+.col {+  display: block;+  position: relative;+  width: 100%;+}+.col.col--main {+  margin-bottom: 3.08em;+}+.col.col--aside {+  margin-bottom: 2.44em;+}+@media (min-width: 52em) {+  .container {+    padding-left: 30px;+    padding-right: 30px;+  }+  .col.col--main {+    float: left;+    width: 63.655%;+    /* 66.6…% - 30px */+  }+  .col.col--aside {+    float: right;+    font-size: 87.5%;+    width: 33.333333%;+  }+}+@media (min-width: 66em) {+  .col.col--aside {+    font-size: inherit;+  }+}+/* Footer+ * Based on http://www.lwis.net/journal/2008/02/08/pure-css-sticky-footer/+ * Except we don't support IE6+ * -------------------------------------------------------------------------- */+html,+body {+  height: 100%;+}+.everything-except-footer {+  min-height: 100%;+  padding-bottom: 3em;+}+.footer {+  position: relative;+  height: 3em;+  margin-top: -3em;+  width: 100%;+  text-align: center;+  background-color: #1d222d;+  color: #f0f0f0;+}+.footer * {+  margin-bottom: 0;+}+/* Section: Element Styles+ *+ * Have as few of these as possible and keep them general, because they will+ * influence every component hereafter.+ * ========================================================================== */+:target {+  background-color: #f1f5f9;+}+a,+a:visited {+  color: #c4953a;+  text-decoration: none;+  font-weight: bold;+}+a:hover {+  color: #7b5904;+  text-decoration: none;+}+code,+pre {+  background-color: #f1f5f9;+  border-radius: 3px;+  color: #194a5b;+  font-family: "Roboto Mono", monospace;+  font-size: 87.5%;+}+:target code,+:target pre {+  background-color: #dfe8f1;+}+code {+  padding: 0.2em 0;+  margin: 0;+  white-space: pre-wrap;+  word-wrap: break-word;+}+code::before,+code::after {+  letter-spacing: -0.2em;+  content: "\00a0";+}+a > code {+  font-weight: normal;+}+a > code::before {+  content: "🡒";+  letter-spacing: 0.33em;+}+a:hover > code {+  color: #c4953a;+}+pre {+  margin-top: 0;+  margin-bottom: 0;+  padding: 1em 1.25rem;+  /* Using rem here to align with lists etc. */+  overflow: auto;+  white-space: pre;+  word-wrap: normal;+}+pre code {+  background-color: transparent;+  border: 0;+  font-size: 100%;+  max-width: auto;+  padding: 0;+  margin: 0;+  overflow: visible;+  line-height: inherit;+  white-space: pre;+  word-break: normal;+  word-wrap: normal;+}+pre code::before,+pre code::after {+  content: normal;+}+h1 {+  font-size: 3.052em;+  font-weight: 300;+  letter-spacing: -0.5px;+  line-height: 1.125;+  margin-top: 1.563rem;+  margin-bottom: 1.25rem;+}+@media (min-width: 52em) {+  h1 {+    font-size: 3.814em;+    margin-top: 5.96rem;+  }+}+h2 {+  font-size: 1.953em;+  font-weight: normal;+  line-height: 1.250;+  margin-top: 3.052rem;+  margin-bottom: 1rem;+}+h3 {+  font-size: 1.563em;+  font-weight: normal;+  line-height: 1.250;+  margin-top: 2.441rem;+  margin-bottom: 1rem;+}+h4 {+  font-size: 1.25em;+  font-weight: normal;+  margin-top: 2.441rem;+  margin-bottom: 1rem;+}+h1 + h2,+h1 + h3,+h1 + h4,+h2 + h3,+h2 + h4,+h3 + h4 {+  margin-top: 1rem;+}+hr {+  border: none;+  height: 1px;+  background-color: #cccccc;+}+img {+  border-style: none;+  max-width: 100%;+}+p {+  font-size: 1em;+  margin-top: 1rem;+  margin-bottom: 1rem;+}+table {+  border-bottom: 1px solid #cccccc;+  border-collapse: collapse;+  border-spacing: 0;+  margin-top: 1rem;+  margin-bottom: 1rem;+  width: 100%;+}+td,+th {+  text-align: left;+  padding: 0.41em 0.51em;+}+td {+  border-top: 1px solid #cccccc;+}+td:first-child,+th:first-child {+  padding-left: 0;+}+td:last-child,+th:last-child {+  padding-right: 0;+}+ul {+  list-style-type: none;+  margin-top: 1rem;+  margin-bottom: 1rem;+  padding-left: 0;+}+ul li {+  position: relative;+  padding-left: 1.250em;+}+ul li::before {+  position: absolute;+  color: #a0a0a0;+  content: "–";+  display: inline-block;+  margin-left: -1.25em;+  width: 1.250em;+}+/* Tying this tightly to ul at the moment because it's a slight variation thereof */+ul.ul--search li::before {+  content: "⚲";+  top: -0.2em;+  transform: rotate(-45deg);+}+ol {+  margin-top: 1rem;+  margin-bottom: 1rem;+  padding-left: 1.250em;+}+ol li {+  position: relative;+  padding-left: 0;+}+/* Section: Components+ * ========================================================================== */+/* Component: Badge+ * -------------------------------------------------------------------------- */+.badge {+  position: relative;+  top: -0.1em;+  display: inline-block;+  background-color: #000;+  border-radius: 1.3em;+  color: #fff;+  font-size: 77%;+  font-weight: bold;+  line-height: 1.563;+  text-align: center;+  height: 1.5em;+  width: 1.5em;+}+.badge.badge--package {+  background-color: #c4953a;+  letter-spacing: -0.1em;+}+.badge.badge--module {+  background-color: #75B134;+}+/* Component: Declarations+ * -------------------------------------------------------------------------- */+.decl__title {+  position: relative;+  padding-bottom: 0.328em;+  margin-bottom: 0.262em;+}+.decl__source {+  display: block;+  float: right;+  font-size: 64%;+  position: relative;+  top: 0.57em;+}+.decl__anchor,+.decl__anchor:visited {+  position: absolute;+  left: -0.8em;+  color: #bababa;+}+.decl__anchor:hover {+  color: #c4953a;+}+.decl__signature {+  background-color: transparent;+  border-radius: 0;+  border-top: 1px solid #cccccc;+  border-bottom: 1px solid #cccccc;+  padding: 0.328em 0;+}+.decl__signature code {+  display: block;+  padding-left: 2.441em;+  text-indent: -2.441em;+  white-space: normal;+}+:target .decl__signature,+:target .decl__signature code {+  /* We want the background to be transparent, even when the parent is a target */+  background-color: transparent;+}+.decl__body .keyword,+.decl__body .syntax {+  color: #0B71B4;+}+/* Component: Dependency Link+ * -------------------------------------------------------------------------- */+.deplink {+  /* Currently no root styles, but keep the class as a namespace */+}+.deplink__link {+  display: inline-block;+  margin-right: 0.41em;+}+.deplink__version {+  color: #666666;+  display: inline-block;+  font-size: 0.8em;+  line-height: 1;+}+/* Component: Grouped List+ * -------------------------------------------------------------------------- */+.grouped-list {+  border-top: 1px solid #cccccc;+  margin: 0 0 2.44em 0;+}+.grouped-list__title {+  color: #666666;+  font-size: 0.8em;+  font-weight: 300;+  letter-spacing: 1px;+  margin: 0.8em 0 -0.1em 0;+  text-transform: uppercase;+}+.grouped-list__item {+  margin: 0;+}+/* Component: Message+ * -------------------------------------------------------------------------- */+.message {+  border: 5px solid;+  border-radius: 5px;+  padding: 1em !important;+}+.message.message--error {+  background-color: #fff0f0;+  border-color: #c85050;+}+.message.message--not-available {+  background-color: #f0f096;+  border-color: #e3e33d;+}+/* Component: Multi Col+ * Multiple columns side by side+ * -------------------------------------------------------------------------- */+.multi-col {+  margin-bottom: 2.44em;+}+.multi-col__col {+  display: block;+  padding-right: 1em;+  position: relative;+  width: 100%;+}+@media (min-width: 38em) and (max-width: 51.999999em) {+  .multi-col__col {+    float: left;+    width: 50%;+  }+  .multi-col__col:nth-child(2n+3) {+    clear: both;+  }+}+@media (min-width: 52em) {+  .multi-col__col {+    float: left;+    width: 33.333333%;+  }+  .multi-col__col:nth-child(3n+4) {+    clear: both;+  }+}+/* Component: Page Title+ * -------------------------------------------------------------------------- */+.page-title {+  margin: 4.77em 0 1.56em;+  padding-bottom: 1.25em;+  position: relative;+}+.page-title__title {+  margin: 0 0 0 -0.05em;+  /* Visually align on left edge */+}+.page-title__label {+  position: relative;+  color: #666666;+  font-size: 0.8rem;+  font-weight: 300;+  letter-spacing: 1px;+  margin-bottom: -0.8em;+  text-transform: uppercase;+  z-index: 1;+}+/* Component: Top Banner+ * -------------------------------------------------------------------------- */+.top-banner {+  background-color: #1d222d;+  color: #f0f0f0;+  font-weight: normal;+}+.top-banner__logo,+.top-banner__logo:visited {+  float: left;+  color: #f0f0f0;+  font-size: 2.44em;+  font-weight: 300;+  line-height: 90px;+  margin: 0;+}+.top-banner__logo:hover {+  color: #c4953a;+  text-decoration: none;+}+.top-banner__form {+  margin-bottom: 1.25em;+}+.top-banner__form input {+  border: 1px solid #1d222d;+  border-radius: 3px;+  color: #1d222d;+  font-weight: 300;+  line-height: 2;+  padding: 0.21em 0.512em;+  width: 100%;+}+.top-banner__actions {+  float: right;+  text-align: right;+}+.top-banner__actions__item {+  display: inline-block;+  line-height: 90px;+  margin: 0;+  padding-left: 1.25em;+}+.top-banner__actions__item:first-child {+  padding-left: 0;+}+.top-banner__actions__item a,+.top-banner__actions__item a:visited {+  color: #f0f0f0;+}+.top-banner__actions__item a:hover {+  color: #c4953a;+}+@media (min-width: 38em) {+  .top-banner__logo {+    float: left;+    width: 25%;+  }+  .top-banner__form {+    float: left;+    line-height: 90px;+    margin-bottom: 0;+    width: 50%;+  }+  .top-banner__actions {+    float: right;+    width: 25%;+  }+}+/* Component: Search Results+ * -------------------------------------------------------------------------- */+.result.result--empty {+  font-size: 1.25em;+}+.result__title {+  font-size: 1.25em;+  margin-bottom: 0.2rem;+}+.result__badge {+  margin-left: -0.1em;+}+.result__body > *:first-child {+  margin-top: 0!important;+}+.result__body > *:last-child {+  margin-bottom: 0!important;+}+.result__signature {+  background-color: transparent;+  border-radius: 0;+  border-top: 1px solid #cccccc;+  border-bottom: 1px solid #cccccc;+  padding: 0.328em 0;+}+.result__signature code {+  display: block;+  padding-left: 2.441em;+  text-indent: -2.441em;+  white-space: normal;+}+.result__actions {+  margin-top: 0.2rem;+}+.result__actions__item {+  font-size: 80%;+}+.result__actions__item + .result__actions__item {+  margin-left: 0.65em;+}+/* Component: Version Selector+ * -------------------------------------------------------------------------- */+.version-selector {+  margin-bottom: 0.8em;+}+@media (min-width: 38em) {+  .version-selector {+    position: absolute;+    top: 0.8em;+    right: 0;+    margin-bottom: 0;+  }+}+/* Section: FIXME+ * These styles should be cleaned up+ * ========================================================================== */+/* Help paragraphs */+.help {+  padding: 5px 0;+}+.help h3 {+  /* FIXME: target with class */+  margin-top: 16px;+}+/* Section: Markdown+ * Github rendered README+ * ========================================================================== */+.markdown-body {+  /*+  Useful for narrow screens, such as mobiles. Documentation often contains URLs+  which would otherwise force the page to become wider, and force creation of+  horizontal scrollbars. Yuck.+  */+  word-wrap: break-word;+}+.markdown-body > *:first-child {+  margin-top: 0 !important;+}+.markdown-body > *:last-child {+  margin-bottom: 0 !important;+}+.markdown-body a:not([href]) {+  color: inherit;+  text-decoration: none;+}+.markdown-body blockquote {+  margin: 0;+  padding: 0 1em;+  color: #777;+  border-left: 0.25em solid #ddd;+}+.markdown-body blockquote > :first-child {+  margin-top: 0;+}+.markdown-body blockquote > :last-child {+  margin-bottom: 0;+}+.markdown-body .anchor {+  /* We hide the anchor because the link doesn't point to a valid location */+  display: none;+}+.markdown-body .pl-k {+  /* Keyword */+  color: #a0a0a0;+}+.markdown-body .pl-c1,+.markdown-body .pl-en {+  /* Not really sure what this is */+  color: #39d;+}+.markdown-body .pl-s {+  /* String literals */+  color: #1a1;+}+.markdown-body .pl-cce {+  /* String literal escape sequences */+  color: #921;+}+.markdown-body .pl-smi {+  /* type variables? */+  color: #62b;+}

@@ -15,6 +15,7 @@     "output"   ],   "dependencies": {+    "purescript-prelude": "./bower_components/purescript-prelude"   },   "license": "MIT" }

@@ -0,0 +1,21 @@+{+  "canonicalDir": ".",+  "pkgMeta": {+    "dependencies": {+      "purescript-prelude": "./bower_components/purescript-prelude"+    }+  },+  "dependencies": {+    "purescript-prelude": {+      "canonicalDir": "bower_components/purescript-prelude",+      "pkgMeta": {+        "_resolution": {+          "type": "version",+          "tag": "v2.4.0",+          "commit": "21067a4c782f42d08bc877214f85b92ce6769b21"+        }+      },+      "dependencies": {}+    }+  }+}

@@ -4,6 +4,5 @@  type WithoutArgs      = forall a. (Partial => a) -> a type WithArgs         = forall a. (Foo a => a) -> a-type MultiWithoutArgs = forall a. ((Partial, Partial) => a) -> a-type MultiWithArgs    = forall a b. ((Foo a, Foo b) => a) -> a-+type MultiWithoutArgs = forall a. (Partial => Partial => a) -> a+type MultiWithArgs    = forall a b. (Foo a => Foo b => a) -> a

@@ -2,4 +2,4 @@ module TypeClassWithFunDeps where  class TypeClassWithFunDeps a b c d e | a b -> c, c -> d e where-  aMember :: a+  aMember :: a -> b

@@ -4,5 +4,5 @@ class Foo a b where   foo :: a -> b -bar :: forall a. (Foo a) => a -> a+bar :: forall a. Foo a => a -> a bar a = a

@@ -12,7 +12,7 @@ instance inject :: Inject f f where   inj x = x -foreign import data Oops :: !+foreign import data Oops :: Effect  main :: forall eff. Eff (oops :: Oops | eff) Unit main = inj (log "Oops")

@@ -1,6 +0,0 @@--- @shouldFailWith ErrorParsingModule-module Main where--data X a = X--eg = \(X :: (forall a. X a)) -> X

@@ -0,0 +1,5 @@+-- @shouldFailWith NoInstanceFound+module Main where++foo :: Int+foo = (0 :: Fail "This constraint should be checked" => Int)

@@ -1,7 +1,7 @@ -- @shouldFailWith KindsDoNotUnify module Main where -type Syn (a :: * -> *) = String+type Syn (a :: Type -> Type) = String  val :: Syn Int val = "bad"

@@ -0,0 +1,9 @@+-- @shouldFailWith NoInstanceFound+module Main where+	+import Prelude++newtype Foo r = Foo { | r }++derive instance eqFoo :: Eq (Foo r)+derive instance ordFoo :: Ord (Foo r)

@@ -0,0 +1,12 @@+-- @shouldFailWith TypesDoNotUnify+module DuplicateProperties where++import Prelude++foreign import data Test :: # Type -> Type++foreign import subtractX :: forall r. Test (x :: Unit | r) -> Test r++foreign import hasX :: Test (x :: Unit, y :: Unit)++baz = subtractX (subtractX hasX)

@@ -1,12 +0,0 @@--- @shouldFailWith TypesDoNotUnify-module DuplicateProperties where--import Prelude--foreign import data Test :: # * -> *--foreign import subtractX :: forall r. Test (x :: Unit | r) -> Test r--foreign import hasX :: Test (x :: Unit, y :: Unit)--baz = subtractX (subtractX hasX)

@@ -1,12 +0,0 @@--- @shouldFailWith DuplicateLabel-module DuplicateProperties where--import Prelude--foreign import data Test :: # * -> *--foreign import subtractX :: forall r. Test (x :: Unit | r) -> Test r--foreign import hasX :: forall r. Test (x :: Unit, y :: Unit | r)--baz = subtractX (subtractX hasX)

@@ -0,0 +1,8 @@+-- @shouldFailWith InvalidDerivedInstance+module Main where++import Prelude++data X = X++derive instance eqX :: Eq X X

@@ -0,0 +1,6 @@+-- @shouldFailWith ExpectedTypeConstructor+module Main where++import Prelude++derive instance eqRecord :: Eq {}

@@ -0,0 +1,10 @@+-- @shouldFailWith ErrorParsingModule+module Main where++import Prelude++-- wrong binders for function, the first one should be VarBinder+x =+  let (X a b) x y = hoge+  in+   a

@@ -0,0 +1,14 @@+-- @shouldFailWith UnknownName+module Main where++import Prelude++data X a = X a++-- wrong dependency order+x =+  let+    b = a+    X a = X 10+  in+   b

@@ -0,0 +1,13 @@+-- @shouldFailWith IncorrectConstructorArity+module Main where++import Prelude++data X a = X a++-- a parameter binder should be with nullary constructor, or with parens+x =+  let+    a X b = b+  in+   a $ X 10

@@ -0,0 +1,6 @@+-- @shouldFailWith ErrorParsingModule+module Main where++data X a = X a++X a = a

@@ -0,0 +1,5 @@+-- @shouldFailWith NoInstanceFound+module Main where++f :: Int -> Int+f x | 1 <- x = x

@@ -8,19 +8,19 @@ class Su a where   su :: a -> a -class (Su (Array a)) <= Cl a where+class Su (Array a) <= Cl a where   cl :: a -> a -> a  instance suNumber :: Su Number where   su n = n + 1.0 -instance suArray :: (Su a) => Su (Array a) where+instance suArray :: Su a => Su (Array a) where   su [x] = [su x]  instance clNumber :: Cl Number where   cl n m = n + m -test :: forall a. (Cl a) => a -> Array a+test :: forall a. Cl a => a -> Array a test x = su [cl x x]  main = logShow $ test 10.0

@@ -0,0 +1,7 @@+-- @shouldFailWith UnusableDeclaration+module Main where++class C a b where+  -- type doesn't contain `a`, which is also required to determine an instance+  c :: b+

@@ -0,0 +1,7 @@+-- @shouldFailWith UnusableDeclaration+module Main where++class C a where+  -- type doesn't contain the type class var `a`+  c :: forall a. a+

@@ -0,0 +1,9 @@+-- @shouldFailWith UnusableDeclaration+module Main where++type M x = forall a. a++class C a where+  -- after synonym expansion, the type doesn't actually contain an `a`+  c :: M a+

@@ -0,0 +1,26 @@+module Main where++import Prelude+import Control.Monad.Eff.Console (log)++data X a = X++x :: forall a. X a+x = X+	 +type Y = { x :: X Int }++test :: forall m. Monad m => m Y+test = pure { x: x }++type Z t = forall x. t x -> (forall a. t a) -> t x++class C t where c :: Z t++instance cA :: C Array where+  c x _ = x++test2 :: forall m. Monad m => m { ccc :: Z Array }+test2 = pure { ccc: (c :: Z Array) }++main = log "Done"

@@ -1,14 +1,14 @@-module Main where
-
-import Prelude
-import Control.Monad.Eff.Console (log)
-
-x :: forall a. a -> String
-x a = y "Test"
-  where
-  y :: forall a. (Show a) => a -> String
-  y a = show (a :: a)
-
-main = do
-  log (x 0)
-  log "Done"
+module Main where++import Prelude+import Control.Monad.Eff.Console (log)++x :: forall a. a -> String+x a = y "Test"+  where+  y :: forall a. Show a => a -> String+  y a = show (a :: a)++main = do+  log (x 0)+  log "Done"

@@ -6,17 +6,17 @@ _2 :: forall a. a -> a _2 a = a -x :: forall m. (Monad m) => m Unit+x :: forall m. Monad m => m Unit x = do   _ <- pure unit   pure unit -y :: forall m. (Monad m) => m Unit+y :: forall m. Monad m => m Unit y = do   _ <- pure unit   pure unit -wtf :: forall m. (Monad m) => m Unit+wtf :: forall m. Monad m => m Unit wtf = do   _ <- pure unit   let tmp = _2 1

@@ -9,7 +9,7 @@ empty :: forall a. Array a empty = [] -foldMap :: forall a m. (Semigroup m) => (a -> m) -> Array a -> m+foldMap :: forall a m. Semigroup m => (a -> m) -> Array a -> m foldMap f [a, b, c, d, e] = f a <> f b <> f c <> f d <> f e foldMap f xs = foldMap f xs -- spin, not used 

@@ -0,0 +1,12 @@+module Main where++import Prelude+import Eg (Foo'(Bar'), (:->))+import Control.Monad.Eff (Eff)+import Control.Monad.Eff.Console (CONSOLE, log)++bar' :: Foo'+bar' = 4 :-> 5++main :: forall e. Eff (console :: CONSOLE | e) Unit+main = case bar' of Bar' l r -> log "Done"

@@ -0,0 +1,6 @@+module Eg (Foo'(Bar'), (:->)) where++data Foo' = Bar' Int Int++infix 4 Bar' as :->+

@@ -0,0 +1,13 @@+module Main where++import Prelude+import Control.Monad.Eff.Console (log)++newtype F r a = F { x :: a | r }++unF :: forall r a. F r a -> { x :: a | r }+unF (F x) = x++derive instance functorF :: Functor (F r)++main = log (unF (map id (F { x: "Done", y: 42 }))).x

@@ -0,0 +1,13 @@+module Main where++import Control.Monad.Eff.Console (log)++f = \(x :: forall a. a -> a) -> x x++test1 = (f \x -> x) 1++g = \(x :: (forall a. a -> a) -> Int) -> x (\y -> y)++test2 = g \f -> if f true then f 0 else f 1++main = log "Done"

@@ -0,0 +1,9 @@+module Main where++import Prelude+import Control.Monad.Eff.Console (log)++foo :: forall t. Warn "Example" => t -> t+foo x = x++main = when (foo 42 == 42) $ log "Done"

@@ -0,0 +1,36 @@+module Main where++import Prelude+import Control.Monad.Eff.Console+import Data.Array.Partial+import Partial.Unsafe++sumTCObug = go id where +  go f 0 = f +  go f n =+    let+      f' a = n + a+    in+      go f' 0++sumTCObug' = go id where +  go f 0 = f+  go f n = go (\a -> n + a) 0++count :: forall a. (a -> Boolean) -> Array a -> Int+count p = count' 0 where+  count' acc [] = acc+  count' acc xs =+    let h = unsafePartial head xs+    in count' (acc + if p h then 1 else 0) (unsafePartial tail xs)++main = do+  let x = sumTCObug 7 3+      y = sumTCObug' 7 3+      z = count (_ > 0) [-1, 0, 1]+  logShow x+  logShow y +  logShow z+  if x == 10 && y == 10 && z == 1+    then log "Done"+    else log "Fail"

@@ -0,0 +1,13 @@+module Main where++import Prelude+import Data.Generic+import Control.Monad.Eff.Console (log)++type Foo = { foo :: Int }++newtype Foo' = Foo' Foo++derive instance genericFoo :: Generic Foo'++main = log "Done"

@@ -0,0 +1,20 @@+module Main where++import Control.Monad.Eff (Eff)+import Control.Monad.Eff.Console (log)+import Prelude++pu :: forall eff. Eff eff Unit+pu = pure unit++type C eff = { pu :: Eff eff Unit }++sampleC :: C ()+sampleC = { pu: pu }++newtype Identity a = Id a++sampleIdC :: Identity (C ())+sampleIdC = Id { pu : pu }++main = log "Done"

@@ -9,8 +9,8 @@ class Foo a where   foo :: Bar a -> Baz -foo_ :: forall a. (Foo a) => a -> Baz-foo_ x = foo ((mkBar :: forall a. (Foo a) => a -> Bar a) x)+foo_ :: forall a. Foo a => a -> Baz+foo_ x = foo ((mkBar :: forall a. Foo a => a -> Bar a) x)  mkBar :: forall a. a -> Bar a mkBar _ = Bar

@@ -3,7 +3,7 @@ import Lib (class X, go) import Control.Monad.Eff.Console (log) -go' :: forall a. (X a) => a -> a+go' :: forall a. X a => a -> a go' = go  main = log "Done"

@@ -10,9 +10,9 @@   r <- newSTRef n   count <- newSTRef 0   untilE $ do-    modifySTRef count $ (+) 1+    _ <- modifySTRef count $ (+) 1     m <- readSTRef r-    writeSTRef r $ if m `mod` 2 == 0 then m / 2 else 3 * m + 1+    _ <- writeSTRef r $ if m `mod` 2 == 0 then m / 2 else 3 * m + 1     pure $ m == 1   readSTRef count)) 

@@ -4,10 +4,10 @@ import Control.Monad.Eff import Control.Monad.Eff.Console -replicateM_ :: forall m a. (Monad m) => Number -> m a -> m {}-replicateM_ 0.0 _ = pure {}+replicateM_ :: forall m a. Monad m => Number -> m a -> m Unit+replicateM_ 0.0 _ = pure unit replicateM_ n act = do-  act+  _ <- act   replicateM_ (n - 1.0) act  main = do

@@ -0,0 +1,12 @@+module Main where++import Prelude+import Control.Monad.Eff.Console (log)++class Foo a where+  foo ∷ a → a++test ∷ ∀ a. (Foo a) ⇒ a → a+test = foo++main = log "Done"

@@ -1,6 +1,6 @@ module Main where -  import Prelude (Unit, bind, (==))+  import Prelude (Unit, bind, discard, (==))   import Control.Monad.Eff (Eff)   import Control.Monad.Eff.Console (CONSOLE, log)   import Test.Assert (ASSERT, assert')

@@ -31,8 +31,8 @@   Just (x + y)  test3 = \_ -> do-  Just 1.0-  Nothing :: Maybe Number+  _ <- Just 1.0+  _ <- Nothing :: Maybe Number   Just 2.0  test4 mx my = do

@@ -0,0 +1,27 @@+module Main where++import Prelude+import Control.Monad.Eff.Console (log)++data RProxy (r :: # Type) = RProxy++data Proxy (a :: Type) = Proxy++subtractX :: forall r a. RProxy (x :: a | r) -> RProxy r+subtractX RProxy = RProxy++extractX :: forall r a. RProxy (x :: a | r) -> Proxy a+extractX RProxy = Proxy++hasX :: forall r a b. RProxy (x :: a, y :: b | r)+hasX = RProxy++test1 = subtractX (subtractX hasX)++test2+  :: forall r a b+   . RProxy (x :: a, x :: b, x :: Int | r)+  -> Proxy Int+test2 x = extractX (subtractX (subtractX x))++main = log "Done"

@@ -11,12 +11,12 @@  test2 = runPure (runST (do           ref <- newSTRef 0.0-          modifySTRef ref $ \n -> n + 1.0+          _ <- modifySTRef ref $ \n -> n + 1.0           readSTRef ref))  test3 = pureST (do           ref <- newSTRef 0.0-          modifySTRef ref $ \n -> n + 1.0+          _ <- modifySTRef ref $ \n -> n + 1.0           readSTRef ref)  main = do

@@ -4,8 +4,8 @@ import Control.Monad.Eff import Control.Monad.Eff.Console -test x = show (x :: _ :: *)+test x = show (x :: _ :: Type)  main = do-  when (show (unit :: Unit :: *) == "unit") (log "Done")+  when (show (unit :: Unit :: Type) == "unit") (log "Done")   when (test unit == "unit") (log "Done")

@@ -4,7 +4,7 @@ import Control.Monad.Eff.Console (log, logShow) import Data.Function (on) -comparing :: forall a b. (Ord b) => (a -> b) -> a -> a -> Ordering+comparing :: forall a b. Ord b => (a -> b) -> a -> a -> Ordering comparing f = compare `on` f  null [] = true

@@ -12,7 +12,7 @@     whileE ((>) 1000.0 <$> readSTRef n1) $ do       n1' <- readSTRef n1       n2' <- readSTRef n2-      writeSTRef n2 $ n1' + n2'-      writeSTRef n1 n2'+      _ <- writeSTRef n2 $ n1' + n2'+      _ <- writeSTRef n1 n2'       logShow n2'   log "Done"

@@ -7,7 +7,7 @@   num :: Number -> e Number   add :: e Number -> e Number -> e Number -type Expr a = forall e. (E e) => e a+type Expr a = forall e. E e => e a  data Id a = Id a 

@@ -23,11 +23,11 @@ instance natMultS :: (NatMult m n r, NatPlus n r s) => NatMult (S m) n s  -- Foreign Vect-foreign import data FVect :: * -> * -> *+foreign import data FVect :: Type -> Type -> Type foreign import fnil :: forall e. FVect Z e foreign import fcons :: forall n e. e -> FVect n e -> FVect (S n) e-foreign import fappend :: forall l r o e. (NatPlus l r o) => FVect l e -> FVect r e -> FVect o e-foreign import fflatten :: forall f s t o. (NatMult f s o) => FVect f (FVect s t) -> FVect o t+foreign import fappend :: forall l r o e. NatPlus l r o => FVect l e -> FVect r e -> FVect o e+foreign import fflatten :: forall f s t o. NatMult f s o => FVect f (FVect s t) -> FVect o t foreign import ftoArray :: forall n e. FVect n e -> Array e  -- should be able to figure these out@@ -37,5 +37,5 @@ fexample3 = fsingleton fexample `fappend` fsingleton fexample `fappend` fsingleton fexample  fexample4 = fflatten fexample3- + main = log "Done"

@@ -43,6 +43,13 @@ instance eqV :: Eq V where   eq x y = genericEq x y +newtype U = U {}++derive instance genericU :: Generic U _++instance eqU :: Eq U where+  eq x y = genericEq x y+ main :: Eff (console :: CONSOLE) Unit main = do   logShow (X 0 == X 1)@@ -52,4 +59,5 @@   logShow (Y == Y :: Y Z)   logShow (W { x: 0, y: "A" } == W { x: 0, y: "A" })   logShow (V { x: 0 } { x: 0 } == V { x: 0 } { x: 0 })+  logShow (U {} == U {})   log "Done"

@@ -12,11 +12,11 @@   z | y > 0.0 -> z / 2.0   z -> z * 3.0 + 1.0 -min :: forall a. (Ord a) => a -> a -> a+min :: forall a. Ord a => a -> a -> a min n m | n < m     = n         | otherwise = m -max :: forall a. (Ord a) => a -> a -> a+max :: forall a. Ord a => a -> a -> a max n m = case unit of   _ | m < n     -> n     | otherwise -> m@@ -26,5 +26,39 @@   = x + y                     | otherwise   = y - x++-- pattern guard example with two clauses+clunky1 :: Int -> Int -> Int+clunky1 a b | x <- max a b+            , x > 5+            = x+clunky1 a _ = a++clunky2 :: Int -> Int -> Int+clunky2 a b | x <- max a b+            , x > 5+            = x+            | otherwise+            = a + b++-- pattern guards on case epxressions+clunky_case1 :: Int -> Int -> Int+clunky_case1 a b =+  case unit of+    unit | x <- max a b+         , x > 5+         -> x+         | otherwise -> a + b++-- test indentation+clunky_case2 :: Int -> Int -> Int+clunky_case2 a b =+  case unit of+    unit+      | x <- max a b+      , x > 5+      -> x+      | otherwise+      -> a + b  main = log $ min "Done" "ZZZZ"

@@ -3,9 +3,9 @@ import Prelude import Control.Monad.Eff.Console (log) -type Star2Star f = f :: * -> *+type Star2Star f = f :: Type -> Type -type Star t = t :: *+type Star t = t :: Type  test1 :: Star2Star Array String test1 = ["test"]@@ -15,17 +15,17 @@  test2 = f "test" -data Proxy (f :: * -> *) = Proxy+data Proxy (f :: Type -> Type) = Proxy  test3 :: Proxy Array test3 = Proxy -type Test (f :: * -> *) = f String+type Test (f :: Type -> Type) = f String  test4 :: Test Array test4 = ["test"] -class Clazz (a :: *) where+class Clazz (a :: Type) where   def :: a  instance clazzString :: Clazz String where

@@ -0,0 +1,196 @@+module Main where++import Prelude+import Partial.Unsafe (unsafePartial)+import Control.Monad.Eff (Eff)+import Control.Monad.Eff.Console (CONSOLE, log)+import Test.Assert (ASSERT, assert')++patternSimple :: Boolean+patternSimple =+  let x = 25252+  in+   x == 25252++patternDoSimple :: forall e. Eff e Boolean+patternDoSimple = do+  let x = 25252+  pure $ x == 25252++newtype X = X Int++patternNewtype :: Boolean+patternNewtype =+  let X a = X 123+  in+   a == 123++patternDoNewtype :: forall e. Eff e Boolean+patternDoNewtype = do+  let X a = X 123+  pure $ a == 123++data Y = Y Int String Boolean++patternData :: Boolean+patternData =+  let Y a b c = Y 456 "hello, world" false+  in+   a == 456 && b == "hello, world" && not c++patternDataIgnored :: Boolean+patternDataIgnored =+  let Y _ x _ = Y 789 "world, hello" true+  in+   x == "world, hello"++patternDoData :: forall e. Eff e Boolean+patternDoData = do+  let Y a b c = Y 456 "hello, world" false+  pure $ a == 456 && b == "hello, world" && not c++patternDoDataIgnored :: forall e. Eff e Boolean+patternDoDataIgnored = do+  let Y _ x _ = Y 789 "world, hello" true+  pure $ x == "world, hello"++patternArray :: Boolean+patternArray = unsafePartial $+  let [a, b] = [1, 2]+  in+   a == 1 && b == 2++patternDoArray :: forall e. Eff e Boolean+patternDoArray = unsafePartial do+  let [a, b] = [1, 2]+  pure $ a == 1 && b == 2++patternMultiple :: Boolean+patternMultiple = unsafePartial $+  let+    x = 25252+    X a = X x+    Y b c d = Y x "hello, world" false+    Y _ e _ = Y 789 "world, hello" true+    [f, g] = [1, 2]+  in+   x == 25252 && a == 25252 && b == 25252 && c == "hello, world" &&+     not d && e == "world, hello" && f == 1 && g == 2++patternDoMultiple :: forall e. Eff e Boolean+patternDoMultiple = unsafePartial do+  let+    x = 25252+    X a = X x+    Y b c d = Y x "hello, world" false+    Y _ e _ = Y 789 "world, hello" true+    [f, g] = [1, 2]+  pure $ x == 25252 && a == 25252 && b == 25252 && c == "hello, world" &&+     not d && e == "world, hello" && f == 1 && g == 2++patternMultipleWithNormal :: Boolean+patternMultipleWithNormal = unsafePartial $+  let+    x = 25252+    X a = X x+    y = 2525+    Y b c d = Y y "hello, world" false+  in+   x == 25252 && y == 2525 &&+     a == 25252 && b == 2525 && c == "hello, world" && not d++patternDoMultipleWithNormal :: forall e. Eff e Boolean+patternDoMultipleWithNormal = unsafePartial do+  let+    x = 25252+    X a = X x+    y = 2525+    Y b c d = Y y "hello, world" false+  pure $ x == 25252 && y == 2525 &&+    a == 25252 && b == 2525 && c == "hello, world" && not d++patternWithParens :: Boolean+patternWithParens = unsafePartial $+  let+    (x) = 25252+    (X a) = X x+    (Y b c d) = Y x "hello, world" false+    (Y _ e _) = Y 789 "world, hello" true+    ([f, g]) = [1, 2]+  in+   x == 25252 && a == 25252 && b == 25252 && c == "hello, world" &&+     not d && e == "world, hello" && f == 1 && g == 2++patternDoWithParens :: forall e. Eff e Boolean+patternDoWithParens = unsafePartial do+  let+    (x) = 25252+    (X a) = X x+    (Y b c d) = Y x "hello, world" false+    (Y _ e _) = Y 789 "world, hello" true+    ([f, g]) = [1, 2]+  pure $ x == 25252 && a == 25252 && b == 25252 && c == "hello, world" &&+     not d && e == "world, hello" && f == 1 && g == 2++patternWithNamedBinder :: Boolean+patternWithNamedBinder = unsafePartial $+  let+    a@{x, y} = {x: 10, y: 20}+  in+   a.x == 10 && x == 10 && a.y == 20 && y == 20++patternDoWithNamedBinder :: forall e. Eff e Boolean+patternDoWithNamedBinder = unsafePartial do+  let+    a@{x, y} = {x: 10, y: 20}+  pure $+    a.x == 10 && x == 10 && a.y == 20 && y == 20++data List a = Nil | Cons a (List a)+infixr 6 Cons as :++instance eqList :: Eq a => Eq (List a) where+  eq xs ys = go xs ys true+    where+      go _ _ false = false+      go Nil Nil acc = acc+      go (x : xs') (y : ys') acc = go xs' ys' $ acc && (y == x)+      go _ _ _ = false++patternWithInfixOp :: Boolean+patternWithInfixOp = unsafePartial $+  let+    x : xs = 1 : 2 : 3 : 4 : Nil+  in+   x == 1 && xs == 2 : 3 : 4 : Nil++patternDoWithInfixOp :: forall e. Eff e Boolean+patternDoWithInfixOp = unsafePartial do+  let+    x : xs = 1 : 2 : 3 : 4 : Nil+  pure $+    x == 1 && xs == 2 : 3 : 4 : Nil++main :: Eff (assert :: ASSERT, console :: CONSOLE) Unit+main = do+  assert' "simple variable pattern" patternSimple+  assert' "simple variable pattern with do" =<< patternDoSimple+  assert' "constructor pattern (newtype)" patternNewtype+  assert' "constructor pattern (newtype) with do" =<< patternDoNewtype+  assert' "constructor pattern (data)" patternData+  assert' "constructor pattern with ignorances" patternDataIgnored+  assert' "constructor pattern (data) with do" =<< patternDoData+  assert' "constructor pattern with ignorances and do" =<< patternDoDataIgnored+  assert' "array pattern" patternArray+  assert' "array pattern with do" =<< patternDoArray+  assert' "multiple patterns" patternMultiple+  assert' "multiple patterns with do" =<< patternDoMultiple+  assert' "multiple patterns with normal let's" patternMultipleWithNormal+  assert' "multiple patterns with normal let's and do" =<< patternDoMultipleWithNormal+  assert' "multiple patterns with parens" patternWithParens+  assert' "multiple patterns with parens and do" =<< patternDoWithParens+  assert' "multiple patterns with named binder" patternWithNamedBinder+  assert' "multiple patterns with named binder and do" =<< patternDoWithNamedBinder+  assert' "pattern with infix operator" patternWithInfixOp+  assert' "pattern with infix operator and do" =<< patternDoWithInfixOp+  log "Done"

@@ -7,7 +7,7 @@  data B = B A -foreign import data S :: *+foreign import data S :: Type  f :: A -> S f a = case a of A b -> g b

@@ -7,7 +7,7 @@  data B = B A -foreign import data S :: *+foreign import data S :: Type  f a = case a of A b -> g b 

@@ -4,7 +4,7 @@  data List a = Nil | Cons a (List a) -head :: (Partial) => List Int -> Int+head :: Partial => List Int -> Int head (Cons x _) = x  main = log "Done"

@@ -24,7 +24,8 @@  ala   :: forall f t a-   . (Functor f, Newtype t a)+   . Functor f+  => Newtype t a   => (a -> t)   -> ((a -> t) -> f t)   -> f a

@@ -11,7 +11,7 @@  infix 4 op1 as ?! -test1 :: forall n. (Semiring n) => n -> n -> (n -> n -> n) -> n+test1 :: forall n. Semiring n => n -> n -> (n -> n -> n) -> n test1 x y z = x * y + z x y  test2 = (\x -> x.foo false) { foo : \_ -> 1.0 }

@@ -1,27 +1,27 @@-module Main where
-
-import Prelude
-import Control.Monad.Eff.Console (log)
-import Test.Assert (assert)
-
-data A = A | B
-
-instance eqA1 :: Eq A where
-  eq A A = true
-  eq B B = true
-  eq _ _ = false
-
-instance eqA2 :: Eq A where
-  eq _ _ = true
-
-instance ordA :: Ord A where
-  compare A B = LT
-  compare B A = GT
-  compare _ _ = EQ
-
-test :: forall a. (Ord a) => a -> a -> String
-test x y = show $ x == y
-
-main = do
-  assert $ test A B == "false"
-  log "Done"
+module Main where++import Prelude+import Control.Monad.Eff.Console (log)+import Test.Assert (assert)++data A = A | B++instance eqA1 :: Eq A where+  eq A A = true+  eq B B = true+  eq _ _ = false++instance eqA2 :: Eq A where+  eq _ _ = true++instance ordA :: Ord A where+  compare A B = LT+  compare B A = GT+  compare _ _ = EQ++test :: forall a. Ord a => a -> a -> String+test x y = show $ x == y++main = do+  assert $ test A B == "false"+  log "Done"

@@ -1,20 +1,20 @@-module Main where
-
-import Prelude
-import Control.Monad.Eff.Console (log)
-import Test.Assert (assert)
-
-class Foo a
-
-instance foo1 :: Foo Number
-
-instance foo2 :: Foo Number
-
-test :: forall a. (Foo a) => a -> a
-test a = a
-
-test1 = test 0.0
-
-main = do
-  assert (test1 == 0.0)
-  log "Done"
+module Main where++import Prelude+import Control.Monad.Eff.Console (log)+import Test.Assert (assert)++class Foo a++instance foo1 :: Foo Number++instance foo2 :: Foo Number++test :: forall a. Foo a => a -> a+test a = a++test1 = test 0.0++main = do+  assert (test1 == 0.0)+  log "Done"

@@ -1,20 +1,20 @@-module Main (T, T', T'', T''', main) where
-
-import Prelude
-import Control.Monad.Eff.Console (log)
-
-data T a = T
-type T' = T Unit
-
-data T'' = TP
-
-foreign import data T''' ∷ *
-
-instance eqT ∷ Eq T'' where
-  eq _ _ = true
-
-type A' a b = b → a
-
-infixr 4 type A' as ↫
-
-main = log "Done"
+module Main (T, T', T'', T''', main) where++import Prelude+import Control.Monad.Eff.Console (log)++data T a = T+type T' = T Unit++data T'' = TP++foreign import data T''' ∷ Type++instance eqT ∷ Eq T'' where+  eq _ _ = true++type A' a b = b → a++infixr 4 type A' as ↫++main = log "Done"

@@ -3,7 +3,7 @@ import Prelude import Control.Monad.Eff.Console (log, logShow) -type Foo a = forall f. (Monad f) => f a+type Foo a = forall f. Monad f => f a  foo :: forall a. a -> Foo a foo x = pure x

@@ -1,43 +1,43 @@-module Main where
-
-import Prelude
-import Control.Monad.Eff.Console (log)
-
-example1 :: String
-example1 = do
-  "Do"
-  " notation"
-  " for"
-  " Semigroup"
-  where
-  bind x f = x <> f unit
-
-applySecond :: forall f a b. (Apply f) => f a -> f b -> f b
-applySecond fa fb = const id <$> fa <*> fb
-
-infixl 4 applySecond as *>
-
-newtype Const a b = Const a
-
-runConst :: forall a b. Const a b -> a
-runConst (Const a) = a
-
-instance functorConst :: Functor (Const a) where
-  map _ (Const a) = Const a
-
-instance applyConst :: (Semigroup a) => Apply (Const a) where
-  apply (Const a1) (Const a2) = Const (a1 <> a2)
-
-example2 :: Const String Unit
-example2 = do
-  Const "Do"
-  Const " notation"
-  Const " for"
-  Const " Apply"
-  where
-  bind x f = x *> f unit
-
-main = do
-  log example1
-  log $ runConst example2
-  log "Done"
+module Main where++import Prelude+import Control.Monad.Eff.Console (log)++example1 :: String+example1 = do+  "Do"+  " notation"+  " for"+  " Semigroup"+  where+  discard x f = x <> f unit++applySecond :: forall f a b. Apply f => f a -> f b -> f b+applySecond fa fb = const id <$> fa <*> fb++infixl 4 applySecond as *>++newtype Const a b = Const a++runConst :: forall a b. Const a b -> a+runConst (Const a) = a++instance functorConst :: Functor (Const a) where+  map _ (Const a) = Const a++instance applyConst :: Semigroup a => Apply (Const a) where+  apply (Const a1) (Const a2) = Const (a1 <> a2)++example2 :: Const String Unit+example2 = do+  Const "Do"+  Const " notation"+  Const " for"+  Const " Apply"+  where+  discard x f = x *> f unit++main = do+  log example1+  log $ runConst example2+  log "Done"

@@ -14,7 +14,7 @@ test1 :: forall r . S { foo :: String | r } Unit test1 = state $ \o -> o { foo = o.foo <> "!" } -test2 :: forall m r . (T { foo :: String | r } m) => m Unit+test2 :: forall m r . T { foo :: String | r } m => m Unit test2 = state $ \o -> o { foo = o.foo <> "!" }  main = do

@@ -0,0 +1,10 @@+"use strict";++exports.merge = function (dict) {+  return function (l) {+    return function (r) {+      var o = {};+      return Object.assign(o, r, l);+    };+  };+};

@@ -0,0 +1,68 @@+module Main where++import Prelude+import Control.Monad.Eff+import Control.Monad.Eff.Console++foreign import merge+  :: forall r1 r2 r3+   . Union r1 r2 r3+  => Record r1+  -> Record r2+  -> Record r3++test1 = merge { x: 1 } { y: true }++test2 = merge { x: 1 } { x: true }++mergeWithExtras+ :: forall r1 r2 r3+  . Union r1 (y :: Boolean | r2) (y :: Boolean | r3)+ => { x :: Int | r1 }+ -> { y :: Boolean | r2 }+ -> { x :: Int, y :: Boolean | r3}+mergeWithExtras = merge++test3 x = merge { x: 1 } x+test3' x = merge x { x: 1 }++type Mandatory r = (x :: Int | r)+type Optional r = (x :: Int, y :: Int, z :: Int | r)++withDefaults+  :: forall r s+   . Union r (y :: Int, z :: Int) (y :: Int, z :: Int | s)+  => Record (Mandatory r)+  -> Record (Optional s)+withDefaults p = merge p { y: 1, z: 1 }++withDefaultsClosed+  :: forall r s+   . Union r (y :: Int, z :: Int) (y :: Int, z :: Int | s)+  => Subrow s (y :: Int, z :: Int)+  => Record (Mandatory r)+  -> Record (Optional s)+withDefaultsClosed p = merge p { y: 1, z: 1 }++test4 = withDefaults { x: 1, y: 2 }++-- r is a subrow of s if Union r t s for some t.+class Subrow (r :: # Type) (s :: # Type)+instance subrow :: Union r t s => Subrow r s++main :: Eff (console :: CONSOLE) Unit+main = do+  logShow test1.x+  logShow test1.y+  logShow (test1.x == 1)+  logShow (mergeWithExtras { x: 1 } { x: 0, y: true, z: 42.0 }).x+  logShow (withDefaults { x: 1 }).x+  logShow (withDefaults { x: 1 }).y+  logShow (withDefaults { x: 1 }).z+  logShow (withDefaults { x: 1, y: 2 }).x+  logShow (withDefaults { x: 1, y: 2 }).y+  logShow (withDefaults { x: 1, y: 2 }).z+  logShow (withDefaultsClosed { x: 1, y: 2 }).x+  logShow (withDefaultsClosed { x: 1, y: 2 }).y+  logShow (withDefaultsClosed { x: 1, y: 2 }).z+  log "Done"

@@ -7,7 +7,7 @@ data List a = Cons a (List a) | Nil  class Sequence t where-  sequence :: forall m a. (Monad m) => t (m a) -> m (t a)+  sequence :: forall m a. Monad m => t (m a) -> m (t a)  instance sequenceList :: Sequence List where   sequence Nil = pure Nil

@@ -6,12 +6,12 @@  data List a = Cons a (List a) | Nil -data Sequence t = Sequence (forall m a. (Monad m) => t (m a) -> m (t a))+data Sequence t = Sequence (forall m a. Monad m => t (m a) -> m (t a)) -sequence :: forall t. Sequence t -> (forall m a. (Monad m) => t (m a) -> m (t a))+sequence :: forall t. Sequence t -> (forall m a. Monad m => t (m a) -> m (t a)) sequence (Sequence s) = s -sequenceListSeq :: forall m a. (Monad m) => List (m a) -> m (List a)+sequenceListSeq :: forall m a. Monad m => List (m a) -> m (List a) sequenceListSeq Nil = pure Nil sequenceListSeq (Cons x xs) = Cons <$> x <*> sequenceListSeq xs @@ -24,15 +24,15 @@   Cons x xs -> Cons <$> x <*> sequence sequenceList' xs))  sequenceList'' :: Sequence List-sequenceList'' = Sequence (sequenceListSeq :: forall m a. (Monad m) => List (m a) -> m (List a))+sequenceList'' = Sequence (sequenceListSeq :: forall m a. Monad m => List (m a) -> m (List a))  sequenceList''' :: Sequence List sequenceList''' = Sequence ((\val -> case val of   Nil -> pure Nil-  Cons x xs -> Cons <$> x <*> sequence sequenceList''' xs) :: forall m a. (Monad m) => List (m a) -> m (List a))+  Cons x xs -> Cons <$> x <*> sequence sequenceList''' xs) :: forall m a. Monad m => List (m a) -> m (List a))  main = do-  sequence sequenceList $ Cons (log "Done") Nil-  sequence sequenceList' $ Cons (log "Done") Nil-  sequence sequenceList'' $ Cons (log "Done") Nil-  sequence sequenceList''' $ Cons (log "Done") Nil+  void $ sequence sequenceList $ Cons (log "Done") Nil+  void $ sequence sequenceList' $ Cons (log "Done") Nil+  void $ sequence sequenceList'' $ Cons (log "Done") Nil+  void $ sequence sequenceList''' $ Cons (log "Done") Nil

@@ -1,26 +1,26 @@-module Main where
-
-import Prelude ((==), (/=), (<>), bind)
-import Test.Assert (assert, assert')
-import Control.Monad.Eff.Console (log)
-
-singleCharacter = "\0\b\t\n\v\f\r\"\\" == "\x0\x8\x9\xA\xB\xC\xD\x22\x5C"
-hex = "\x1D306\x2603\x3C6\xE0\x0" == "𝌆☃φà\0"
-decimal  = "\119558\9731\966\224\0" == "𝌆☃φà\0"
-surrogatePair = "\xD834\xDF06" == "\x1D306"
-highSurrogate = "\xD834"
-lowSurrogate = "\xDF06"
-loneSurrogates = (highSurrogate <> lowSurrogate) == "\x1D306"
-outOfOrderSurrogates = (lowSurrogate <> highSurrogate) == "\xDF06\xD834"
-replacement = "\xFFFD"
-notReplacing = replacement /= highSurrogate
-
-main = do
-  assert' "single-character escape sequences" singleCharacter
-  assert' "hex escape sequences" hex
-  assert' "decimal escape sequences" decimal
-  assert' "astral code points are represented as a UTF-16 surrogate pair" surrogatePair
-  assert' "lone surrogates may be combined into a surrogate pair" loneSurrogates
-  assert' "lone surrogates may be combined out of order to remain lone surrogates" outOfOrderSurrogates
-  assert' "lone surrogates are not replaced with the Unicode replacement character U+FFFD" notReplacing
-  log "Done"
+module Main where++import Prelude ((==), (/=), (<>), discard)+import Test.Assert (assert, assert')+import Control.Monad.Eff.Console (log)++singleCharacter = "\0\b\t\n\v\f\r\"\\" == "\x0\x8\x9\xA\xB\xC\xD\x22\x5C"+hex = "\x1D306\x2603\x3C6\xE0\x0" == "𝌆☃φà\0"+decimal  = "\119558\9731\966\224\0" == "𝌆☃φà\0"+surrogatePair = "\xD834\xDF06" == "\x1D306"+highSurrogate = "\xD834"+lowSurrogate = "\xDF06"+loneSurrogates = (highSurrogate <> lowSurrogate) == "\x1D306"+outOfOrderSurrogates = (lowSurrogate <> highSurrogate) == "\xDF06\xD834"+replacement = "\xFFFD"+notReplacing = replacement /= highSurrogate++main = do+  assert' "single-character escape sequences" singleCharacter+  assert' "hex escape sequences" hex+  assert' "decimal escape sequences" decimal+  assert' "astral code points are represented as a UTF-16 surrogate pair" surrogatePair+  assert' "lone surrogates may be combined into a surrogate pair" loneSurrogates+  assert' "lone surrogates may be combined out of order to remain lone surrogates" outOfOrderSurrogates+  assert' "lone surrogates are not replaced with the Unicode replacement character U+FFFD" notReplacing+  log "Done"

@@ -15,7 +15,7 @@ instance clNumber :: Cl Number where   cl n m = n + m -test :: forall a. (Cl a) => a -> a+test :: forall a. Cl a => a -> a test a = su (cl a a)  main = do

@@ -4,13 +4,13 @@ import Control.Monad.Eff.Console import Control.Monad.Eff -class (Monad m) <= MonadWriter w m where+class Monad m <= MonadWriter w m where   tell :: w -> m Unit -testFunctor :: forall m. (Monad m) => m Number -> m Number+testFunctor :: forall m. Monad m => m Number -> m Number testFunctor n = (+) 1.0 <$> n -test :: forall w m. (Monad m, MonadWriter w m) => w -> m Unit+test :: forall w m. Monad m => MonadWriter w m => w -> m Unit test w = do   tell w   tell w

@@ -5,19 +5,19 @@  test1 = \_ -> show "testing" -f :: forall a. (Show a) => a -> String+f :: forall a. Show a => a -> String f x = show x  test2 = \_ -> f "testing" -test7 :: forall a. (Show a) => a -> String+test7 :: forall a. Show a => a -> String test7 = show  test8 = \_ -> show $ "testing"  data Data a = Data a -instance showData :: (Show a) => Show (Data a) where+instance showData :: Show a => Show (Data a) where   show (Data a) = "Data (" <> show a <> ")"  test3 = \_ -> show (Data "testing")@@ -53,7 +53,7 @@  instance monadMaybe :: Monad Maybe -test4 :: forall a m. (Monad m) => a -> m Number+test4 :: forall a m. Monad m => a -> m Number test4 = \_ -> pure 1.0  test5 = \_ -> Just 1.0 >>= \n -> pure (n + 1.0)

@@ -6,7 +6,7 @@ testTopLevel :: _ -> _ testTopLevel n = n + 1.0 -test :: forall a. (Eq a) => (a -> a) -> a -> a+test :: forall a. Eq a => (a -> a) -> a -> a test f a = go (f a) a   where   go :: _ -> _ -> _

@@ -7,7 +7,7 @@  class MonadState s m where   get :: m s-  put :: s -> m {}+  put :: s -> m Unit  data State s a = State (s -> Tuple s a) @@ -30,9 +30,9 @@  instance monadStateState :: MonadState s (State s) where   get = State (\s -> Tuple s s)-  put s = State (\_ -> Tuple s {})+  put s = State (\_ -> Tuple s unit) -modify :: forall m s. (Monad m, MonadState s m) => (s -> s) -> m {}+modify :: forall m s. Monad m => MonadState s m => (s -> s) -> m Unit modify f = do   s <- get   put (f s)

@@ -4,10 +4,10 @@ import Control.Monad.Eff.Console (log)  class Monad m ⇐ Monad1 m where-  f1 :: Int+  f1 :: m Int  class Monad m <= Monad2 m where-  f2 :: Int+  f2 :: m Int  f ∷ ∀ m. Monad m ⇒ Int → m Int f n = do

@@ -12,13 +12,13 @@ instance eqT :: EQ x x T instance eqF :: EQ x y F -test :: forall a b. (EQ a b T) => a -> b -> a+test :: forall a b. EQ a b T => a -> b -> a test a _ = a  spin :: forall a b. a -> b spin a = spin a --- Expected type: +-- Expected type: -- forall t. (EQ t (S Z) T) => t test1 = test (spin 1) (S Z) 

@@ -7,7 +7,7 @@  instance eqAA :: EQ a a -test :: forall a b. (EQ a b) => a -> b -> String+test :: forall a b. EQ a b => a -> b -> String test _ _ = "Done"  runTest a = test a a

@@ -0,0 +1,35 @@+-- this is testing that we don't see an `UnusableDeclaration` error for type+-- class methods that should be valid based on various configurations of fundeps+module Main where++import Control.Monad.Eff.Console (log)++-- no fundeps+class C0 a b where+  c0 :: a -> b++-- simple fundep+class C1 a b | a -> b where+  c1 :: a+  c1' :: a -> b++-- transitive+class C2 a b c | a -> b, b -> c where+  c2 :: a+  c2' :: a -> b+  c2'' :: a -> c+  c2''' :: a -> b -> c++-- with cycles+class C3 a b c | a -> b, b -> a, b -> c where+  c3 :: a+  c3' :: b+  c3'' :: a -> c+  c3''' :: b -> c+  c3'''' :: a -> b -> c++-- nullary class+class C4 where+  c4 :: forall a. a++main = log "Done"

@@ -0,0 +1,7 @@+-- @shouldWarnWith ShadowedName+module Main where++f :: Int -> Int+f n | i <- true -- this i is shadowed+	, i <- 1234+	= i

@@ -0,0 +1,5 @@+-- @shouldWarnWith ShadowedName+module Main where++f :: Int -> Int -> Int+f n = \(n) -> 1

@@ -1,119 +0,0 @@------------------------------------------------------------------------------------ Module      :  Main--- Copyright   :  (c) Hardy Jones 2014--- License     :  MIT (http://opensource.org/licenses/MIT)------ Maintainer  :  Hardy Jones <jones3.hardy@gmail.com>--- Stability   :  experimental--- Portability :------ |--- Generate Directed Graphs of PureScript TypeClasses-----------------------------------------------------------------------------------{-# LANGUAGE TupleSections #-}-{-# LANGUAGE DataKinds #-}--module Main where--import Control.Applicative (optional)-import Control.Monad (unless)--import Data.List (intercalate,nub,sort)-import Data.Foldable (for_)-import Data.Version (showVersion)-import Data.Monoid ((<>))-import qualified Data.Text as T--import Options.Applicative (Parser)-import qualified Options.Applicative as Opts-import System.Directory (createDirectoryIfMissing)-import System.FilePath ((</>))-import System.FilePath.Glob (glob)-import System.Exit (exitFailure, exitSuccess)-import System.IO (hPutStr, stderr)-import System.IO.UTF8 (readUTF8FileT)--import qualified Language.PureScript as P-import qualified Paths_purescript as Paths--data HierarchyOptions = HierarchyOptions-  { hierachyInput   :: FilePath-  , hierarchyOutput :: Maybe FilePath-  }--newtype SuperMap = SuperMap { unSuperMap :: Either (P.ProperName 'P.ClassName) (P.ProperName 'P.ClassName, P.ProperName 'P.ClassName) }-  deriving Eq--instance Show SuperMap where-  show (SuperMap (Left sub)) = show sub-  show (SuperMap (Right (super, sub))) = show super ++ " -> " ++ show sub--instance Ord SuperMap where-  compare (SuperMap s) (SuperMap s') = getCls s `compare` getCls s'-    where-      getCls = either id snd--runModuleName :: P.ModuleName -> String-runModuleName (P.ModuleName pns) = intercalate "_" ((T.unpack . P.runProperName) `map` pns)--readInput :: [FilePath] -> IO (Either P.MultipleErrors [P.Module])-readInput paths = do-  content <- mapM (\path -> (path, ) <$> readUTF8FileT path) paths-  return $ map snd <$> P.parseModulesFromFiles id content--compile :: HierarchyOptions -> IO ()-compile (HierarchyOptions inputGlob mOutput) = do-  input <- glob inputGlob-  modules <- readInput input-  case modules of-    Left errs -> hPutStr stderr (P.prettyPrintMultipleErrors P.defaultPPEOptions errs) >> exitFailure-    Right ms -> do-      for_ ms $ \(P.Module _ _ moduleName decls _) ->-        let name = runModuleName moduleName-            tcs = filter P.isTypeClassDeclaration decls-            supers = sort . nub . filter (not . null) $ fmap superClasses tcs-            prologue = "digraph " ++ name ++ " {\n"-            body = intercalate "\n" (concatMap (fmap (\s -> "  " ++ show s ++ ";")) supers)-            epilogue = "\n}"-            hier = prologue ++ body ++ epilogue-        in unless (null supers) $ case mOutput of-          Just output -> do-            createDirectoryIfMissing True output-            writeFile (output </> name) hier-          Nothing -> putStrLn hier-      exitSuccess--superClasses :: P.Declaration -> [SuperMap]-superClasses (P.TypeClassDeclaration sub _ supers@(_:_) _ _) =-  fmap (\(P.Constraint (P.Qualified _ super) _ _) -> SuperMap (Right (super, sub))) supers-superClasses (P.TypeClassDeclaration sub _ _ _ _) = [SuperMap (Left sub)]-superClasses (P.PositionedDeclaration _ _ decl) = superClasses decl-superClasses _ = []--inputFile :: Parser FilePath-inputFile = Opts.strArgument $-     Opts.metavar "FILE"-  <> Opts.value "main.purs"-  <> Opts.showDefault-  <> Opts.help "The input file to generate a hierarchy from"--outputFile :: Parser (Maybe FilePath)-outputFile = optional . Opts.strOption $-     Opts.short 'o'-  <> Opts.long "output"-  <> Opts.help "The output directory"--pscOptions :: Parser HierarchyOptions-pscOptions = HierarchyOptions <$> inputFile-                              <*> outputFile--main :: IO ()-main = Opts.execParser opts >>= compile-  where-  opts        = Opts.info (Opts.helper <*> pscOptions) infoModList-  infoModList = Opts.fullDesc <> headerInfo <> footerInfo-  headerInfo  = Opts.header "hierarchy - Creates a GraphViz directed graph of PureScript TypeClasses"-  footerInfo  = Opts.footer $ "hierarchy " ++ showVersion Paths.version

@@ -1,147 +0,0 @@-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TupleSections #-}-{-# LANGUAGE RecordWildCards #-}---- | Bundles compiled PureScript modules for the browser.-module Main (main) where--import Data.Traversable (for)-import Data.Version (showVersion)-import Data.Monoid ((<>))-import Data.Aeson (encode)-import Data.Maybe (isNothing)--import Control.Applicative-import Control.Monad-import Control.Monad.Error.Class-import Control.Monad.Trans.Except-import Control.Monad.IO.Class--import System.FilePath (takeDirectory, (</>), (<.>), takeFileName)-import System.FilePath.Glob (glob)-import System.Exit (exitFailure)-import System.IO (stderr, stdout, hPutStrLn, hSetEncoding, utf8)-import System.IO.UTF8 (readUTF8File, writeUTF8File)-import System.Directory (createDirectoryIfMissing, getCurrentDirectory)--import qualified Data.ByteString.Lazy as B-import qualified Data.ByteString.UTF8 as BU8--import Language.PureScript.Bundle--import Options.Applicative (Parser, ParseError (..))-import qualified Options.Applicative as Opts--import qualified Paths_purescript as Paths--import SourceMap-import SourceMap.Types---- | Command line options.-data Options = Options-  { optionsInputFiles  :: [FilePath]-  , optionsOutputFile  :: Maybe FilePath-  , optionsEntryPoints :: [String]-  , optionsMainModule  :: Maybe String-  , optionsNamespace   :: String-  , optionsSourceMaps  :: Bool-  } deriving Show---- | The main application function.--- This function parses the input files, performs dead code elimination, filters empty modules--- and generates and prints the final Javascript bundle.-app :: (MonadError ErrorMessage m, MonadIO m) => Options -> m (Maybe SourceMapping, String)-app Options{..} = do-  inputFiles <- concat <$> mapM (liftIO . glob) optionsInputFiles-  when (null inputFiles) . liftIO $ do-    hPutStrLn stderr "psc-bundle: No input files."-    exitFailure-  when (isNothing optionsOutputFile && optionsSourceMaps == True) . liftIO $ do-    hPutStrLn stderr "psc-bundle: Source maps only supported when output file specified."-    exitFailure--  input <- for inputFiles $ \filename -> do-    js <- liftIO (readUTF8File filename)-    mid <- guessModuleIdentifier filename-    length js `seq` return (mid, Just filename, js)                                            -- evaluate readFile till EOF before returning, not to exhaust file handles--  let entryIds = map (`ModuleIdentifier` Regular) optionsEntryPoints--  currentDir <- liftIO getCurrentDirectory-  let outFile = if optionsSourceMaps then fmap (currentDir </>) optionsOutputFile else Nothing-  bundleSM input entryIds optionsMainModule optionsNamespace outFile---- | Command line options parser.-options :: Parser Options-options = Options <$> some inputFile-                  <*> optional outputFile-                  <*> many entryPoint-                  <*> optional mainModule-                  <*> namespace-                  <*> sourceMaps-  where-  inputFile :: Parser FilePath-  inputFile = Opts.strArgument $-       Opts.metavar "FILE"-    <> Opts.help "The input .js file(s)"--  outputFile :: Parser FilePath-  outputFile = Opts.strOption $-       Opts.short 'o'-    <> Opts.long "output"-    <> Opts.help "The output .js file"--  entryPoint :: Parser String-  entryPoint = Opts.strOption $-       Opts.short 'm'-    <> Opts.long "module"-    <> Opts.help "Entry point module name(s). All code which is not a transitive dependency of an entry point module will be removed."--  mainModule :: Parser String-  mainModule = Opts.strOption $-       Opts.long "main"-    <> Opts.help "Generate code to run the main method in the specified module."--  namespace :: Parser String-  namespace = Opts.strOption $-       Opts.short 'n'-    <> Opts.long "namespace"-    <> Opts.value "PS"-    <> Opts.showDefault-    <> Opts.help "Specify the namespace that PureScript modules will be exported to when running in the browser."--  sourceMaps :: Parser Bool-  sourceMaps = Opts.switch $-       Opts.long "source-maps"-    <> Opts.help "Whether to generate source maps for the bundle (requires --output)."---- | Make it go.-main :: IO ()-main = do-  hSetEncoding stdout utf8-  hSetEncoding stderr utf8-  opts <- Opts.execParser (Opts.info (version <*> Opts.helper <*> options) infoModList)-  output <- runExceptT (app opts)-  case output of-    Left err -> do-      hPutStrLn stderr (unlines (printErrorMessage err))-      exitFailure-    Right (sourcemap, js) ->-      case optionsOutputFile opts of-        Just outputFile -> do-          createDirectoryIfMissing True (takeDirectory outputFile)-          case sourcemap of-            Just sm -> do-              writeUTF8File outputFile $ js ++ "\n//# sourceMappingURL=" ++ (takeFileName outputFile <.> "map") ++ "\n"-              writeUTF8File (outputFile <.> "map") $ BU8.toString . B.toStrict . encode $ generate sm-            Nothing -> writeUTF8File outputFile js-        Nothing -> putStrLn js-  where-  infoModList = Opts.fullDesc <> headerInfo <> footerInfo-  headerInfo  = Opts.header   "psc-bundle - Bundles compiled PureScript modules for the browser"-  footerInfo  = Opts.footer $ "psc-bundle " ++ showVersion Paths.version--  version :: Parser (a -> a)-  version = Opts.abortOption (InfoMsg (showVersion Paths.version)) $-    Opts.long "version" <> Opts.help "Show the version number" <> Opts.hidden

@@ -1,13 +0,0 @@-module Ctags (dumpCtags) where--import qualified Language.PureScript as P-import Tags-import Data.List (sort)--dumpCtags :: [(String, P.Module)] -> [String]-dumpCtags = sort . concatMap renderModCtags--renderModCtags :: (String, P.Module) -> [String]-renderModCtags (path, mdl) = sort tagLines-  where tagLines = map tagLine $ tags mdl-        tagLine (name, line) = name ++ "\t" ++ path ++ "\t" ++ show line

@@ -1,13 +0,0 @@-module Etags (dumpEtags) where--import qualified Language.PureScript as P-import Tags--dumpEtags :: [(String, P.Module)] -> [String]-dumpEtags = concatMap renderModEtags--renderModEtags :: (String, P.Module) -> [String]-renderModEtags (path, mdl) = ["\x0c", path ++ "," ++ show tagsLen] ++ tagLines-  where tagsLen = sum $ map length tagLines-        tagLines = map tagLine $ tags mdl-        tagLine (name, line) = "\x7f" ++ name ++ "\x01" ++ show line ++ ","

@@ -1,253 +0,0 @@-{-# LANGUAGE TupleSections #-}--module Main where--import Control.Applicative-import Control.Monad.Trans.Except (runExceptT)-import Control.Arrow (first, second)-import Control.Category ((>>>))-import Control.Monad.Writer-import Data.Text (Text)-import qualified Data.Text as T-import qualified Data.Text.IO as T-import Data.Function (on)-import Data.List-import Data.Maybe (fromMaybe)-import Data.Tuple (swap)-import Data.Version (showVersion)--import Options.Applicative-import qualified Text.PrettyPrint.ANSI.Leijen as PP--import qualified Language.PureScript as P-import qualified Paths_purescript as Paths-import System.Exit (exitFailure)-import System.IO (hPutStrLn, hPrint, hSetEncoding, stderr, stdout, utf8)-import System.IO.UTF8 (readUTF8FileT, writeUTF8FileT)-import System.Directory (createDirectoryIfMissing)-import System.FilePath (takeDirectory)-import System.FilePath.Glob (glob)--import Etags-import Ctags-import qualified Language.PureScript.Docs as D-import qualified Language.PureScript.Docs.AsMarkdown as D---- Available output formats-data Format = Markdown -- Output documentation in Markdown format-               | Ctags -- Output ctags symbol index suitable for use with vi-               | Etags -- Output etags symbol index suitable for use with emacs-               deriving (Show, Eq, Ord)---- | Available methods of outputting Markdown documentation-data DocgenOutput-  = EverythingToStdOut-  | ToStdOut [P.ModuleName]-  | ToFiles [(P.ModuleName, FilePath)]-  deriving (Show)--data PSCDocsOptions = PSCDocsOptions-  { pscdFormat :: Format-  , pscdInputFiles  :: [FilePath]-  , pscdDocgen :: DocgenOutput-  }-  deriving (Show)--docgen :: PSCDocsOptions -> IO ()-docgen (PSCDocsOptions fmt inputGlob output) = do-  input <- concat <$> mapM glob inputGlob-  case fmt of-    Etags -> dumpTags input dumpEtags-    Ctags -> dumpTags input dumpCtags-    Markdown -> do-      ms <- runExceptT (D.parseFilesInPackages input []-                           >>= uncurry D.convertModulesInPackage)-               >>= successOrExit--      case output of-        EverythingToStdOut ->-          T.putStrLn (D.runDocs (D.modulesAsMarkdown ms))-        ToStdOut names -> do-          let (ms', missing) = takeByName ms names-          guardMissing missing-          T.putStrLn (D.runDocs (D.modulesAsMarkdown ms'))-        ToFiles names -> do-          let (ms', missing) = takeByName' ms names-          guardMissing missing--          let ms'' = groupBy ((==) `on` fst) . sortBy (compare `on` fst) $ map swap ms'-          forM_ ms'' $ \grp -> do-            let fp = fst (head grp)-            createDirectoryIfMissing True (takeDirectory fp)-            writeUTF8FileT fp (D.runDocs (D.modulesAsMarkdown (map snd grp)))--  where-  guardMissing [] = return ()-  guardMissing [mn] = do-    hPutStrLn stderr ("psc-docs: error: unknown module \"" ++ T.unpack (P.runModuleName mn) ++ "\"")-    exitFailure-  guardMissing mns = do-    hPutStrLn stderr "psc-docs: error: unknown modules:"-    forM_ mns $ \mn ->-      hPutStrLn stderr ("  * " ++ T.unpack (P.runModuleName mn))-    exitFailure--  successOrExit :: Either P.MultipleErrors a -> IO a-  successOrExit act =-    case act of-      Right x ->-        return x-      Left err -> do-        hPutStrLn stderr $ P.prettyPrintMultipleErrors P.defaultPPEOptions err-        exitFailure--  takeByName = takeModulesByName D.modName-  takeByName' = takeModulesByName' D.modName---- |--- Given a list of module names and a list of modules, return a list of modules--- whose names appeared in the given name list, together with a list of names--- for which no module could be found in the module list.----takeModulesByName :: (Eq n) => (m -> n) -> [m] -> [n] -> ([m], [n])-takeModulesByName getModuleName modules names =-  first (map fst) (takeModulesByName' getModuleName modules (map (,()) names))---- |--- Like takeModulesByName, but also keeps some extra information with each--- module.----takeModulesByName' :: (Eq n) => (m -> n) -> [m] -> [(n, a)] -> ([(m, a)], [n])-takeModulesByName' getModuleName modules = foldl go ([], [])-  where-  go (ms, missing) (name, x) =-    case find ((== name) . getModuleName) modules of-      Just m  -> ((m, x) : ms, missing)-      Nothing -> (ms, name : missing)--dumpTags :: [FilePath] -> ([(String, P.Module)] -> [String]) -> IO ()-dumpTags input renderTags = do-  e <- P.parseModulesFromFiles (fromMaybe "") <$> mapM (fmap (first Just) . parseFile) (nub input)-  case e of-    Left err -> do-      hPrint stderr err-      exitFailure-    Right ms ->-      ldump (renderTags (pairs ms))--  where-  pairs :: [(Maybe String, m)] -> [(String, m)]-  pairs = map (first (fromMaybe ""))--  ldump :: [String] -> IO ()-  ldump = mapM_ putStrLn--parseFile :: FilePath -> IO (FilePath, Text)-parseFile input = (,) input <$> readUTF8FileT input--inputFile :: Parser FilePath-inputFile = strArgument $-     metavar "FILE"-  <> help "The input .purs file(s)"--instance Read Format where-  readsPrec _ "etags" = [(Etags, "")]-  readsPrec _ "ctags" = [(Ctags, "")]-  readsPrec _ "markdown" = [(Markdown, "")]-  readsPrec _ _ = []--format :: Parser Format-format = option auto $ value Markdown-         <> long "format"-         <> metavar "FORMAT"-         <> help "Set output FORMAT (markdown | etags | ctags)"--docgenModule :: Parser String-docgenModule = strOption $-                   long "docgen"-                <> help "A list of module names which should appear in the output. This can optionally include file paths to write individual modules to, by separating with a colon ':'. For example, Prelude:docs/Prelude.md. This option may be specified multiple times."--pscDocsOptions :: Parser (Format, [FilePath], [String])-pscDocsOptions = (,,) <$> format <*> many inputFile <*> many docgenModule--parseDocgen :: [String] -> Either String DocgenOutput-parseDocgen [] = Right EverythingToStdOut-parseDocgen xs = go xs-  where-  go = intersperse " "-    >>> concat-    >>> words-    >>> map parseItem-    >>> combine--data DocgenOutputItem-  = IToStdOut P.ModuleName-  | IToFile (P.ModuleName, FilePath)--parseItem :: String -> DocgenOutputItem-parseItem s = case elemIndex ':' s of-  Just i ->-    s # splitAt i-        >>> first (P.moduleNameFromString . T.pack)-        >>> second (drop 1)-        >>> IToFile-  Nothing ->-    IToStdOut (P.moduleNameFromString (T.pack s))--  where-  infixr 1 #-  (#) = flip ($)--combine :: [DocgenOutputItem] -> Either String DocgenOutput-combine [] = Right EverythingToStdOut-combine (x:xs) = foldM go (initial x) xs-  where-  initial (IToStdOut m) = ToStdOut [m]-  initial (IToFile m)   = ToFiles [m]--  go (ToStdOut ms) (IToStdOut m) = Right (ToStdOut (m:ms))-  go (ToFiles ms) (IToFile m)    = Right (ToFiles (m:ms))-  go _ _ = Left "Can't mix module names and module name/file path pairs in the same invocation."--buildOptions :: (Format, [FilePath], [String]) -> IO PSCDocsOptions-buildOptions (fmt, input, mapping) =-  case parseDocgen mapping of-    Right mapping' -> return (PSCDocsOptions fmt input mapping')-    Left err -> do-      hPutStrLn stderr "psc-docs: error in --docgen option:"-      hPutStrLn stderr ("  " ++ err)-      exitFailure--main :: IO ()-main = do-  hSetEncoding stdout utf8-  hSetEncoding stderr utf8-  execParser opts >>= buildOptions >>= docgen-  where-  opts        = info (version <*> helper <*> pscDocsOptions) infoModList-  infoModList = fullDesc <> headerInfo <> footerInfo-  headerInfo  = header "psc-docs - Generate Markdown documentation from PureScript source files"-  footerInfo  = footerDoc $ Just $ PP.vcat-                  [ examples, PP.empty, PP.text ("psc-docs " ++ showVersion Paths.version) ]--  version :: Parser (a -> a)-  version = abortOption (InfoMsg (showVersion Paths.version)) $ long "version" <> help "Show the version number" <> hidden--examples :: PP.Doc-examples =-  PP.vcat $ map PP.text-    [ "Examples:"-    , "  print documentation for Data.List to stdout:"-    , "    psc-docs \"src/**/*.purs\" \".psc-package/*/*/*/src/**/*.purs\" \\"-    , "      --docgen Data.List"-    , ""-    , "  write documentation for Data.List to docs/Data.List.md:"-    , "    psc-docs \"src/**/*.purs\" \".psc-package/*/*/*/src/**/*.purs\" \\"-    , "      --docgen Data.List:docs/Data.List.md"-    , ""-    , "  write documentation for Data.List to docs/Data.List.md, and"-    , "  documentation for Data.List.Lazy to docs/Data.List.Lazy.md:"-    , "    psc-docs \"src/**/*.purs\" \".psc-package/*/*/*/src/**/*.purs\" \\"-    , "      --docgen Data.List:docs/Data.List.md \\"-    , "      --docgen Data.List.Lazy:docs/Data.List.Lazy.md"-    ]

@@ -1,21 +0,0 @@-module Tags where--import Control.Arrow (first)-import qualified Data.Text as T-import qualified Language.PureScript as P--tags :: P.Module -> [(String, Int)]-tags = map (first T.unpack) . concatMap dtags . P.exportedDeclarations-  where dtags (P.PositionedDeclaration sp _ d) = map tag $ names d-          where tag name = (name, line)-                line = P.sourcePosLine $ P.spanStart sp-        dtags _ = []-        names (P.DataDeclaration _ name _ dcons) = P.runProperName name : consNames-          where consNames = map (\(cname, _) -> P.runProperName cname) dcons-        names (P.TypeDeclaration ident _) = [P.showIdent ident]-        names (P.ExternDeclaration ident _) = [P.showIdent ident]-        names (P.TypeSynonymDeclaration name _ _) = [P.runProperName name]-        names (P.TypeClassDeclaration name _ _ _ _) = [P.runProperName name]-        names (P.TypeInstanceDeclaration name _ _ _ _) = [P.showIdent name]-        names (P.ExternKindDeclaration name) = [P.runProperName name]-        names _ = []

@@ -1,50 +0,0 @@-module Main where--import           Prelude             ()-import           Prelude.Compat--import           Control.Exception-import qualified Data.ByteString.Char8 as BS8-import qualified Data.Text.IO          as T-import           Data.Version          (showVersion)-import           Data.Monoid           ((<>))-import           Network-import           Options.Applicative   (ParseError (..))-import qualified Options.Applicative   as Opts-import           System.Exit-import           System.IO--import qualified Paths_purescript      as Paths--data Options = Options-  { optionsPort :: PortID-  }--main :: IO ()-main = do-    Options port <- Opts.execParser opts-    client port-  where-    parser =-        Options <$>-        (PortNumber . fromIntegral <$>-         Opts.option Opts.auto (Opts.long "port" <> Opts.short 'p' <> Opts.value (4242 :: Integer)))-    opts = Opts.info (version <*> Opts.helper <*> parser) mempty-    version = Opts.abortOption (InfoMsg (showVersion Paths.version)) $-      Opts.long "version" <> Opts.help "Show the version number" <> Opts.hidden--client :: PortID -> IO ()-client port = do-    hSetEncoding stdin utf8-    hSetEncoding stdout utf8-    h <--        connectTo "127.0.0.1" port `catch`-        (\(SomeException e) ->-              putStrLn-                  ("Couldn't connect to psc-ide-server on port: " ++-                   show port ++ " Error: " ++ show e) >>-              exitFailure)-    T.hPutStrLn h =<< T.getLine-    BS8.putStrLn =<< BS8.hGetLine h-    hFlush stdout-    hClose h

@@ -1,187 +0,0 @@------------------------------------------------------------------------------------ Module      : Main--- Description : The server accepting commands for psc-ide--- Copyright   : Christoph Hegemann 2016--- License     : MIT (http://opensource.org/licenses/MIT)------ Maintainer  : Christoph Hegemann <christoph.hegemann1337@gmail.com>--- Stability   : experimental------ |--- The server accepting commands for psc-ide--------------------------------------------------------------------------------{-# LANGUAGE FlexibleContexts      #-}-{-# LANGUAGE MultiParamTypeClasses #-}-{-# LANGUAGE OverloadedStrings     #-}-{-# LANGUAGE PackageImports        #-}-{-# LANGUAGE TemplateHaskell       #-}-{-# LANGUAGE NoImplicitPrelude     #-}--module Main where--import           Protolude--import qualified Data.Aeson as Aeson-import           Control.Concurrent.STM-import           "monad-logger" Control.Monad.Logger-import qualified Data.Text.IO                      as T-import qualified Data.ByteString.Lazy.Char8        as BS8-import           Data.Version                      (showVersion)-import           GHC.IO.Exception                  (IOErrorType(..), IOException(..))-import           Language.PureScript.Ide-import           Language.PureScript.Ide.Command-import           Language.PureScript.Ide.Util-import           Language.PureScript.Ide.Error-import           Language.PureScript.Ide.Types-import           Language.PureScript.Ide.Watcher-import           Network                           hiding (socketPort, accept)-import           Network.BSD                       (getProtocolNumber)-import           Network.Socket                    hiding (PortNumber, Type,-                                                    sClose)-import           Options.Applicative               (ParseError (..))-import qualified Options.Applicative               as Opts-import           System.Directory-import           System.Info                       as SysInfo-import           System.FilePath-import           System.IO                         hiding (putStrLn, print)-import           System.IO.Error                   (isEOFError)-import qualified Paths_purescript                  as Paths--listenOnLocalhost :: PortNumber -> IO Socket-listenOnLocalhost port = do-  proto <- getProtocolNumber "tcp"-  localhost <- inet_addr "127.0.0.1"-  bracketOnError-    (socket AF_INET Stream proto)-    sClose-    (\sock -> do-      setSocketOption sock ReuseAddr 1-      bind sock (SockAddrInet port localhost)-      listen sock maxListenQueue-      pure sock)--data Options = Options-  { optionsDirectory  :: Maybe FilePath-  , optionsGlobs      :: [FilePath]-  , optionsOutputPath :: FilePath-  , optionsPort       :: PortNumber-  , optionsNoWatch    :: Bool-  , optionsPolling    :: Bool-  , optionsDebug      :: Bool-  , optionsLoglevel   :: IdeLogLevel-  } deriving (Show)--main :: IO ()-main = do-  opts'@(Options dir globs outputPath port noWatch polling debug logLevel) <- Opts.execParser opts-  when debug (putText "Parsed Options:" *> print opts')-  maybe (pure ()) setCurrentDirectory dir-  ideState <- newTVarIO emptyIdeState-  cwd <- getCurrentDirectory-  let fullOutputPath = cwd </> outputPath--  unlessM (doesDirectoryExist fullOutputPath) $ do-    putStrLn ("Your output directory didn't exist. I'll create it at: " <> fullOutputPath)-    createDirectory fullOutputPath-    putText "This usually means you didn't compile your project yet."-    putText "psc-ide needs you to compile your project (for example by running pulp build)"--  unless noWatch $-    void (forkFinally (watcher polling ideState fullOutputPath) print)-  -- TODO: deprecate and get rid of `debug`-  let conf = Configuration {confLogLevel = if debug then LogDebug else logLevel, confOutputPath = outputPath, confGlobs = globs}-      env = IdeEnvironment {ideStateVar = ideState, ideConfiguration = conf}-  startServer port env-  where-    parser =-      Options-        <$> optional (Opts.strOption (Opts.long "directory" `mappend` Opts.short 'd'))-        <*> many (Opts.argument Opts.str (Opts.metavar "Source GLOBS..."))-        <*> Opts.strOption (Opts.long "output-directory" `mappend` Opts.value "output/")-        <*> (fromIntegral <$>-             Opts.option Opts.auto (Opts.long "port" `mappend` Opts.short 'p' `mappend` Opts.value (4242 :: Integer)))-        <*> Opts.switch (Opts.long "no-watch")-        <*> flipIfWindows (Opts.switch (Opts.long "polling"))-        <*> Opts.switch (Opts.long "debug")-        <*> (parseLogLevel <$> Opts.strOption-             (Opts.long "log-level"-              `mappend` Opts.value ""-              `mappend` Opts.help "One of \"debug\", \"perf\", \"all\" or \"none\""))-    opts = Opts.info (version <*> Opts.helper <*> parser) mempty-    parseLogLevel s = case s of-      "debug" -> LogDebug-      "perf" -> LogPerf-      "all" -> LogAll-      "none" -> LogNone-      _ -> LogDefault-    version = Opts.abortOption-      (InfoMsg (showVersion Paths.version))-      (Opts.long "version" `mappend` Opts.help "Show the version number")--    -- polling is the default on Windows and the flag turns it off. See-    -- #2209 and #2414 for explanations-    flipIfWindows = map (if SysInfo.os == "mingw32" then not else identity)--startServer :: PortNumber -> IdeEnvironment -> IO ()-startServer port env = withSocketsDo $ do-  sock <- listenOnLocalhost port-  runLogger (confLogLevel (ideConfiguration env)) (runReaderT (forever (loop sock)) env)-  where-    loop :: (Ide m, MonadLogger m) => Socket -> m ()-    loop sock = do-      accepted <- runExceptT (acceptCommand sock)-      case accepted of-        Left err -> $(logError) err-        Right (cmd, h) -> do-          case decodeT cmd of-            Just cmd' -> do-              let message duration =-                    "Command " <> commandName cmd'-                    <> " took "-                    <> displayTimeSpec duration-              result <- logPerf message (runExceptT (handleCommand cmd'))-              -- $(logDebug) ("Answer was: " <> T.pack (show result))-              liftIO (hFlush stdout)-              case result of-                Right r  -> liftIO $ catchGoneHandle (BS8.hPutStrLn h (Aeson.encode r))-                Left err -> liftIO $ catchGoneHandle (BS8.hPutStrLn h (Aeson.encode err))-            Nothing -> do-              $(logError) ("Parsing the command failed. Command: " <> cmd)-              liftIO $ do-                catchGoneHandle (T.hPutStrLn h (encodeT (GeneralError "Error parsing Command.")))-                hFlush stdout-          liftIO $ catchGoneHandle (hClose h)--catchGoneHandle :: IO () -> IO ()-catchGoneHandle =-  handle (\e -> case e of-    IOError { ioe_type = ResourceVanished } ->-      putText ("[Error] psc-ide-server tried interact with the handle, but the connection was already gone.")-    _ -> throwIO e)--acceptCommand :: (MonadIO m, MonadLogger m, MonadError Text m)-                 => Socket -> m (Text, Handle)-acceptCommand sock = do-  h <- acceptConnection-  $(logDebug) "Accepted a connection"-  cmd' <- liftIO (catchJust-                  -- this means that the connection was-                  -- terminated without receiving any input-                  (\e -> if isEOFError e then Just () else Nothing)-                  (Just <$> T.hGetLine h)-                  (const (pure Nothing)))-  case cmd' of-    Nothing -> throwError "Connection was closed before any input arrived"-    Just cmd -> do-      $(logDebug) ("Received command: " <> cmd)-      pure (cmd, h)-  where-   acceptConnection = liftIO $ do-     -- Use low level accept to prevent accidental reverse name resolution-     (s,_) <- accept sock-     h     <- socketToHandle s ReadWriteMode-     hSetEncoding h utf8-     hSetBuffering h LineBuffering-     pure h

@@ -1,423 +0,0 @@-{-# LANGUAGE DeriveAnyClass #-}-{-# LANGUAGE DeriveGeneric #-}-{-# LANGUAGE NamedFieldPuns #-}-{-# LANGUAGE OverloadedStrings #-}-{-# LANGUAGE RecordWildCards #-}-{-# LANGUAGE TupleSections #-}--module Main where--import qualified Control.Foldl as Foldl-import qualified Data.Aeson as Aeson-import           Data.Aeson.Encode.Pretty-import           Data.Foldable (fold, for_, traverse_)-import           Data.List (nub)-import qualified Data.Map as Map-import           Data.Maybe (fromMaybe, mapMaybe)-import qualified Data.Set as Set-import           Data.Text (pack)-import qualified Data.Text as T-import           Data.Text.Encoding (encodeUtf8)-import qualified Data.Text.Lazy as TL-import qualified Data.Text.Lazy.Builder as TB-import qualified Data.Text.Read as TR-import           Data.Traversable (for)-import           Data.Version (showVersion)-import qualified Filesystem.Path.CurrentOS as Path-import           GHC.Generics (Generic)-import qualified Options.Applicative as Opts-import qualified Paths_purescript as Paths-import qualified System.IO as IO-import           Turtle hiding (echo, fold, s, x)-import qualified Turtle--echoT :: Text -> IO ()-echoT = Turtle.printf (Turtle.s % "\n")--packageFile :: Path.FilePath-packageFile = "psc-package.json"--data PackageConfig = PackageConfig-  { name    :: Text-  , depends :: [Text]-  , set     :: Text-  , source  :: Text-  } deriving (Show, Generic, Aeson.FromJSON, Aeson.ToJSON)--pathToTextUnsafe :: Turtle.FilePath -> Text-pathToTextUnsafe = either (error "Path.toText failed") id . Path.toText--defaultPackage :: Text -> PackageConfig-defaultPackage pkgName =-  PackageConfig { name    = pkgName-                , depends = [ "prelude" ]-                , set     = "psc-" <> pack (showVersion Paths.version)-                , source  = "https://github.com/purescript/package-sets.git"-                }--readPackageFile :: IO PackageConfig-readPackageFile = do-  exists <- testfile packageFile-  unless exists $ do-    echoT "psc-package.json does not exist"-    exit (ExitFailure 1)-  mpkg <- Aeson.decodeStrict . encodeUtf8 <$> readTextFile packageFile-  case mpkg of-    Nothing -> do-      echoT "Unable to parse psc-package.json"-      exit (ExitFailure 1)-    Just pkg -> return pkg--packageConfigToJSON :: PackageConfig -> Text-packageConfigToJSON =-    TL.toStrict-    . TB.toLazyText-    . encodePrettyToTextBuilder' config-  where-    config = defConfig-               { confCompare =-                   keyOrder [ "name"-                            , "set"-                            , "source"-                            , "depends"-                            ]-               }--packageSetToJSON :: PackageSet -> Text-packageSetToJSON =-    TL.toStrict-    . TB.toLazyText-    . encodePrettyToTextBuilder' config-  where-    config = defConfig { confCompare = compare }--writePackageFile :: PackageConfig -> IO ()-writePackageFile =-  writeTextFile packageFile-  . packageConfigToJSON--data PackageInfo = PackageInfo-  { repo         :: Text-  , version      :: Text-  , dependencies :: [Text]-  } deriving (Show, Eq, Generic, Aeson.FromJSON, Aeson.ToJSON)--type PackageSet = Map.Map Text PackageInfo--cloneShallow-  :: Text-  -- ^ repo-  -> Text-  -- ^ branch/tag-  -> Turtle.FilePath-  -- ^ target directory-  -> IO ExitCode-cloneShallow from ref into =-  proc "git"-       [ "clone"-       , "-q"-       , "-c", "advice.detachedHead=false"-       , "--depth", "1"-       , "-b", ref-       , from-       , pathToTextUnsafe into-       ] empty .||. exit (ExitFailure 1)--listRemoteTags-  :: Text-  -- ^ repo-  -> Turtle.Shell Text-listRemoteTags from = let gitProc = inproc "git"-                                    [ "ls-remote"-                                    , "-q"-                                    , "-t"-                                    , from-                                    ] empty-                      in lineToText <$> gitProc--getPackageSet :: PackageConfig -> IO ()-getPackageSet PackageConfig{ source, set } = do-  let pkgDir = ".psc-package" </> fromText set </> ".set"-  exists <- testdir pkgDir-  unless exists . void $ cloneShallow source set pkgDir--readPackageSet :: PackageConfig -> IO PackageSet-readPackageSet PackageConfig{ set } = do-  let dbFile = ".psc-package" </> fromText set </> ".set" </> "packages.json"-  exists <- testfile dbFile-  unless exists $ do-    echoT $ format (fp%" does not exist") dbFile-    exit (ExitFailure 1)-  mdb <- Aeson.decodeStrict . encodeUtf8 <$> readTextFile dbFile-  case mdb of-    Nothing -> do-      echoT "Unable to parse packages.json"-      exit (ExitFailure 1)-    Just db -> return db--writePackageSet :: PackageConfig -> PackageSet -> IO ()-writePackageSet PackageConfig{ set } =-  let dbFile = ".psc-package" </> fromText set </> ".set" </> "packages.json"-  in writeTextFile dbFile . packageSetToJSON--installOrUpdate :: Text -> Text -> PackageInfo -> IO Turtle.FilePath-installOrUpdate set pkgName PackageInfo{ repo, version } = do-  echoT ("Updating " <> pkgName)-  let pkgDir = ".psc-package" </> fromText set </> fromText pkgName </> fromText version-  exists <- testdir pkgDir-  unless exists . void $ cloneShallow repo version pkgDir-  pure pkgDir--getTransitiveDeps :: PackageSet -> [Text] -> IO [(Text, PackageInfo)]-getTransitiveDeps db depends = do-  pkgs <- for depends $ \pkg ->-    case Map.lookup pkg db of-      Nothing -> do-        echoT ("Package " <> pkg <> " does not exist in package set")-        exit (ExitFailure 1)-      Just PackageInfo{ dependencies } -> return (pkg : dependencies)-  let unique = Set.toList (foldMap Set.fromList pkgs)-  return (mapMaybe (\name -> fmap (name, ) (Map.lookup name db)) unique)--updateImpl :: PackageConfig -> IO ()-updateImpl config@PackageConfig{ depends } = do-  getPackageSet config-  db <- readPackageSet config-  trans <- getTransitiveDeps db depends-  echoT ("Updating " <> pack (show (length trans)) <> " packages...")-  for_ trans $ \(pkgName, pkg) -> installOrUpdate (set config) pkgName pkg--initialize :: IO ()-initialize = do-  exists <- testfile "psc-package.json"-  when exists $ do-    echoT "psc-package.json already exists"-    exit (ExitFailure 1)-  echoT "Initializing new project in current directory"-  pkgName <- pathToTextUnsafe . Path.filename <$> pwd-  let pkg = defaultPackage pkgName-  writePackageFile pkg-  updateImpl pkg--update :: IO ()-update = do-  pkg <- readPackageFile-  updateImpl pkg-  echoT "Update complete"--install :: String -> IO ()-install pkgName = do-  pkg <- readPackageFile-  let pkg' = pkg { depends = nub (pack pkgName : depends pkg) }-  updateImpl pkg'-  writePackageFile pkg'-  echoT "psc-package.json file was updated"--uninstall :: String -> IO ()-uninstall pkgName = do-  pkg <- readPackageFile-  let pkg' = pkg { depends = filter (/= pack pkgName) $ depends pkg }-  updateImpl pkg'-  writePackageFile pkg'-  echoT "psc-package.json file was updated"--listDependencies :: IO ()-listDependencies = do-  pkg@PackageConfig{ depends } <- readPackageFile-  db <- readPackageSet pkg-  trans <- getTransitiveDeps db depends-  traverse_ (echoT . fst) trans--listPackages :: IO ()-listPackages = do-  pkg <- readPackageFile-  db <- readPackageSet pkg-  traverse_ echoT (fmt <$> Map.assocs db)-  where-  fmt :: (Text, PackageInfo) -> Text-  fmt (name, PackageInfo{ version }) = name <> " (" <> version <> ")"--getSourcePaths :: PackageConfig -> PackageSet -> [Text] -> IO [Turtle.FilePath]-getSourcePaths PackageConfig{..} db pkgNames = do-  trans <- getTransitiveDeps db pkgNames-  let paths = [ ".psc-package"-                </> fromText set-                </> fromText pkgName-                </> fromText version-                </> "src" </> "**" </> "*.purs"-              | (pkgName, PackageInfo{ version }) <- trans-              ]-  return paths--listSourcePaths :: IO ()-listSourcePaths = do-  pkg@PackageConfig{ depends } <- readPackageFile-  db <- readPackageSet pkg-  paths <- getSourcePaths pkg db depends-  traverse_ (echoT . pathToTextUnsafe) paths--exec :: Text -> IO ()-exec exeName = do-  pkg@PackageConfig{..} <- readPackageFile-  db <- readPackageSet pkg-  paths <- getSourcePaths pkg db depends-  procs exeName-        (map pathToTextUnsafe ("src" </> "**" </> "*.purs" : paths))-        empty--checkForUpdates :: Bool -> Bool -> IO ()-checkForUpdates applyMinorUpdates applyMajorUpdates = do-    pkg <- readPackageFile-    db <- readPackageSet pkg--    echoT ("Checking " <> pack (show (Map.size db)) <> " packages for updates.")-    echoT "Warning: this could take some time!"--    newDb <- Map.fromList <$> (for (Map.toList db) $ \(name, p@PackageInfo{ repo, version }) -> do-      echoT ("Checking package " <> name)-      tagLines <- Turtle.fold (listRemoteTags repo) Foldl.list-      let tags = mapMaybe parseTag tagLines-      newVersion <- case parseVersion version of-        Just parts ->-          let applyMinor =-                case filter (isMinorReleaseFrom parts) tags of-                  [] -> pure version-                  minorReleases -> do-                    echoT ("New minor release available")-                    case applyMinorUpdates of-                      True -> do-                        let latestMinorRelease = maximum minorReleases-                        pure ("v" <> T.intercalate "." (map (pack . show) latestMinorRelease))-                      False -> pure version-              applyMajor =-                case filter (isMajorReleaseFrom parts) tags of-                  [] -> applyMinor-                  newReleases -> do-                    echoT ("New major release available")-                    case applyMajorUpdates of-                      True -> do-                        let latestRelease = maximum newReleases-                        pure ("v" <> T.intercalate "." (map (pack . show) latestRelease))-                      False -> applyMinor-          in applyMajor-        _ -> do-          echoT "Unable to parse version string"-          pure version-      pure (name, p { version = newVersion }))--    when (applyMinorUpdates || applyMajorUpdates)-      (writePackageSet pkg newDb)-  where-    parseTag :: Text -> Maybe [Int]-    parseTag line =-      case T.splitOn "\t" line of-        [_sha, ref] ->-          case T.stripPrefix "refs/tags/" ref of-            Just tag ->-              case parseVersion tag of-                Just parts -> pure parts-                _ -> Nothing-            _ -> Nothing-        _ -> Nothing--    parseVersion :: Text -> Maybe [Int]-    parseVersion ref =-      case T.stripPrefix "v" ref of-        Just tag ->-          traverse parseDecimal (T.splitOn "." tag)-        _ -> Nothing--    parseDecimal :: Text -> Maybe Int-    parseDecimal s =-      case TR.decimal s of-        Right (n, "") -> Just n-        _ -> Nothing--    isMajorReleaseFrom :: [Int] -> [Int] -> Bool-    isMajorReleaseFrom (0 : xs) (0 : ys) = isMajorReleaseFrom xs ys-    isMajorReleaseFrom (x : _)  (y : _)  = y > x-    isMajorReleaseFrom _        _        = False--    isMinorReleaseFrom :: [Int] -> [Int] -> Bool-    isMinorReleaseFrom (0 : xs) (0 : ys) = isMinorReleaseFrom xs ys-    isMinorReleaseFrom (x : xs) (y : ys) = y == x && ys > xs-    isMinorReleaseFrom _        _        = False--verifyPackageSet :: IO ()-verifyPackageSet = do-  pkg <- readPackageFile-  db <- readPackageSet pkg--  echoT ("Verifying " <> pack (show (Map.size db)) <> " packages.")-  echoT "Warning: this could take some time!"--  let installOrUpdate' (name, pkgInfo) = (name, ) <$> installOrUpdate (set pkg) name pkgInfo-  paths <- Map.fromList <$> traverse installOrUpdate' (Map.toList db)--  for_ (Map.toList db) $ \(name, PackageInfo{..}) -> do-    let dirFor = fromMaybe (error "verifyPackageSet: no directory") . (`Map.lookup` paths)-    echoT ("Verifying package " <> name)-    let srcGlobs = map (pathToTextUnsafe . (</> ("src" </> "**" </> "*.purs")) . dirFor) (name : dependencies)-    procs "psc" srcGlobs empty--main :: IO ()-main = do-    IO.hSetEncoding IO.stdout IO.utf8-    IO.hSetEncoding IO.stderr IO.utf8-    cmd <- Opts.execParser opts-    cmd-  where-    opts        = Opts.info (versionInfo <*> Opts.helper <*> commands) infoModList-    infoModList = Opts.fullDesc <> headerInfo <> footerInfo-    headerInfo  = Opts.progDesc "Manage package dependencies"-    footerInfo  = Opts.footer $ "psc-package " ++ showVersion Paths.version--    versionInfo :: Parser (a -> a)-    versionInfo = Opts.abortOption (Opts.InfoMsg (showVersion Paths.version)) $-      Opts.long "version" <> Opts.help "Show the version number" <> Opts.hidden--    commands :: Parser (IO ())-    commands = (Opts.subparser . fold)-        [ Opts.command "init"-            (Opts.info (pure initialize)-            (Opts.progDesc "Initialize a new package"))-        , Opts.command "update"-            (Opts.info (pure update)-            (Opts.progDesc "Update dependencies"))-        , Opts.command "uninstall"-            (Opts.info (uninstall <$> pkg)-            (Opts.progDesc "Uninstall the named package"))-        , Opts.command "install"-            (Opts.info (install <$> pkg)-            (Opts.progDesc "Install the named package"))-        , Opts.command "build"-            (Opts.info (pure (exec "psc"))-            (Opts.progDesc "Build the current package and dependencies"))-        , Opts.command "dependencies"-            (Opts.info (pure listDependencies)-            (Opts.progDesc "List all (transitive) dependencies for the current package"))-        , Opts.command "sources"-            (Opts.info (pure listSourcePaths)-            (Opts.progDesc "List all (active) source paths for dependencies"))-        , Opts.command "available"-            (Opts.info (pure listPackages)-            (Opts.progDesc "List all packages available in the package set"))-        , Opts.command "updates"-            (Opts.info (checkForUpdates <$> apply <*> applyMajor)-            (Opts.progDesc "Check all packages in the package set for new releases"))-        , Opts.command "verify-set"-            (Opts.info (pure verifyPackageSet)-            (Opts.progDesc "Verify that the packages in the package set build correctly"))-        ]-      where-        pkg = Opts.strArgument $-             Opts.metavar "PACKAGE"-          <> Opts.help "The name of the package to install"--        apply = Opts.switch $-             Opts.long "apply"-          <> Opts.help "Apply all minor package updates"--        applyMajor = Opts.switch $-             Opts.long "apply-breaking"-          <> Opts.help "Apply all major package updates"

@@ -1,57 +0,0 @@-{-# LANGUAGE OverloadedStrings #-}--module Main where--import Control.Monad.IO.Class (liftIO)-import Data.Version (Version(..), showVersion)-import qualified Data.Aeson as A-import qualified Data.ByteString.Lazy.Char8 as BL-import Data.Monoid ((<>))-import Data.Time.Clock (getCurrentTime)--import Options.Applicative (Parser, ParseError (..))-import qualified Options.Applicative as Opts--import System.IO (hSetEncoding, stderr, stdout, utf8)--import qualified Paths_purescript as Paths-import Language.PureScript.Publish-import Language.PureScript.Publish.ErrorsWarnings--dryRun :: Parser Bool-dryRun = Opts.switch $-     Opts.long "dry-run"-  <> Opts.help "Produce no output, and don't require a tagged version to be checked out."--dryRunOptions :: PublishOptions-dryRunOptions = defaultPublishOptions-  { publishGetVersion = return dummyVersion-  , publishWorkingTreeDirty = warn DirtyWorkingTree_Warn-  , publishGetTagTime = const (liftIO getCurrentTime)-  }-  where dummyVersion = ("0.0.0", Version [0,0,0] [])--main :: IO ()-main = do-  hSetEncoding stdout utf8-  hSetEncoding stderr utf8-  Opts.execParser opts >>= publish-  where-  opts        = Opts.info (version <*> Opts.helper <*> dryRun) infoModList-  infoModList = Opts.fullDesc <> headerInfo <> footerInfo-  headerInfo  = Opts.header "psc-publish - Generates documentation packages for upload to http://pursuit.purescript.org"-  footerInfo  = Opts.footer $ "psc-publish " ++ showVersion Paths.version--  version :: Parser (a -> a)-  version = Opts.abortOption (InfoMsg (showVersion Paths.version)) $-    Opts.long "version" <> Opts.help "Show the version number" <> Opts.hidden--publish :: Bool -> IO ()-publish isDryRun =-  if isDryRun-    then do-      _ <- unsafePreparePackage dryRunOptions-      putStrLn "Dry run completed, no errors."-    else do-      pkg <- unsafePreparePackage defaultPublishOptions-      BL.putStrLn (A.encode pkg)

@@ -1,182 +0,0 @@-{-# LANGUAGE DataKinds #-}-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE RecordWildCards #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TupleSections #-}--module Main where--import           Control.Applicative-import           Control.Monad-import           Control.Monad.Writer.Strict--import qualified Data.Aeson as A-import           Data.Bool (bool)-import qualified Data.ByteString.Lazy as B-import qualified Data.ByteString.UTF8 as BU8-import qualified Data.Map as M-import           Data.Text (Text)-import           Data.Version (showVersion)--import qualified Language.PureScript as P-import           Language.PureScript.Errors.JSON-import           Language.PureScript.Make--import           Options.Applicative as Opts--import qualified Paths_purescript as Paths--import qualified System.Console.ANSI as ANSI-import           System.Exit (exitSuccess, exitFailure)-import           System.FilePath.Glob (glob)-import           System.IO (hSetEncoding, hPutStrLn, stdout, stderr, utf8)-import           System.IO.UTF8 (readUTF8FileT)--data PSCMakeOptions = PSCMakeOptions-  { pscmInput        :: [FilePath]-  , pscmOutputDir    :: FilePath-  , pscmOpts         :: P.Options-  , pscmUsePrefix    :: Bool-  , pscmJSONErrors   :: Bool-  }---- | Argumnets: verbose, use JSON, warnings, errors-printWarningsAndErrors :: Bool -> Bool -> P.MultipleErrors -> Either P.MultipleErrors a -> IO ()-printWarningsAndErrors verbose False warnings errors = do-  cc <- bool Nothing (Just P.defaultCodeColor) <$> ANSI.hSupportsANSI stderr-  let ppeOpts = P.defaultPPEOptions { P.ppeCodeColor = cc, P.ppeFull = verbose }-  when (P.nonEmpty warnings) $-    hPutStrLn stderr (P.prettyPrintMultipleWarnings ppeOpts warnings)-  case errors of-    Left errs -> do-      hPutStrLn stderr (P.prettyPrintMultipleErrors ppeOpts errs)-      exitFailure-    Right _ -> return ()-printWarningsAndErrors verbose True warnings errors = do-  hPutStrLn stderr . BU8.toString . B.toStrict . A.encode $-    JSONResult (toJSONErrors verbose P.Warning warnings)-               (either (toJSONErrors verbose P.Error) (const []) errors)-  either (const exitFailure) (const (return ())) errors--compile :: PSCMakeOptions -> IO ()-compile PSCMakeOptions{..} = do-  input <- globWarningOnMisses (unless pscmJSONErrors . warnFileTypeNotFound) pscmInput-  when (null input && not pscmJSONErrors) $ do-    hPutStrLn stderr "psc: No input files."-    exitFailure-  moduleFiles <- readInput input-  (makeErrors, makeWarnings) <- runMake pscmOpts $ do-    ms <- P.parseModulesFromFiles id moduleFiles-    let filePathMap = M.fromList $ map (\(fp, P.Module _ _ mn _ _) -> (mn, Right fp)) ms-    foreigns <- inferForeignModules filePathMap-    let makeActions = buildMakeActions pscmOutputDir filePathMap foreigns pscmUsePrefix-    P.make makeActions (map snd ms)-  printWarningsAndErrors (P.optionsVerboseErrors pscmOpts) pscmJSONErrors makeWarnings makeErrors-  exitSuccess--warnFileTypeNotFound :: String -> IO ()-warnFileTypeNotFound = hPutStrLn stderr . ("psc: No files found using pattern: " ++)--globWarningOnMisses :: (String -> IO ()) -> [FilePath] -> IO [FilePath]-globWarningOnMisses warn = concatMapM globWithWarning-  where-  globWithWarning pattern' = do-    paths <- glob pattern'-    when (null paths) $ warn pattern'-    return paths-  concatMapM f = fmap concat . mapM f--readInput :: [FilePath] -> IO [(FilePath, Text)]-readInput inputFiles = forM inputFiles $ \inFile -> (inFile, ) <$> readUTF8FileT inFile--inputFile :: Parser FilePath-inputFile = strArgument $-     metavar "FILE"-  <> help "The input .purs file(s)"--outputDirectory :: Parser FilePath-outputDirectory = strOption $-     short 'o'-  <> long "output"-  <> Opts.value "output"-  <> showDefault-  <> help "The output directory"--noTco :: Parser Bool-noTco = switch $-     long "no-tco"-  <> help "Disable tail call optimizations"--noMagicDo :: Parser Bool-noMagicDo = switch $-     long "no-magic-do"-  <> help "Disable the optimization that overloads the do keyword to generate efficient code specifically for the Eff monad"--noOpts :: Parser Bool-noOpts = switch $-     long "no-opts"-  <> help "Skip the optimization phase"--comments :: Parser Bool-comments = switch $-     short 'c'-  <> long "comments"-  <> help "Include comments in the generated code"--verboseErrors :: Parser Bool-verboseErrors = switch $-     short 'v'-  <> long "verbose-errors"-  <> help "Display verbose error messages"--noPrefix :: Parser Bool-noPrefix = switch $-     short 'p'-  <> long "no-prefix"-  <> help "Do not include comment header"--jsonErrors :: Parser Bool-jsonErrors = switch $-     long "json-errors"-  <> help "Print errors to stderr as JSON"-sourceMaps :: Parser Bool-sourceMaps = switch $-     long "source-maps"-  <> help "Generate source maps"--dumpCoreFn :: Parser Bool-dumpCoreFn = switch $-     long "dump-corefn"-  <> help "Dump the (functional) core representation of the compiled code at output/*/corefn.json"---options :: Parser P.Options-options = P.Options <$> noTco-                    <*> noMagicDo-                    <*> pure Nothing-                    <*> noOpts-                    <*> verboseErrors-                    <*> (not <$> comments)-                    <*> sourceMaps-                    <*> dumpCoreFn--pscMakeOptions :: Parser PSCMakeOptions-pscMakeOptions = PSCMakeOptions <$> many inputFile-                                <*> outputDirectory-                                <*> options-                                <*> (not <$> noPrefix)-                                <*> jsonErrors--main :: IO ()-main = do-  hSetEncoding stdout utf8-  hSetEncoding stderr utf8-  execParser opts >>= compile-  where-  opts        = info (version <*> helper <*> pscMakeOptions) infoModList-  infoModList = fullDesc <> headerInfo <> footerInfo-  headerInfo  = header   "psc - Compiles PureScript to Javascript"-  footerInfo  = footer $ "psc " ++ showVersion Paths.version--  version :: Parser (a -> a)-  version = abortOption (InfoMsg (showVersion Paths.version)) $ long "version" <> help "Show the version number" <> hidden