Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ambiguous_guarded_disjunction.ml | 17442 | logplain |
-rw-r--r-- | application.ml | 3261 | logplain |
-rw-r--r-- | coercions.ml | 1889 | logplain |
-rw-r--r-- | disable_warnings_classes.ml | 2198 | logplain |
-rw-r--r-- | exhaustiveness.ml | 11021 | logplain |
-rw-r--r-- | fragile_matching.ml | 3755 | logplain |
-rw-r--r-- | never_returns.ml | 1217 | logplain |
-rw-r--r-- | open_warnings.ml | 5989 | logplain |
-rw-r--r-- | pr5892.ml | 664 | logplain |
-rw-r--r-- | pr6587.ml | 927 | logplain |
-rw-r--r-- | pr6872.ml | 2022 | logplain |
-rw-r--r-- | pr7085.ml | 1214 | logplain |
-rw-r--r-- | pr7115.ml | 1149 | logplain |
-rw-r--r-- | pr7261.compilers.reference | 382 | logplain |
-rw-r--r-- | pr7261.ml | 246 | logplain |
-rw-r--r-- | pr7297.compilers.reference | 186 | logplain |
-rw-r--r-- | pr7297.ml | 435 | logplain |
-rw-r--r-- | pr7553.ml | 956 | logplain |
-rw-r--r-- | pr9244.ml | 1091 | logplain |
-rw-r--r-- | records.ml | 22887 | logplain |
-rw-r--r-- | unused_functor_parameter.ml | 945 | logplain |
-rw-r--r-- | unused_rec.ml | 927 | logplain |
-rw-r--r-- | unused_recmodule.ml | 442 | logplain |
-rw-r--r-- | unused_types.ml | 12362 | logplain |
-rw-r--r-- | warning16.ml | 1283 | logplain |