Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
39db6729
Commit
39db6729
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-07-30 13:53:12 by cvscast] Empty log message
Original author: cvscast Date: 2003-07-30 13:53:12+00:00
parent
b72ae671
Changes
2
Hide whitespace changes
Inline
Side-by-side
driver/examples.ml
View file @
39db6729
...
...
@@ -367,10 +367,11 @@ let fun push(x : Int) : [] =
let fun pop ([] : []) : Int =
match !stack with [x ; y] -> stack := y; x | _ -> raise
\"
Empty stack
\"
(* In a pattern [ ... ; y] the variable y captures the tail of the *)
(* sequence. It is equivalent to [ ... y::_*]. *)
(* In an expression [ ... ; e ] the expression e denotes the tail *)
(* of the sequence. It is equivalent to [ ... ] @ e *)
(* In a pattern [ ... ; y] the variable y captures the tail *)
(* of the sequence. It is equivalent to [ ... y::_*]. *)
(* In an expression [ ... ; e ] the expression e denotes the *)
(* tail of the sequence. It is equivalent to [ ... ] @ e *)
;;
...
...
web/examples/reference.cd
View file @
39db6729
...
...
@@ -14,10 +14,10 @@ let fun pop ([] : []) : Int =
match !stack with [x; y] -> stack := y; x | _ -> raise "Empty stack"
(* In a pattern [ ... ; y] the variable y captures the tail
of the
*)
(* sequence. It is equivalent to [ ... y::_*].
*)
(* In an expression [ ... ; e ] the expression e denotes the
tail
*)
(* of the sequence. It is equivalent to [ ... ] @ e
*)
(* In a pattern [ ... ; y] the variable y captures the tail *)
(*
of the
sequence. It is equivalent to [ ... y::_*]. *)
(* In an expression [ ... ; e ] the expression e denotes the *)
(*
tail
of the sequence. It is equivalent to [ ... ] @ e *)
;;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment