ALF 1.0 FTF Avatar
  1. OMG Issue

ALF_ — Derivation of LocalNameDeclaration::type

Open Closed All
  • Key: ALF_-47
  • Legacy Issue Number: 16464
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    Subclause: 14.2.15

    The localNameDeclarationTypeDerivation requires the type of the statement to be the type of the expression if no type name is given. However, this is not correct, since the only way that the type name could be empty is if it is given as “any”, in which case the local name should be untyped.
  • Reported: ALF 1.0b2 — Fri, 29 Jul 2011 04:00 GMT
  • Disposition: Resolved — ALF 1.0
  • Disposition Summary:

    agreed
  • Updated: Fri, 6 Mar 2015 21:48 GMT