Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[minor] matching: rename Non_empty_clause.{map_head => map_first}

master
Gabriel Scherer 2019-08-19 11:43:47 +02:00
parent e880ec3323
commit 54b79d3b27
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lambda/matching.ml
View File

@ -168,7 +168,7 @@ module Non_empty_clause = struct
| [], _ -> assert false
| pat :: patl, act -> ((pat, patl), act)
let map_head f ((p, patl), act) = ((f p, patl), act)
let map_first f ((p, patl), act) = ((f p, patl), act)
end
type simple_view =
@ -1116,7 +1116,7 @@ let safe_before ((p, ps), act_p) l =
let half_simplify_nonempty ~arg (cls : Typedtree.pattern Non_empty_clause.t) :
Half_simple.clause =
cls |> Non_empty_clause.map_head General.view |> Half_simple.of_clause ~arg
cls |> Non_empty_clause.map_first General.view |> Half_simple.of_clause ~arg
let half_simplify_clause ~arg (cls : Typedtree.pattern list clause) =
cls |> Non_empty_clause.of_initial |> half_simplify_nonempty ~arg