[Nice-commit] Nice/src/bossa/parser Parser.jj,1.249,1.250

[Arjan B. <ar...@us...>]

Update of /cvsroot/nice/Nice/src/bossa/parser
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv31507/F:/nice/src/bossa/parser

Modified Files:
	Parser.jj 
Log Message:
Added warnings for using the old pattern syntax.

Index: Parser.jj
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/parser/Parser.jj,v
retrieving revision 1.249
retrieving revision 1.250
diff -C2 -d -r1.249 -r1.250
*** Parser.jj	28 Jul 2004 14:40:34 -0000	1.249
--- Parser.jj	28 Jul 2004 21:23:39 -0000	1.250
***************
*** 1291,1303 ****
      val=patternLiteral() { loc = val.location(); }
    |
!     "@" tc=typeIdent() { loc = tc.location(); }
    |
      name=ident()
      (
!       "@"
        tc=typeIdent()
        [ ":" runtimeTC=typeConstructor() ]
      |
!       "#" tc=typeIdent() { exactlyAt = true; }
      |
        ( ">" {kind = Pattern.GT;}
--- 1291,1309 ----
      val=patternLiteral() { loc = val.location(); }
    |
!     "@" tc=typeIdent() 
!     { loc = tc.location();
!       User.warning(loc, "This syntax is deprecated, use 'Type paramName' instead.");
!     }
    |
      name=ident()
      (
!       "@" { User.warning(name.location(), "This syntax is deprecated, use 'Type paramName' instead."); }
        tc=typeIdent()
        [ ":" runtimeTC=typeConstructor() ]
      |
!       "#" tc=typeIdent() 
!       { exactlyAt = true; 
!         User.warning(name.location(), "This syntax is deprecated, use '#Type paramName' instead.");
!       }
      |
        ( ">" {kind = Pattern.GT;}