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 () | 
