]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 05606cd) | patch
Warn for existential variables in head pattern referred only once 49/2749/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Thu, 28 Feb 2019 12:52:47 +0000 (14:52 +0200)
committerReino Ruusu <reino.ruusu@semantum.fi>
Wed, 6 Mar 2019 12:29:02 +0000 (12:29 +0000)
commit46fc885dc95c6b0aa3c20f6e2c8379d7f0c4aefa
tree0539de76d04a8bd5c4d0c511fdb4a1d8edc8bb88tree | snapshot
parent05606cd41241cd473a102de76a5d0970d7c73af6commit | diff
Warn for existential variables in head pattern referred only once

#265

Change-Id: Ie022bbfb0b1829bc462bf88f44f65009464de096
(cherry picked from commit 413eb9409ab556f22293d28588b39f46d8449718)
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRule.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TranslationContext.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ERecord.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EVar.java diff | blob | history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/VariableProcedure.java diff | blob | history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR4.scl diff | blob | history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR8.scl diff | blob | history
Simantics Platform SDK.