File tree Expand file tree Collapse file tree 2 files changed +9
-9
lines changed Expand file tree Collapse file tree 2 files changed +9
-9
lines changed Original file line number Diff line number Diff line change 1
1
---
2
- refs/heads/master: 727970c2309d6451f501f248f8100c72649ccece
2
+ refs/heads/master: e2d36e00ce2b58272b52a5c1f999b0bcb61d066b
Original file line number Diff line number Diff line change @@ -1990,22 +1990,22 @@ module system).
1990
1990
An example of a @code {tag } item and its use:
1991
1991
@example
1992
1992
tag animal @{
1993
- dog() ;
1994
- cat() ;
1993
+ dog;
1994
+ cat;
1995
1995
@}
1996
1996
1997
- let animal a = dog() ;
1998
- a = cat() ;
1997
+ let animal a = dog;
1998
+ a = cat;
1999
1999
@end example
2000
2000
2001
2001
An example of a @emph {recursive } @code {tag } item and its use:
2002
2002
@example
2003
2003
tag list[T] @{
2004
- nil() ;
2004
+ nil;
2005
2005
cons(T, @@ list[T]);
2006
2006
@}
2007
2007
2008
- let list[int] a = cons(7, cons(13, nil() ));
2008
+ let list[int] a = cons(7, cons(13, nil));
2009
2009
@end example
2010
2010
2011
2011
@@ -3401,9 +3401,9 @@ control enters the block.
3401
3401
An example of a pattern @code {alt } statement:
3402
3402
3403
3403
@example
3404
- type list[X] = tag(nil() , cons(X, @@ list[X]));
3404
+ type list[X] = tag(nil, cons(X, @@ list[X]));
3405
3405
3406
- let list[int] x = cons(10, cons(11, nil() ));
3406
+ let list[int] x = cons(10, cons(11, nil));
3407
3407
3408
3408
alt (x) @{
3409
3409
case (cons(a, cons(b, _))) @{
You can’t perform that action at this time.
0 commit comments