(refs #7588) Support for existential type variables with syntax ?v 71/1171/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 1 Nov 2017 07:11:18 +0000 (09:11 +0200)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 1 Nov 2017 07:11:18 +0000 (09:11 +0200)
commit4c2fb8fefbdec1856e160dc24b6498aa4bd5eb48
treee313195e1f4691f92031d677fe0f8c696f00a49f
parentaca33ac9ec17d1555f6413edaa339ad3692e29bb
(refs #7588) Support for existential type variables with syntax ?v

Change-Id: I418a9d260c02c7082e7a7359b90659ea2c3a96d4
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TypeTranslationContext.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TVarAst.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/TypeElaborationContext.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/ast/TVarAst.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Types.java
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/InitialRepository.java
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/experimentation/TestExistential.java [new file with mode: 0644]