testsuite/tests/quotes/TH_typed_csp.hs


1
2
3
4
5
6

-- Check that CSP works for typed quotations.. there was no test for this
-- before apart from the deriving tests.
{-# LANGUAGE NoMonomorphismRestriction #-}
module TH_typed_csp where

bar = (\x -> [|| x ||]) ()