-
duplicate of #2900427.
2009-11-20 12:25:27 UTC by jbendisposto
-
Bugs of the same kind have been fixed while treating bug 2884753.
A log (Help > About > Configuration Details > View Error log) and / or the model will help to confirm (or not) that this one is fixed too.
2009-11-20 10:06:11 UTC by nicolas_beauger
-
Bug reproduced.
Priority increased to 6.
2009-11-20 09:44:43 UTC by nicolas_beauger
-
That problem also occured in the development of feature request 2894692.
(Linux, JRE 5, Rodin1.1)
2009-11-20 09:12:19 UTC by wohuai
-
The following is parsed and type checked:
(λ x↦x·⊤ ∣ x+0) ∈ ℤ × ℤ → ℤ
It should be rejected by the static analyser, because x appears more than once in the pattern x|->x.
2009-11-20 09:10:10 UTC by wohuai
-
spooky23 committed revision 7819 to the RODIN SVN repository, changing 6 files.
2009-11-19 18:04:58 UTC by spooky23
-
nicolas_beauger committed revision 7818 to the RODIN SVN repository, changing 14 files.
2009-11-19 17:49:05 UTC by nicolas_beauger
-
Hello,
Could you please attach your model so that we can investigate on the bug ?.
2009-11-19 16:17:30 UTC by nicolas_beauger
-
snursmumrik committed revision 7817 to the RODIN SVN repository, changing 1 files.
2009-11-19 16:03:07 UTC by snursmumrik
-
clabaut committed revision 7816 to the RODIN SVN repository, changing 2 files.
2009-11-19 14:55:11 UTC by clabaut