src/test/java/org/shedlang/compiler/parser/ParserEffectParamTests.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package org.shedlang.compiler.parser;

import org.junit.jupiter.api.Test;

import static org.shedlang.compiler.ast.untyped.UntypedNodeMatchers.isUntypedEffectParamNode;
import static org.shedlang.compiler.parser.ParserTesting.parseString;
import static org.zwobble.precisely.AssertThat.assertThat;

public class ParserEffectParamTests {
    @Test
    public void canParseEffectParam() {
        var source = "!E";

        var node = parseString(source, Parser::parseTypeLevelParam);

        assertThat(node, isUntypedEffectParamNode("E"));
    }
}