hic-0.0.0.1: src/Language/Cimple/Hic/Program.hs

{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE StrictData      #-}
module Language.Cimple.Hic.Program
    ( Program (..)
    , fromCimple
    , toCimple
    ) where

import qualified Data.Map.Strict                   as Map
import           Data.Text                         (Text)
import qualified Language.Cimple                   as C
import           Language.Cimple.Hic               (lower)
import           Language.Cimple.Hic.Inference     (inferProgram)
import           Language.Cimple.Hic.Program.Types (Program (..))
import qualified Language.Cimple.Program           as Program

-- | Converts a standard Cimple Program to a high-level Hic Program.
-- This is where global inference happens.
fromCimple :: Program.Program Text -> Program (C.Lexeme Text)
fromCimple cprog =
    let (hicAsts, diags) = inferProgram cprog
    in Program
        { progAsts = hicAsts
        , progDiagnostics = diags
        }

-- | Lowers a Hic Program back to a standard Cimple Program.
toCimple :: Program (C.Lexeme Text) -> Program.Program Text
toCimple Program{..} =
    case Program.fromList (Map.toList $ Map.map (map lower) progAsts) of
        Left err -> error $ "Hic.toCimple: " ++ err
        Right p  -> p