~mdw
/
fringe
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
go-fringe.go: Remove all of the `;' statement terminators.
[fringe]
/
f#-fringe.fs
diff --git
a/f#-fringe.fs
b/f#-fringe.fs
index
33e8f4d
..
7cd5412
100644
(file)
--- a/
f#-fringe.fs
+++ b/
f#-fringe.fs
@@
-1,4
+1,4
@@
-/// -*-fsharp-
mode-
*-
+/// -*-fsharp-*-
///
/// F# implementation of a `same-fringe' solver.
///
/// F# implementation of a `same-fringe' solver.
@@
-41,16
+41,11
@@
let list_iterator it = it |> fold_iterator (curry List.Cons) [] |> List.rev
// Asnwer whether two iterators report the same items.
let rec same_iterators_p ita itb =
match next ita with
// Asnwer whether two iterators report the same items.
let rec same_iterators_p ita itb =
match next ita with
- | None ->
- match next itb with
- | None -> true
- | _ -> false
+ | None -> Option.isNone(next itb)
| Some (a, ita) ->
match next itb with
| Some (a, ita) ->
match next itb with
- | None -> false
- | Some (b, itb) ->
- if a = b then same_iterators_p ita itb
- else false
+ | Some (b, itb) when a = b -> same_iterators_p ita itb
+ | _ -> false
///--------------------------------------------------------------------------
/// Nodes and trees.
///--------------------------------------------------------------------------
/// Nodes and trees.
@@
-119,5
+114,5
@@
let main args =
| exc ->
fprintf stderr "%s: %s\n" program_name exc.Message
1
| exc ->
fprintf stderr "%s: %s\n" program_name exc.Message
1
-
+
///----- That's all, folks --------------------------------------------------
///----- That's all, folks --------------------------------------------------