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