Test Trac #5962
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 30 Mar 2012 11:54:34 +0000 (12:54 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 30 Mar 2012 11:54:34 +0000 (12:54 +0100)
tests/T5962.hs [new file with mode: 0644]
tests/T5962.stdout [new file with mode: 0644]
tests/all.T

diff --git a/tests/T5962.hs b/tests/T5962.hs
new file mode 100644 (file)
index 0000000..92a130d
--- /dev/null
@@ -0,0 +1,8 @@
+module Main where
+
+import Data.Typeable
+
+unitToUnit_a = typeOf (\() -> ())
+unitToUnit_b = mkFunTy (typeOf ()) (typeOf ())
+
+main = print (unitToUnit_a == unitToUnit_b)
diff --git a/tests/T5962.stdout b/tests/T5962.stdout
new file mode 100644 (file)
index 0000000..0ca9514
--- /dev/null
@@ -0,0 +1 @@
+True
index ae00389..aaa476c 100644 (file)
@@ -117,4 +117,5 @@ test('weak001', normal, compile_and_run, [''])
 test('4006', if_msys(expect_fail), compile_and_run, [''])
 
 test('5943', normal, compile_and_run, [''])
+test('T5962', normal, compile_and_run, [''])