]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: aca33ac) | patch
(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
treee313195e1f4691f92031d677fe0f8c696f00a49ftree | snapshot
parentaca33ac9ec17d1555f6413edaa339ad3692e29bbcommit | diff
(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 diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TVarAst.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/TypeElaborationContext.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/ast/TVarAst.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Types.java diff | blob | history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/InitialRepository.java diff | blob | history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/experimentation/TestExistential.java [new file with mode: 0644] blob
Simantics Platform SDK.