Add dialyzer to test sequence
All checks were successful
Gajumaru Bytecode Tests / tests (push) Successful in -3m33s
All checks were successful
Gajumaru Bytecode Tests / tests (push) Successful in -3m33s
This commit is contained in:
parent
8671d83072
commit
02468c4907
@ -11,5 +11,5 @@ jobs:
|
||||
- name: eunit
|
||||
run: |
|
||||
. /opt/act_runner/erts/27.2/activate
|
||||
make
|
||||
./rebar3 eunit
|
||||
make dialyzer
|
||||
make eunit
|
||||
|
@ -1,6 +1,6 @@
|
||||
|
||||
-record(pmap, {key_t :: gmb_gmvm_data:type(),
|
||||
val_t :: gmb_gmvm_data:type(),
|
||||
-record(pmap, {key_t :: gmb_aevm_data:type(),
|
||||
val_t :: gmb_aevm_data:type(),
|
||||
parent :: none | non_neg_integer(),
|
||||
size = 0 :: non_neg_integer(),
|
||||
data :: #{gmb_heap:binary_value() => gmb_heap:binary_value() | tombstone}
|
||||
|
@ -1,5 +1,5 @@
|
||||
|
||||
-define(Type(), gmb_gmvm_data:type()).
|
||||
-define(Type(), gmb_aevm_data:type()).
|
||||
|
||||
-define(TYPEREP_WORD_TAG, 0).
|
||||
-define(TYPEREP_STRING_TAG, 1).
|
||||
|
Loading…
x
Reference in New Issue
Block a user