2023-12-02 16:38:53 +01:00
|
|
|
{-# LANGUAGE OverloadedStrings #-}
|
|
|
|
|
|
|
|
module Main where
|
|
|
|
|
2023-12-02 16:54:37 +01:00
|
|
|
import Data.Attoparsec.Text (parseOnly)
|
2023-12-02 16:38:53 +01:00
|
|
|
import qualified Data.Text.IO as T
|
|
|
|
|
2023-12-02 16:54:37 +01:00
|
|
|
import INAST
|
2023-12-02 16:38:53 +01:00
|
|
|
|
|
|
|
main :: IO ()
|
|
|
|
main = do
|
|
|
|
inputNetwork <- T.readFile "./input.network"
|
|
|
|
T.putStrLn "Using the following input network:"
|
|
|
|
T.putStrLn inputNetwork
|
|
|
|
T.putStrLn "Parsed AST:"
|
|
|
|
print (parseOnly insuranceNetworkParser inputNetwork)
|