package org.simantics.scl.compiler.tests.unit;

import org.junit.Test;
import org.simantics.scl.compiler.environment.Environment;
import org.simantics.scl.compiler.environment.Environments;
import org.simantics.scl.compiler.environment.specification.EnvironmentSpecification;
import org.simantics.scl.compiler.runtime.RuntimeEnvironment;
import org.simantics.scl.compiler.tests.TestBase;
import org.simantics.scl.compiler.types.Type;

public class TestTypeParser {
    
    @Test
    public void testTypeParser() throws Exception {
        EnvironmentSpecification spec = new EnvironmentSpecification();
        spec.importModule("Builtin", "");
        spec.importModule("Prelude", "");
        RuntimeEnvironment runtimeEnvironment =
                TestBase.PRELUDE_MODULE_REPOSITORY.createRuntimeEnvironment(spec, getClass().getClassLoader());
        Environment environment = runtimeEnvironment.getEnvironment();
        Type type = Environments.getType(environment, "String -> <Proc> ()");
        System.out.println(type);
    }
    
}