aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--examples/Bug8.hs8
1 files changed, 8 insertions, 0 deletions
diff --git a/examples/Bug8.hs b/examples/Bug8.hs
new file mode 100644
index 00000000..6481ca3f
--- /dev/null
+++ b/examples/Bug8.hs
@@ -0,0 +1,8 @@
+infix -->
+infix --->
+
+data Typ = Type (String,[Typ])
+ | TFree (String, [String])
+
+x --> y = Type("fun",[s,t])
+(--->) = flip $ foldr (-->)