]> gerrit.simantics Code Review - simantics/platform.git/commit - bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TypingContext.java
(refs #7498) Bugfixing implementation of skeleton refs 07/1007/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 20 Sep 2017 15:29:53 +0000 (18:29 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 20 Sep 2017 15:29:53 +0000 (18:29 +0300)
commit0f7240a0acfa7446366249398e46237fe0e6e1eb
treefa7945bafbbe07cdbfade7376d84e1b1c996f1a8
parent5536381cedce74d388a4a9a61cadb54406beff0a
(refs #7498) Bugfixing implementation of skeleton refs

Change-Id: If396a5e40fdcb08ce0911115ac44fb516fc2bea7
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TypingContext.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EAmbiguous.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Skeletons.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/TMetaVar.java
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FoldMissingInitialValue.scl
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/PolymorphicRecursion.scl
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Record3.scl [new file with mode: 0644]
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/TypeInferenceBug2.scl