| 
 Copyright    : ( c )   , 2016 
 License      :      :  
 Stability    : experimental 
 Portability : non - portable 

Copyright   : (c) Dave Laing, 2016
License     : BSD3
Maintainer  : 
Stability   : experimental
Portability : non-portable
-}
module Main (
    main
  ) where

import Data.Monoid ((<>))
import Text.Trifecta.Rendering (Span(..))

import Repl (mkRepl)
import Language (mkLanguageDefaultParser)
import Component (ComponentInput)

import TestLanguage (languageRules, errorRules, TypeError, Type, Term(..))

main :: IO ()
main =
    mkRepl .
    mkLanguageDefaultParser $
  --  (languageRules <> errorRules)
   ((languageRules <> errorRules) :: ComponentInput () TypeError Type Term)

  (languageRules <> errorRules)
| 
 Copyright    : ( c )   , 2016 
 License      :      :  
 Stability    : experimental 
 Portability : non - portable 

Copyright   : (c) Dave Laing, 2016
License     : BSD3
Maintainer  : 
Stability   : experimental
Portability : non-portable
-}
module Main (
    main
  ) where

import Data.Monoid ((<>))
import Text.Trifecta.Rendering (Span(..))

import Repl (mkRepl)
import Language (mkLanguageDefaultParser)
import Component (ComponentInput)

import TestLanguage (languageRules, errorRules, TypeError, Type, Term(..))

main :: IO ()
main =
    mkRepl .
    mkLanguageDefaultParser $
   ((languageRules <> errorRules) :: ComponentInput () TypeError Type Term)
