From: Hannu Niemistö Date: Fri, 1 Mar 2019 12:45:56 +0000 (+0000) Subject: Merge "Warn for existential variables in head pattern referred only once" X-Git-Tag: v1.43.0~136^2~184 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=fcb5a762af707ecef245fb3b83a36e8b24bc4b47;p=simantics%2Fplatform.git Merge "Warn for existential variables in head pattern referred only once" --- fcb5a762af707ecef245fb3b83a36e8b24bc4b47