Migrate from String to Text + add NoImplicitPrelude compatibility

User-facing code (e.g. `Axel.Parse.AST.Expression`, `Axel.Parse.AST.toAxel`, `SourcePosition`) still uses `String`, so that Axel projects don't need direct dependencies on `text`.

Other changes:
- `FilePath` is now a newtype
- A project-specific Prelude is now in use (`Axel.Prelude`)
- Regexes were replaced with (Megaparsec) parsers.
- Probably other small stuff.

Fixes axellang#38.

Author: jgrosso

Diff for: .ghci

@@ -1,2 +1 @@
-:set -XFlexibleContexts
 :set -XPartialTypeSignatures

Diff for: .hindent.yaml

@@ -1 +1,26 @@
 force-trailing-newline: true
+# NOTE Keep in sync with `package.yaml#default-extensions` and `.hlint.yaml#arguments`.
+extensions:
+  - BangPatterns
+  - ConstraintKinds
+  - DataKinds
+  - DeriveDataTypeable
+  - DeriveFoldable
+  - DeriveFunctor
+  - DeriveGeneric
+  - DeriveTraversable
+  - FlexibleContexts
+  - FlexibleInstances
+  - FunctionalDependencies
+  - GeneralizedNewtypeDeriving
+  - InstanceSigs
+  - KindSignatures
+  - LambdaCase
+  - MultiParamTypeClasses
+  - OverloadedStrings
+  - PolyKinds
+  - RankNTypes
+  - StandaloneDeriving
+  - TupleSections
+  - TypeApplications
+  - TypeOperators

Diff for: .hlint.yaml

@@ -10,16 +10,46 @@
 # Generalise map to fmap, ++ to <>
 # - group: {name: generalise, enabled: true}
 
+# NOTE Keep in sync with `package.yaml#default-extensions` and `.hindent.yaml#extensions`.
+- arguments:
+  - -XBangPatterns
+  - -XConstraintKinds
+  - -XDataKinds
+  - -XDeriveDataTypeable
+  - -XDeriveFoldable
+  - -XDeriveFunctor
+  - -XDeriveGeneric
+  - -XDeriveTraversable
+  - -XFlexibleContexts
+  - -XFlexibleInstances
+  - -XFunctionalDependencies
+  - -XGeneralizedNewtypeDeriving
+  - -XInstanceSigs
+  - -XKindSignatures
+  - -XLambdaCase
+  - -XMultiParamTypeClasses
+  - -XNoImplicitPrelude
+  - -XOverloadedStrings
+  - -XPolyKinds
+  - -XRankNTypes
+  - -XStandaloneDeriving
+  - -XTupleSections
+  - -XTypeApplications
+  - -XTypeOperators
+
 - modules:
   - {name: Axel.Utils.Debug, within: []}
   - {name: Debug.Trace, within: []}
+  - {name: [Prelude], as: Prelude}
   - {name: Text.Megaparsec.Debug, within: []}
 
 - functions:
-  - {name: unsafePerformIO, within: [Axel.Parse.AST]}
+  - {name: unsafeEmbedIO, within: []}
+  - {name: unsafePerformIO, within: []}
   - {name: undefined, within: []}
 
 - warn: {lhs: "head x", rhs: "Axel.Utils.List.unsafeHead x"}
+
 - warn: {lhs: "fromJust (head' x)", rhs: "Axel.Utils.List.unsafeHead x"}
 
 - warn: {lhs: "fromJust (down x)", rhs: "Axel.Utils.Zipper.unsafeDown x"}
@@ -33,3 +63,5 @@
 - warn: {lhs: "unsafeTeeS x", rhs: "x"}
 - warn: {lhs: "unsafeTee' f x", rhs: "x"}
 - warn: {lhs: "unsafeTeeS' f x", rhs: "x"}
+
+- warn: {lhs: "unsafeReportTime message x", rhs: "x"}

Diff for: app/Main.axel

@@ -1,22 +1,17 @@
-(pragma "LANGUAGE DataKinds")
-(pragma "LANGUAGE TypeApplications")
 (module Main)
-(raw "import Prelude hiding (putStrLn)")
 (import Axel.Eff.App (AppEffs runApp))
 (import Axel.Eff.Console (putStrLn))
 (import Axel.Eff.Ghci (withGhci))
 (import Axel.Haskell.File (convertFileInPlace transpileFileInPlace))
 (import Axel.Haskell.Project (buildProject runProject))
 (import Axel.Haskell.Stack (axelStackageVersion))
+(importq Axel.Parse.AST AST all)
 (import Axel.Parse.Args ((Command Convert File Project Version) commandParser))
 (import Control.Monad (void))
 (importq Data.Map Map (empty))
 (import Options.Applicative (<**> execParser helper info progDesc))
 (importq Polysemy Sem all)
 (importq Polysemy.State Sem all)
-(def app ((-> Command) (Sem.Sem AppEffs Unit)) (((Convert filePath)) (void (convertFileInPlace filePath))) (((File filePath)) (void ((Sem.evalState Map.empty) (withGhci (transpileFileInPlace filePath))))) (((Project)) (>> buildProject runProject)) (((Version)) (putStrLn (<> "Axel version " axelStackageVersion))))
-(def main (IO Unit)
- (()
-  (do'
-   (<- modeCommand (execParser (info {commandParser <**> helper} (progDesc "The command to run."))))
-   (runApp (app modeCommand)))))
+(raw "import Prelude hiding (putStrLn)")
+(def app ((-> Command) (Sem.Sem AppEffs Unit)) (((Convert filePath)) (void (convertFileInPlace filePath))) (((File filePath)) (void (Sem.evalState Map.empty (withGhci (transpileFileInPlace filePath))))) (((Project)) (>> buildProject runProject)) (((Version)) (putStrLn (<> "Axel version " axelStackageVersion))))
+(def main (IO Unit) (() (do' (<- modeCommand (execParser (info (<**> commandParser helper) (progDesc "The command to run.")))) (runApp (app modeCommand)))))

Diff for: app/Main.hs

@@ -1,22 +1,22 @@
-{-# LANGUAGE DataKinds #-}
-{-# LANGUAGE TypeApplications #-}
 module Main where
+import qualified Prelude as GHCPrelude
 import qualified Axel.Parse.AST as AST
-import Prelude hiding (putStrLn)
 import Axel.Eff.App(AppEffs,runApp)
 import Axel.Eff.Console(putStrLn)
 import Axel.Eff.Ghci(withGhci)
 import Axel.Haskell.File(convertFileInPlace,transpileFileInPlace)
 import Axel.Haskell.Project(buildProject,runProject)
 import Axel.Haskell.Stack(axelStackageVersion)
+import qualified Axel.Parse.AST as AST
 import Axel.Parse.Args(Command(Convert,File,Project,Version),commandParser)
 import Control.Monad(void)
 import qualified Data.Map as Map(empty)
 import Options.Applicative((<**>),execParser,helper,info,progDesc)
 import qualified Polysemy as Sem
 import qualified Polysemy.State as Sem
+import Prelude hiding (putStrLn)
 app (Convert filePath) = (void (convertFileInPlace filePath))
-app (File filePath) = (void ((Sem.evalState Map.empty) (withGhci (transpileFileInPlace filePath))))
+app (File filePath) = (void (Sem.evalState Map.empty (withGhci (transpileFileInPlace filePath))))
 app (Project ) = ((>>) buildProject runProject)
 app (Version ) = (putStrLn ((<>) "Axel version " axelStackageVersion))
 app :: (((->) Command) (Sem.Sem AppEffs ()))

Diff for: axel.cabal

@@ -4,7 +4,7 @@ cabal-version: 1.12
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 0f084304e59fc78404d9f395d857b72c4f50a026df11d5a2c5cefd0e2f5502f3
+-- hash: b03a46ed7e2a855ffd81c35144f96d3327c2817b9d9e4c814fc3798bc2fcbd52
 
 name:           axel
 version:        0.0.11
@@ -68,7 +68,6 @@ library
       Axel.Haskell.Convert
       Axel.Haskell.Error
       Axel.Haskell.File
-      Axel.Haskell.FilePath
       Axel.Haskell.Language
       Axel.Haskell.Macros
       Axel.Haskell.Project
@@ -78,23 +77,26 @@ library
       Axel.Parse
       Axel.Parse.Args
       Axel.Parse.AST
+      Axel.Prelude
       Axel.Sourcemap
       Axel.Utils.Debug
       Axel.Utils.Display
+      Axel.Utils.FilePath
       Axel.Utils.Foldable
       Axel.Utils.Function
       Axel.Utils.Json
       Axel.Utils.List
       Axel.Utils.Maybe
       Axel.Utils.Monad
       Axel.Utils.Recursion
-      Axel.Utils.String
+      Axel.Utils.Text
       Axel.Utils.Tuple
       Axel.Utils.Zipper
   other-modules:
       Paths_axel
   hs-source-dirs:
       src
+  default-extensions: BangPatterns ConstraintKinds DataKinds DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable FlexibleContexts FlexibleInstances FunctionalDependencies GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses NoImplicitPrelude OverloadedStrings PolyKinds RankNTypes StandaloneDeriving TupleSections TypeApplications TypeOperators
   ghc-options: -Weverything -Wno-all-missed-specialisations -Wno-implicit-prelude -Wno-missed-specialisations -Wno-missing-import-lists -Wno-missing-export-lists -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-safe -Wno-unsafe -optP-Wno-nonportable-include-path -fplugin=Polysemy.Plugin -O2 -flate-specialise -fspecialise-aggressively
   build-tool-depends:
       hpack:hpack
@@ -116,16 +118,15 @@ library
     , lens
     , lens-aeson
     , megaparsec
+    , mono-traversable
     , optparse-applicative
     , polysemy
     , polysemy-plugin
     , process
     , profunctors
     , random
-    , regex-pcre
     , singletons
     , split
-    , strict
     , tasty
     , tasty-discover
     , tasty-golden
@@ -148,6 +149,7 @@ executable axel
       Paths_axel
   hs-source-dirs:
       app
+  default-extensions: BangPatterns ConstraintKinds DataKinds DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable FlexibleContexts FlexibleInstances FunctionalDependencies GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses NoImplicitPrelude OverloadedStrings PolyKinds RankNTypes StandaloneDeriving TupleSections TypeApplications TypeOperators
   ghc-options: -Weverything -Wno-all-missed-specialisations -Wno-implicit-prelude -Wno-missed-specialisations -Wno-missing-import-lists -Wno-missing-export-lists -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-safe -Wno-unsafe -optP-Wno-nonportable-include-path -fplugin=Polysemy.Plugin -O2 -flate-specialise -fspecialise-aggressively -threaded -rtsopts -with-rtsopts=-N
   build-tool-depends:
       hpack:hpack
@@ -170,16 +172,15 @@ executable axel
     , lens
     , lens-aeson
     , megaparsec
+    , mono-traversable
     , optparse-applicative
     , polysemy
     , polysemy-plugin
     , process
     , profunctors
     , random
-    , regex-pcre
     , singletons
     , split
-    , strict
     , tasty
     , tasty-discover
     , tasty-golden
@@ -225,6 +226,7 @@ test-suite axel-test
       Paths_axel
   hs-source-dirs:
       test
+  default-extensions: BangPatterns ConstraintKinds DataKinds DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable FlexibleContexts FlexibleInstances FunctionalDependencies GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses NoImplicitPrelude OverloadedStrings PolyKinds RankNTypes StandaloneDeriving TupleSections TypeApplications TypeOperators
   ghc-options: -Weverything -Wno-all-missed-specialisations -Wno-implicit-prelude -Wno-missed-specialisations -Wno-missing-import-lists -Wno-missing-export-lists -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-safe -Wno-unsafe -optP-Wno-nonportable-include-path -fplugin=Polysemy.Plugin -O2 -flate-specialise -fspecialise-aggressively -threaded -rtsopts -with-rtsopts=-N
   build-tool-depends:
       hpack:hpack
@@ -247,16 +249,15 @@ test-suite axel-test
     , lens
     , lens-aeson
     , megaparsec
+    , mono-traversable
     , optparse-applicative
     , polysemy
     , polysemy-plugin
     , process
     , profunctors
     , random
-    , regex-pcre
     , singletons
     , split
-    , strict
     , tasty
     , tasty-discover
     , tasty-golden