From 7e1fed4da8bb913d25f447afd1f1e485d428e37f Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Mon, 15 Oct 2012 20:32:03 +0200
Subject: Move source files for HTML tests to html-test/src

---
 html-test/src/TypeOperators.hs | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 html-test/src/TypeOperators.hs

(limited to 'html-test/src/TypeOperators.hs')

diff --git a/html-test/src/TypeOperators.hs b/html-test/src/TypeOperators.hs
new file mode 100644
index 00000000..edbb9344
--- /dev/null
+++ b/html-test/src/TypeOperators.hs
@@ -0,0 +1,20 @@
+{-# LANGUAGE TypeOperators #-}
+module TypeOperators (
+  -- * stuff
+  (:-:),
+  (:+:),
+  Op,
+  O(..),
+  biO,
+) where
+
+data a :-: b
+
+data (a :+: b) c
+
+data a `Op` b
+
+newtype (g `O` f) a = O { unO :: g (f a) }
+
+biO :: (g `O` f) a
+biO = undefined
-- 
cgit v1.2.3