File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed
jane/doc/extensions/unboxed-types Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -144,9 +144,10 @@ modules in the `janestreet_shims` library.)
144
144
actually have layout ` float64 ` ). No exceptions. This does * not* work for inline or
145
145
` [@@unboxed] ` records.
146
146
147
- * Existing types all expect ` value ` arguments. Thus for basically any ` t ` , you cannot
148
- write ` float# t ` or ` int64# t ` .
149
- This includes obvious candidates like ` float# array ` or ` float# option ` .
147
+ * With a few specific exceptions (documented below), existing types all expect
148
+ ` value ` arguments. Thus for basically any ` t ` , you cannot write ` float# t ` or
149
+ ` int64# t ` . This includes obvious candidates like `float#
150
+ option`.
150
151
151
152
* Existing ppxs expect to work with ` value ` types. Accordingly, using ` deriving ` with
152
153
types that involve unboxed numbers will lead to inscrutable type errors, and other ppxs
You can’t perform that action at this time.
0 commit comments