114.01+04
This commit is contained in:
parent
d0825b3b19
commit
ea17c43e1c
2
_oasis
2
_oasis
@ -2,7 +2,7 @@ OASISFormat: 0.4
|
|||||||
OCamlVersion: >= 4.02.3
|
OCamlVersion: >= 4.02.3
|
||||||
FindlibVersion: >= 1.3.2
|
FindlibVersion: >= 1.3.2
|
||||||
Name: ppx_let
|
Name: ppx_let
|
||||||
Version: 113.43+70
|
Version: 114.01+04
|
||||||
Synopsis: Monadic let-bindings
|
Synopsis: Monadic let-bindings
|
||||||
Authors: Jane Street Group, LLC <opensource@janestreet.com>
|
Authors: Jane Street Group, LLC <opensource@janestreet.com>
|
||||||
Copyrights: (C) 2015-2016 Jane Street Group LLC <opensource@janestreet.com>
|
Copyrights: (C) 2015-2016 Jane Street Group LLC <opensource@janestreet.com>
|
||||||
|
@ -63,7 +63,7 @@ let bind_apply ~loc extension_name ~arg ~fn =
|
|||||||
in
|
in
|
||||||
pexp_apply ~loc
|
pexp_apply ~loc
|
||||||
(eoperator ~loc (Extension_name.operator_name extension_name))
|
(eoperator ~loc (Extension_name.operator_name extension_name))
|
||||||
[("", arg); (fn_label, fn)]
|
[(Nolabel, arg); (Labelled fn_label, fn)]
|
||||||
;;
|
;;
|
||||||
|
|
||||||
let maybe_open extension_name ~to_open:module_to_open expr =
|
let maybe_open extension_name ~to_open:module_to_open expr =
|
||||||
@ -89,7 +89,7 @@ let expand_let extension_name ~loc bindings body =
|
|||||||
ppat_tuple ~loc [p; acc])
|
ppat_tuple ~loc [p; acc])
|
||||||
in
|
in
|
||||||
bind_apply ~loc extension_name ~arg:nested_boths
|
bind_apply ~loc extension_name ~arg:nested_boths
|
||||||
~fn:(pexp_fun ~loc "" None nested_patterns body)
|
~fn:(pexp_fun ~loc Nolabel None nested_patterns body)
|
||||||
;;
|
;;
|
||||||
|
|
||||||
let expand_match extension_name ~loc expr cases =
|
let expand_match extension_name ~loc expr cases =
|
||||||
|
@ -13,6 +13,6 @@ end
|
|||||||
let _ = [%map_open let x = return 42 and y = f 42 in ()]
|
let _ = [%map_open let x = return 42 and y = f 42 in ()]
|
||||||
[%%expect{|
|
[%%expect{|
|
||||||
Line _, characters 45-49:
|
Line _, characters 45-49:
|
||||||
Error: This expression has type doc:bytes -> (int * bytes) Let_syntax.t
|
Error: This expression has type doc:string -> (int * string) Let_syntax.t
|
||||||
but an expression was expected of type 'a Let_syntax.t
|
but an expression was expected of type 'a Let_syntax.t
|
||||||
|}]
|
|}]
|
||||||
|
Loading…
Reference in New Issue
Block a user