internal: update to pub(readonly) trait & tweak ci (#72)

* update to pub(readonly) trait

* tweak ci

.github/workflows/check.yml

@@ -46,6 +46,13 @@ jobs:
           moon version --all
           moonrun --version
 
+      - name: moon test
+        run: |
+          moon test --target all --serial --release
+          moon test --target all --serial
+          moon test --target native --release
+          moon test --target native
+
       - name: moon check
         run: moon check --deny-warn
 
@@ -54,13 +61,6 @@ jobs:
           moon info
           git diff --exit-code
 
-      - name: moon test
-        run: |
-          moon test --target all --serial --release
-          moon test --target all --serial
-          moon test --target native --release
-          moon test --target native
-
       - name: format diff
         run: |
           moon fmt

benchmark/benchmark.mbti

@@ -31,5 +31,3 @@ impl TaskResult {
 
 // Traits
 
-// Extension Methods
-

benchmark/internal/ffi/ffi.mbti

@@ -12,5 +12,3 @@ type Instant
 
 // Traits
 
-// Extension Methods
-

crypto/crypto.mbti

@@ -55,5 +55,3 @@ impl Sha256Context {
 
 // Traits
 
-// Extension Methods
-

fs/fs.mbti

@@ -27,11 +27,9 @@ fn write_string_to_file(~path : String, ~content : String) -> Unit
 pub type! IOError {
   NotFound(String)
 }
+impl Show for IOError
 
 // Type aliases
 
 // Traits
 
-// Extension Methods
-impl Show for IOError
-

fs/internal/ffi/ffi.mbti

@@ -29,5 +29,3 @@ fn write_string_to_file(String, String) -> Unit
 
 // Traits
 
-// Extension Methods
-

json5/json5.mbti

@@ -19,6 +19,7 @@ pub enum ParseErrorData {
 impl ParseErrorData {
   op_equal(Self, Self) -> Bool
 }
+impl Eq for ParseErrorData
 
 pub struct Position {
   pub line : Int
@@ -28,11 +29,10 @@ impl Position {
   op_equal(Self, Self) -> Bool
   to_string(Self) -> String
 }
+impl Eq for Position
+impl Show for Position
 
 // Type aliases
 
 // Traits
 
-// Extension Methods
-impl Show for Position
-

num/num.mbt

@@ -12,7 +12,7 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-pub trait Num {
+pub(readonly) trait Num {
   from_int(Int) -> Self
   op_add(Self, Self) -> Self
   op_sub(Self, Self) -> Self

num/num.mbti

@@ -7,7 +7,7 @@ package moonbitlang/x/num
 // Type aliases
 
 // Traits
-pub trait Num {
+pub(readonly) trait Num {
   from_int(Int) -> Self
   op_add(Self, Self) -> Self
   op_sub(Self, Self) -> Self
@@ -18,5 +18,3 @@ pub trait Num {
   signum(Self) -> Self
 }
 
-// Extension Methods
-

stack/stack.mbti

@@ -36,10 +36,9 @@ impl Stack {
   to_string[T : Show](Self[T]) -> String
   unsafe_pop[T](Self[T]) -> T
 }
+impl[T : Default] Default for Stack[T]
 
 // Type aliases
 
 // Traits
 
-// Extension Methods
-

time/time.mbti

@@ -34,6 +34,9 @@ impl Duration {
   with_seconds(Self, Int64) -> Self
   zero() -> Self
 }
+impl Compare for Duration
+impl Eq for Duration
+impl Show for Duration
 
 type Period
 impl Period {
@@ -62,6 +65,9 @@ impl Period {
   years(Self) -> Int
   zero() -> Self
 }
+impl Compare for Period
+impl Eq for Period
+impl Show for Period
 
 type PlainDate
 impl PlainDate {
@@ -96,6 +102,7 @@ impl PlainDate {
   with_year(Self, Int) -> Self!
   year(Self) -> Int
 }
+impl Show for PlainDate
 
 type PlainDateTime
 impl PlainDateTime {
@@ -143,6 +150,9 @@ impl PlainDateTime {
   with_year(Self, Int) -> Self!
   year(Self) -> Int
 }
+impl Compare for PlainDateTime
+impl Eq for PlainDateTime
+impl Show for PlainDateTime
 
 type PlainTime
 impl PlainTime {
@@ -171,6 +181,9 @@ impl PlainTime {
   with_nanosecond(Self, Int) -> Self!
   with_second(Self, Int) -> Self!
 }
+impl Compare for PlainTime
+impl Eq for PlainTime
+impl Show for PlainTime
 
 pub enum Weekday {
   Monday
@@ -185,13 +198,17 @@ impl Weekday {
   op_equal(Self, Self) -> Bool
   to_string(Self) -> String
 }
+impl Eq for Weekday
+impl Show for Weekday
 
 type Zone
 impl Zone {
   is_fixed(Self) -> Bool
   op_equal(Self, Self) -> Bool
   to_string(Self) -> String
 }
+impl Eq for Zone
+impl Show for Zone
 
 type ZoneOffset
 impl ZoneOffset {
@@ -204,6 +221,7 @@ impl ZoneOffset {
   seconds(Self) -> Int
   to_string(Self) -> String
 }
+impl Show for ZoneOffset
 
 type ZonedDateTime
 impl ZonedDateTime {
@@ -250,27 +268,9 @@ impl ZonedDateTime {
   year(Self) -> Int
   zone(Self) -> Zone
 }
+impl Show for ZonedDateTime
 
 // Type aliases
 
 // Traits
 
-// Extension Methods
-impl Show for Duration
-
-impl Show for Period
-
-impl Show for PlainDate
-
-impl Show for PlainDateTime
-
-impl Show for PlainTime
-
-impl Show for Weekday
-
-impl Show for Zone
-
-impl Show for ZoneOffset
-
-impl Show for ZonedDateTime
-

uuid/uuid.mbti

@@ -17,6 +17,9 @@ impl UUID {
   variant(Self) -> Variant
   version(Self) -> Version?
 }
+impl Compare for UUID
+impl Eq for UUID
+impl Show for UUID
 
 pub enum Variant {
   ReservedNCS
@@ -27,6 +30,7 @@ pub enum Variant {
 impl Variant {
   to_string(Self) -> String
 }
+impl Show for Variant
 
 pub enum Version {
   V1
@@ -39,15 +43,9 @@ pub enum Version {
 impl Version {
   to_string(Self) -> String
 }
+impl Show for Version
 
 // Type aliases
 
 // Traits
 
-// Extension Methods
-impl Show for UUID
-
-impl Show for Variant
-
-impl Show for Version
-