[Rodin-commit] SF.net SVN: rodin-b-sharp:[16771] trunk/Generic_Instantiation/ ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/ internal/core/sc

[Commits f. t. S. r. <rod...@li...>]

Revision: 16771
          http://sourceforge.net/p/rodin-b-sharp/svn/16771
Author:   gverdier
Date:     2025-02-27 10:34:26 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix typing error

If getPatternType() or getParameterisationInfo() finds a powerset type,
it must return it, not the base type. As it was, it indicated that the
type of a carrier set S was S, which crashed the static checker: it has
to be POW(S).

Modified Paths:
--------------
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/ParameterisationInfo.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/PatternInfo.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.