{-# OPTIONS -fglasgow-exts -fth #-}
-- The test for TypecheckedDSLTH: TH requires splices to appear
-- in a different module.

module TypedTermLiftTest where

import TypecheckedDSLTH


tte1 = $(tevall te1)
-- :t tte1
-- tte1 :: Term Double
ev_tte1 = eval tte1
-- 11.0

tte3 = $(tevall te3)
-- :t tte3
-- tte3 :: Term Double
ev_tte3 = eval tte3
-- 32.0
testr = sin (eval tte3)
-- 0.5514266812416906

tte5 = $(tevall te5)
-- :t tte5
-- tte5 :: Term [Char]
ev_tte5 = eval tte5
-- "0.23"