tests/Machine.hs

   1 {-# LANGUAGE DataKinds #-}
   2 {-# LANGUAGE ExistentialQuantification #-}
   3 {-# LANGUAGE FlexibleContexts #-}
   4 {-# LANGUAGE RankNTypes #-}
   5 {-# LANGUAGE TypeApplications #-}
   6 {-# LANGUAGE TypeFamilies #-}
   7 module Machine where
   8
   9 -- import Data.Char (Char)
  10 import Data.Text (Text)
  11 import Data.Functor ((<$>))
  12 import System.IO (IO)
  13
  14 import qualified Symantic.Parser as P
  15 import Grammar