diff options
-rw-r--r-- | Main.hs | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -1,5 +1,4 @@ {-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE TypeApplications #-} module Main where import Foo @@ -10,5 +9,5 @@ data T a = T a main :: IO () main = do - let x = $$(foo @(T Int) [|| T 1 ||]) + let x = $$(foo [|| T () ||]) return () |