Cosmetic mostly.

Author: radumarg

app/Main.hs

@@ -1,6 +1,38 @@
-module Main (main) where
+{-# LANGUAGE LambdaCase #-}
 
-import Lib
+import System.Environment ( getArgs )  
+import Control.Monad.Except ( runExceptT)
+import CompilationEngine (Exec, readTheFile, parseProgram, semanticAnalysis, convertAstToIast, typeCheck, generateCode)
+import System.IO
+
+compile :: FilePath -> Exec String
+compile filePath = readTheFile filePath
+                          >>= parseProgram
+                          >>= semanticAnalysis
+                          >>= convertAstToIast
+                          >>= typeCheck
+                          >>= generateCode
+
+lastN :: Int -> [a] -> [a]
+lastN n xs = drop (length xs - n) xs
 
 main :: IO ()
-main = someFunc
+main = do
+  args <- getArgs
+  if length args == 1 && last3 (head args) == ".lq"
+    then
+      do
+        let filePath = head args
+        runExceptT (compile filePath) >>= \case
+          Left err -> putStrLn $ "Error: " ++ show err ++ "!"
+          Right code -> 
+            do
+              handle <- openFile outputFile ReadMode
+              putStr code
+              hClose handle
+            where
+              outputFile = filePath ++ ".qasm"
+      else
+        putStrLn "Please supply one argument: a path to a lambdaQ program file!"
+  where
+    last3 = lastN 3

lambdaQ.cabal

@@ -1,6 +1,6 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.35.1.
+-- This file has been generated from package.yaml by hpack version 0.36.0.
 --
 -- see: https://github.com/sol/hpack
 
@@ -38,7 +38,6 @@ library
       Frontend.LambdaQ.Print
       Frontend.LambdaQ.Skel
       Frontend.LambdaQ.Test
-      Lib
   other-modules:
       Paths_lambdaQ
   hs-source-dirs:

src/Lib.hs

@@ -214,9 +214,14 @@ spec =  do
         result `shouldSatisfy` (\str -> "TermQuantumCtrlsGate TermVariable (Var ((3,22),q1)),TermVariable (Var ((3,28),q3)),TermVariable (Var ((3,34),q4)) BasisStateOne,BasisStateOne,BasisStateOne)" `isInfixOf` str)
         result `shouldSatisfy` (\str -> "(TermGate GateY)) (TermVariable (Var ((3,67),q2)))" `isInfixOf` str)
 
+  -- do let single
+  -- do let sugar single
+  -- do let multiple
+
     context "when provided with a small program fragment" $ do
       it "returns a syntax tree processed in the intermediate syntax tree format" $ do
-        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_15.lq"
+        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_18.lq"
         result `shouldSatisfy` (\str -> "Function fun (2,1)" `isInfixOf` str)
         result `shouldSatisfy` (\str -> "TypeQbit" `isInfixOf` str)
-        result `shouldSatisfy` (\str -> "TermApply (TermNew (2,7)) (TermBasisState BasisStateZero)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermApply (TermNew (2,7)) (TermBasisState BasisStateZero)" `isInfixOf` str)
+