diff options
-rw-r--r-- | test/Moretest/warnings.ml | 44 |
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 *) |