]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 036b555) | patch
Warn for existential variables in head pattern referred only once 37/2737/5
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Thu, 28 Feb 2019 12:52:47 +0000 (14:52 +0200)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 1 Mar 2019 09:01:08 +0000 (11:01 +0200)
commit413eb9409ab556f22293d28588b39f46d8449718
tree85663b287648a70dede29bfd47aa2aacbfcdf965tree | snapshot
parent036b555cbdd43f284be4818de93f11fdddf6d9f2commit | diff
Warn for existential variables in head pattern referred only once

#265

Change-Id: Ie022bbfb0b1829bc462bf88f44f65009464de096
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.