[r2003-07-29 09:58:19 by cvscast] Typo

Original author: cvscast
Date: 2003-07-29 09:58:19+00:00

web/examples/reference.cd

@@ -13,8 +13,10 @@ let fun push(x : Int) : []  =
 let fun pop ([] : []) : Int = 
   match !stack with [x; y] -> stack := y; x | _ -> raise "Empty stack"
 
-(* In [ pattern  ;y] the variable y captures the rest of the *)
-(* sequence. It is equivalent to [pattern y::_*]             *)
+(* In a pattern [ ... ; y] the variable y captures the rest of the *)
+(* sequence. It is equivalent to [ ... y::_*].                     *)
+(* In an expression [ ... ; e ] the expression e denote the tail of*)
+(* the sequence. It is equivaent to [ ... ] @ y *)
 
 ;;