testsuite/tests/safeHaskell/safeLanguage/SafeLang17.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE Trustworthy #-}
module Main where

import SafeLang17_A -- trusted lib
import SafeLang17_B -- untrusted plugin

main = do
    let r = res [(1::Int)]
    putStrLn $ "Result: " ++ show r 
    putStrLn $ "Result: " ++ show function