syntaxAlchemist/ldmc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

test.c: fmt& fix radix in call to morph_endianness

Browse source
This commit is contained in:
Michael Sippel 2025-01-29 19:33:28 +01:00
parent 7eace1d85c
commit f65dfee2b3
Signed by: senvas
GPG key ID: F96CF119C34B64A6
1 changed files with 2 additions and 7 deletions

9
morphisms/test.c
View file

@ -33,16 +33,11 @@ int main( int argc, char * argv[] ) {
// morph to // morph to
// ℕ ~ <PosInt 16 LittleEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ ℤ_16 ~ x86.UInt64] // ℕ ~ <PosInt 16 LittleEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ ℤ_16 ~ x86.UInt64]
morph_posint_radix( morph_posint_radix( 10, 16, int4, int5 );
10,
16,
int4,
int5
);
// morph to // morph to
// ℕ ~ <PosInt 16 BigEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ ℤ_16 ~ x86.UInt64] // ℕ ~ <PosInt 16 BigEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ ℤ_16 ~ x86.UInt64]
morph_posint_endianness( 10, int5, int6 ); morph_posint_endianness( 16, int5, int6 );
// morph to // morph to
// ℕ ~ <PosInt 16 BigEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ Char ~ Ascii] // ℕ ~ <PosInt 16 BigEndian> ~ [~<LengthPrefix x86.UInt64> <Digit 16> ~ Char ~ Ascii]