-/// -*-f#-mode-*-
+/// -*- mode: fsharp-mode; indent-tabs-mode: nil -*-
///
/// F# implementation of a `same-fringe' solver.
// 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
- | 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.
| exc ->
fprintf stderr "%s: %s\n" program_name exc.Message
1
-
+
///----- That's all, folks --------------------------------------------------