Commit 0125c53b authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #3100

parent b7cbd55c
{-# LANGUAGE RankNTypes, FlexibleContexts, ImplicitParams, TemplateHaskell #-}
-- This test makes sure TH understands types where
-- there is a predicate but no 'forall'
--
-- There are two tests in here; both should be fine
-- Trac ticket: #3100
module T3100 where
import Language.Haskell.TH
flop :: Ord Int => Int -> Int
flop x = x
$(do { t <- reify 'flop; return [] })
type T a = Eq a => a
$(do { reify ''T; return []})
......@@ -154,6 +154,7 @@ test('T3319', normal, compile, ['-ddump-splices -v0'])
test('T3395', normal, compile_fail, ['-v0'])
test('T3467', normal, compile, [''])
test('T3572', normal, compile_and_run, [''])
test('T3100', normal, compile, ['-v0'])
test('T3600', extra_clean(['T3600a.hi','T3600a.o']),
multimod_compile, ['T3600','-v0'])
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment