summaryrefslogtreecommitdiff
path: root/test/Moretest/warnings.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/Moretest/warnings.ml')
-rw-r--r--test/Moretest/warnings.ml44
1 files changed, 0 insertions, 44 deletions
diff --git a/test/Moretest/warnings.ml b/test/Moretest/warnings.ml
deleted file mode 100644
index 08e2f29108..0000000000
--- a/test/Moretest/warnings.ml
+++ /dev/null
@@ -1,44 +0,0 @@
-
-(* 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 *)