[Caml-list] ignore in postfix position

[Gerd Stolpmann <info@gerd-stolpmann.de>]

[-- Attachment #1.1: Type: text/plain, Size: 971 bytes --]

Hi list,

the "ignore" function behaves specially when applied to a partial function:

# ignore (fun _ -> ());;
Warning 5: this function application is partial,
maybe some arguments are missing.

This very useful warning is not emitted, however, when I switch to a
slight variation, like:

# (fun _ -> ()) |> ignore

I like this post-fix syntax more than the original because "ignore"
isn't then as distracting, but it's a pity that the warning can no
longer be generated. I am wondering whether this behavior is deeply
anchored in the inference engine or whether this is improvable.

Gerd

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 488 bytes --]