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"));
    }
}