summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--test/Moretest/warnings.ml44
1 files changed, 44 insertions, 0 deletions
diff --git a/test/Moretest/warnings.ml b/test/Moretest/warnings.ml
new file mode 100644
index 000000000..08e2f2910
--- /dev/null
+++ b/test/Moretest/warnings.ml
@@ -0,0 +1,44 @@
+
+(* C *)
+
+let foo = ( *);;
+
+
+(* F *)
+
+let f x y = x;;
+f 1; f 1;;
+
+
+(* M *)
+
+(* duh *)
+
+
+(* P *)
+
+let 1 = 1;;
+
+
+(* S *)
+
+1; 1;;
+
+
+(* U *)
+
+match 1 with
+| 1 -> ()
+| 1 -> ()
+| _ -> ()
+;;
+
+
+(* V *)
+
+(* re-duh *)
+
+
+(* X *)
+
+(* re-re *)