|
1 | 1 | import scala.scalanative._ |
2 | 2 | import scala.scalanative.native._ |
3 | | -import scala.scalanative.native.Nat._ |
4 | 3 |
|
5 | 4 | @native.link("ReservedWords") |
6 | 5 | @native.extern |
7 | 6 | object ReservedWords { |
8 | 7 | type `match` = native.CInt |
9 | | - type `var` = native.CArray[`match`, _5] |
| 8 | + type `var` = native.CArray[`match`, native.Nat._5] |
10 | 9 | type `object` = struct_object |
11 | 10 | type `type` = struct_object |
12 | 11 | type `lazy` = union_lazy |
13 | 12 | type `def` = `match` |
14 | 13 | type `finally` = struct_finally |
15 | 14 | type struct_object = native.CStruct2[`match`, native.CInt] |
16 | 15 | type struct_finally = native.CStruct2[`def`, `lazy`] |
17 | | - type union_lazy = native.CArray[Byte, Digit[_1, Digit[_2, _8]]] |
| 16 | + type union_lazy = native.CArray[Byte, native.Nat.Digit[native.Nat._1, native.Nat.Digit[native.Nat._2, native.Nat._8]]] |
18 | 17 | def `with`(`sealed`: `match`, `implicit`: native.Ptr[`match`], `forSome`: `lazy`): `type` = native.extern |
19 | 18 | def `implicit`(`type`: native.Ptr[`finally`]): `match` = native.extern |
20 | 19 | } |
@@ -46,7 +45,7 @@ object ReservedWordsHelpers { |
46 | 45 | def instance_=(value: native.Ptr[`object`]): Unit = !p.cast[native.Ptr[native.Ptr[`object`]]] = value |
47 | 46 | def `forSome`: native.Ptr[`match`] = p.cast[native.Ptr[`match`]] |
48 | 47 | def `forSome_=`(value: `match`): Unit = !p.cast[native.Ptr[`match`]] = value |
49 | | - def `implicit`: native.Ptr[native.CArray[Byte, Digit[_1, Digit[_2, _8]]]] = p.cast[native.Ptr[native.CArray[Byte, Digit[_1, Digit[_2, _8]]]]] |
50 | | - def `implicit_=`(value: native.CArray[Byte, Digit[_1, Digit[_2, _8]]]): Unit = !p.cast[native.Ptr[native.CArray[Byte, Digit[_1, Digit[_2, _8]]]]] = value |
| 48 | + def `implicit`: native.Ptr[native.CArray[Byte, native.Nat.Digit[native.Nat._1, native.Nat.Digit[native.Nat._2, native.Nat._8]]]] = p.cast[native.Ptr[native.CArray[Byte, native.Nat.Digit[native.Nat._1, native.Nat.Digit[native.Nat._2, native.Nat._8]]]]] |
| 49 | + def `implicit_=`(value: native.CArray[Byte, native.Nat.Digit[native.Nat._1, native.Nat.Digit[native.Nat._2, native.Nat._8]]]): Unit = !p.cast[native.Ptr[native.CArray[Byte, native.Nat.Digit[native.Nat._1, native.Nat.Digit[native.Nat._2, native.Nat._8]]]]] = value |
51 | 50 | } |
52 | 51 | } |
0 commit comments