16 lines
326 B
Haskell
16 lines
326 B
Haskell
|
{-# OPTIONS -fglasgow-exts #-}
|
||
|
|
--
|
||
|
|
-- polymorphic eval!
|
||
|
|
--
|
||
|
|
|
||
|
|
module Main where
|
||
|
|
|
||
|
|
import Poly
|
||
|
|
import Eval.Haskell
|
||
|
|
|
||
|
|
main = do m_f <- eval "Fn (\\x y -> x == y)" ["Poly"]
|
||
|
|
when (isJust m_f) $ do
|
||
|
|
let (Fn f) = fromJust m_f
|
||
|
|
putStrLn $ show (f True True)
|
||
|
|
putStrLn $ show (f 1 2)
|