new: add flake.nix

Author: cstml

Space.cabal

@@ -1,4 +1,17 @@
 module Main where
 
+import Space.Evaluator
+import Space.Syntax.Parser
+import Prettyprinter
+
 main :: IO ()
-main = putStrLn "Hello, Haskell!"
+main = do
+  putStrLn "Hello, Haskell!"
+  content <- readFile "test/Examples/example-terms.sp"
+  case parseTerm content of
+    Left e -> error $ show e 
+    Right term ->   do
+      res <- evalTerm term
+      case res of 
+        Right e ->  (print . pretty) e
+        Left e -> print e

app/Main.hs

@@ -0,0 +1 @@
+packages: .

cabal.project

@@ -0,0 +1,53 @@
+{
+  description = "Space Lang";
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+  outputs = inputs@{ self, nixpkgs, flake-utils, ... }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let
+        overlays = [ ];
+
+        pkgs = import nixpkgs {
+          inherit system overlays;
+          #          config.allowBroken = true;
+        };
+
+        additionalPckgs = with pkgs; [ nixfmt rlwrap ];
+
+        additionalHaskellPckgs = with pkgs.haskellPackages; [
+          stack
+          structured-haskell-mode
+          stylish-haskell
+          apply-refact
+          cabal-fmt
+          cabal-install
+          fourmolu
+          ghcid
+          hasktags
+          hlint
+          zlib
+          haskell-language-server
+          doctest
+        ];
+
+        project = returnShellEnv:
+          pkgs.haskellPackages.developPackage {
+            inherit returnShellEnv;
+            name = "space-lang";
+            root = self;
+            withHoogle = true;
+            modifier = drv:
+              pkgs.haskell.lib.addBuildTools drv
+              (additionalHaskellPckgs ++ additionalPckgs);
+          };
+      in {
+
+        # Used by `nix build` & `nix run` (prod exe)
+        defaultPackage = project false;
+
+        # Used by `nix develop` (dev shell)
+        devShell = project true;
+      });
+}

flake.lock

@@ -0,0 +1,82 @@
+cabal-version:      3.4
+name:               space-lang
+version:            0.1.0.0
+author:             Vlad Posmangiu Luchian
+maintainer:         [email protected]
+extra-source-files: CHANGELOG.md
+
+common space-common
+  ghc-options:
+    -Wall -Wcompat -Wincomplete-uni-patterns -Wno-unused-do-bind
+    -Wno-partial-type-signatures -Wmissing-export-lists
+    -Wincomplete-record-updates -Wmissing-deriving-strategies
+    -Wno-name-shadowing -Wunused-foralls
+    -Wno-unticked-promoted-constructors -fprint-explicit-foralls
+    -fprint-explicit-kinds
+
+  --      -Werror
+  build-depends:
+    , base          ^>=4.15.1.0
+    , containers    ^>=0.6.6
+    , freer-simple  ^>=1.2.1.2
+    , lens          ^>=5.2
+    , parsec        ^>=3.1.15.1
+    , prettyprinter ^>=1.7.1 
+    , mtl
+    , transformers
+  
+  default-extensions:
+    DataKinds
+    DerivingStrategies
+    FlexibleContexts
+    GADTs
+    GeneralizedNewtypeDeriving
+    LambdaCase
+    OverloadedStrings
+    RankNTypes
+    ScopedTypeVariables
+    TemplateHaskell
+    TypeApplications
+    TypeOperators
+    NumericUnderscores
+
+executable space-lang
+  import:           space-common
+  main-is:          Main.hs
+  build-depends:    space-lang
+  hs-source-dirs:   app
+  default-language: Haskell2010
+
+executable spci
+  import:           space-common
+  main-is:          spci.hs
+  build-depends:    space-lang
+  hs-source-dirs:   spci
+  default-language: Haskell2010
+  
+library
+  import:          space-common
+  hs-source-dirs:  src
+  exposed-modules:
+    Space.Evaluator
+    Space.Parser
+    Space.Syntax.Parser
+    Space.Syntax.Types
+    Space.Syntax.Context
+    Space.TypeChecking.Derivation
+    Space.TypeChecking.Derive
+    Space.Syntax
+    
+test-suite test
+  import:          space-common
+  type:            exitcode-stdio-1.0
+  main-is:         Test.hs
+  hs-source-dirs:  test
+  build-depends:   space-lang
+  exposed-modules: Space.Test.Parser
+  other-modules:
+    Examples.ExampleTerms
+    Space.Test.Parser
+  build-depends:
+    , tasty
+    , tasty-hunit

flake.nix

@@ -0,0 +1,24 @@
+module Main where
+
+import Space.Evaluator
+import Space.Syntax.Parser
+import Space.Syntax.Types
+import Prettyprinter
+
+main :: IO ()
+main = do
+  putStrLn "Hello, Haskell!"
+  repl (mempty,mempty)
+
+repl :: (Bindings, Stacks) -> IO ()
+repl mem = do 
+  content <- getLine
+  case parseTerm content of
+      Left e -> do 
+        print e 
+        repl mem 
+      Right term -> do
+        computationResult <- runEval' mem term
+        case computationResult of 
+          Left e -> print e >> repl mem
+          Right res@(_,newMem) -> do (print . pretty) res >> repl newMem