diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-09 11:45:57 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-09 11:45:57 +0000 |
| commit | ccfe7fb119aa4aed9b971bd52f72ab0f54df1bf4 (patch) | |
| tree | d96ad696726ae6574c77f85d0908f9f63ef284cf /doc | |
| parent | ce8376885c8edb58ae09b60aa49376b74b070626 (diff) | |
Transfer: changed syntax to remove the mandatory type annotation in let.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/transfer-reference.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/transfer-reference.txt b/doc/transfer-reference.txt index 213e78216..07204ce8e 100644 --- a/doc/transfer-reference.txt +++ b/doc/transfer-reference.txt @@ -158,9 +158,9 @@ argument + 1. To give local definition to some names, use: ``` -let x1 : T1 = exp1 +let x1 = exp1 ... - xn : Tn = expn + xn = expn in exp ``` |