blob: bafddd068ed974e243a3b710596258927c55969b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE Trustworthy #-}
module Main where
import safe SafeLang10_A -- trusted lib
import safe SafeLang10_B -- untrusted plugin
main = do
let r = res [(1::Int)]
putStrLn $ "Result: " ++ show r
putStrLn $ "Result: " ++ show function
|
