-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy path_tags
27 lines (24 loc) · 893 Bytes
/
_tags
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
# Compile or link multithreaded programs, in combination with the system
# "threads" library.
true: thread
true: package(cohttp.lwt)
true: package(lwt.ppx), package(lwt.preemptive)
true: package(yojson)
# Save typedtree in <filename>.cmt.
<**/*.ml>: bin_annot
# # Save debugging information.
true: debug
# Check principality of type inference
true: principal
# Make strings immutable.
true: safe_string
# Reject invalid formats accepted by legacy implementations.
true: strict_formats
# Left-hand part of a sequence must have type unit.
true: strict_sequence
# 4 Fragile pattern matching: matching that will remain complete even if
# additional constructors are added to one of the variant types matched.
# 42 Disambiguated constructor or label name (compatibility warning).
true: warn(+A-4-42)
# Enable colors in compiler messages (especially warnings and errors).
true: color(always)