]> gerrit.simantics Code Review - simantics/platform.git/commit
(refs #7250) Error messages for undefined existentials 92/592/2
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 2 Jun 2017 17:06:29 +0000 (20:06 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 2 Jun 2017 18:09:38 +0000 (21:09 +0300)
commit9a17c7c202c7104631fa5d899a4583a0cc2ad6ac
tree197d1d0983dbb5a09400f63c59e8b79ff2a9ba60
parent00119bc6c509134e985c11ad4f6aff37801adc3f
(refs #7250) Error messages for undefined existentials

Change-Id: Iaddc3d0536350eef85086b0a73a5c1b08055398c
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRule.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TranslationContext.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/source/TextualModuleSource.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/CHR7.scl [new file with mode: 0644]
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR8.scl [new file with mode: 0644]