[Nice-commit] Nice/src/bossa/syntax typecheck.nice,1.56,1.57 analyse.nice,1.57,1.58
Brought to you by:
bonniot
|
From: <bo...@us...> - 2003-04-05 11:32:27
|
Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1:/tmp/cvs-serv4184/src/bossa/syntax
Modified Files:
typecheck.nice analyse.nice
Log Message:
Use the new syntax for null patterns.
Index: typecheck.nice
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/typecheck.nice,v
retrieving revision 1.56
retrieving revision 1.57
diff -C2 -d -r1.56 -r1.57
*** typecheck.nice 14 Mar 2003 19:44:51 -0000 1.56
--- typecheck.nice 5 Apr 2003 11:32:23 -0000 1.57
***************
*** 28,32 ****
****************************************************************/
! typecheck(@null(Expression)) {}
typecheck(e@AssignExp)
--- 28,32 ----
****************************************************************/
! typecheck(null(Expression)) {}
typecheck(e@AssignExp)
***************
*** 516,520 ****
****************************************************************/
! typecheck(@null(Statement)) {}
typecheck(b@Block)
--- 516,520 ----
****************************************************************/
! typecheck(null(Statement)) {}
typecheck(b@Block)
Index: analyse.nice
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/analyse.nice,v
retrieving revision 1.57
retrieving revision 1.58
diff -C2 -d -r1.57 -r1.58
*** analyse.nice 13 Mar 2003 23:19:41 -0000 1.57
--- analyse.nice 5 Apr 2003 11:32:24 -0000 1.58
***************
*** 206,210 ****
analyse(e@Expression, i) = e;
! analyse(@null(Expression), info) = null;
void setInitialized (Block.LocalVariable.Symbol v, Info info)
--- 206,210 ----
analyse(e@Expression, i) = e;
! analyse(null(Expression), info) = null;
void setInitialized (Block.LocalVariable.Symbol v, Info info)
***************
*** 530,534 ****
analyse(s@Statement, info) {}
! analyse(s@null(Statement), info) {}
analyse(de...@Bl..., info)
--- 530,534 ----
analyse(s@Statement, info) {}
! analyse(null(Statement), info) {}
analyse(de...@Bl..., info)
|