Skip to content

Commit

Permalink
More Reader tests
Browse files Browse the repository at this point in the history
  • Loading branch information
mikera committed Sep 30, 2024
1 parent f21eb6c commit d0f67ff
Showing 1 changed file with 11 additions and 2 deletions.
13 changes: 11 additions & 2 deletions convex-core/src/test/java/convex/core/lang/ReaderTest.java
Original file line number Diff line number Diff line change
Expand Up @@ -124,8 +124,9 @@ public void testSymbolPath() {

assertParseException(()->Reader.read("foo/12"));

// TODO: is this sane?
// assertParseException(()->Reader.read("foo/ bar"));
// space after slash not valid
assertParseException(()->Reader.read("foo/ bar"));
assertParseException(()->Reader.read("foo / bar")); // technically 3 symbols

assertEquals(Lists.of(Symbols.LOOKUP,Address.ZERO,Symbols.FOO),Reader.read("#0/foo"));
assertEquals(Lists.of(Symbols.LOOKUP,Address.ZERO,Symbols.DIVIDE),Reader.read("#0//"));
Expand All @@ -145,6 +146,7 @@ public void testExtraInputRegression244() {

@Test
public void testSymbolsRegressionCases() {
// symbol staring with "nil"
assertEquals(Symbol.create("nils"), Reader.read("nils"));

// symbol starting with a boolean value
Expand Down Expand Up @@ -363,6 +365,13 @@ public void testMetadata() {
doIdempotencyTest(Samples.INT_INDEX_7);
doIdempotencyTest(Reader.readAll("(def ^{:foo 2} a 1)"));
doIdempotencyTest(Reader.readAll("(fn ^{:foo 2} [] bar/baz)"));

// small signed data (embedded)
doIdempotencyTest(Samples.KEY_PAIR.signData(CVMLong.MAX_VALUE));

// moderate sized sized data
doIdempotencyTest(Samples.KEY_PAIR.signData(Samples.INT_VECTOR_256));

}

public void doIdempotencyTest(ACell cell) {
Expand Down

0 comments on commit d0f67ff

Please sign in to comment.