Skip to content

Commit

Permalink
upload new map.ak file and functions and tests. This invariant is lik…
Browse files Browse the repository at this point in the history
…e dict with keys that can be any type and ordering is unspecified.
  • Loading branch information
MicroProofs committed Apr 29, 2024
1 parent 2df2aa8 commit fa6cf16
Show file tree
Hide file tree
Showing 6 changed files with 912 additions and 99 deletions.
6 changes: 3 additions & 3 deletions lib/aiken/cbor.ak
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ test serialise_8() {
}

test serialise_9() {
serialise([Pair(1, #"ff")]) == #"a10141ff"
serialise([Pair(1,#"ff")]) == #"a10141ff"
}

/// Obtain a String representation of _anything_. This is particularly (and only) useful for tracing
Expand Down Expand Up @@ -115,7 +115,7 @@ fn do_diagnostic(self: Data, builder: ByteArray) -> ByteArray {
self,
{
// -------- Constr
let Pair(constr, fields) = un_constr_data(self)
let Pair(constr,fields) = un_constr_data(self)

// NOTE: This is fundamentally the same logic for serializing list. However, the compiler
// doesn't support mutual recursion just yet, so we can't extract that logic in a separate
Expand Down Expand Up @@ -292,7 +292,7 @@ test diagnostic_7() {
}

test diagnostic_7_alt() {
diagnostic([Pair(1, #"ff")]) == @"{_ 1: h'FF' }"
diagnostic([Pair(1,#"ff")]) == @"{_ 1: h'FF' }"
}

test diagnostic_8() {
Expand Down

0 comments on commit fa6cf16

Please sign in to comment.