You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -110,15 +111,16 @@ Examples of invalid constants:
110
111
.. code-block::
111
112
112
113
#"\u{80}" : char (* equivalent to #"\194\128" *)
114
+
#"\u{10000}" : Char16.char (* would be equivalent to #"\uD800\uDC00" *)
113
115
if WideChar.maxOrd = 65535 then
114
-
#"\u{10000}" : WideChar.char (* equivalent to #"\uD800\uDC00" *)
116
+
#"\u{10000}" : WideChar.char (* would be equivalent to #"\uD800\uDC00" *)
115
117
116
118
Infix operators with surrounding dots
117
119
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
118
120
119
121
Status: experimental.
120
122
121
-
To use this extension, `allowInfixingDot` annotation in MLB file is needed::
123
+
To use this extension, ``allowInfixingDot`` annotation in MLB file is needed::
122
124
123
125
ann "allowInfixingDot true" in
124
126
...
@@ -166,7 +168,7 @@ To use this extension, ``valDescInComments`` annotation in MLB file is needed::
166
168
*)
167
169
168
170
With this extension, comments that start with ``(*:`` will be parsed and the compatibility with the following value declaration (``val``, ``fun``) is checked against.
169
-
Type mismatch is reported as warning or error.
171
+
Type mismatch is reported as a warning or an error.
170
172
171
173
The content in the special comment does not affect type inference.
0 commit comments