caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: ITO Tsuyoshi <tsuyoshi@is.s.u-tokyo.ac.jp>
To: caml-list@inria.fr
Subject: Re: [Caml-list] function type confusion (using let)
Date: Tue, 04 Sep 2001 13:51:08 +0900 (JST)	[thread overview]
Message-ID: <20010904.135108.68540667.tsuyoshi@is.s.u-tokyo.ac.jp> (raw)
In-Reply-To: <20010902225140.A22597@ip178.usw22.rb1.bel.nwlink.com>

From: Michael Leary <leary@nwlink.com>
Subject: Re: [Caml-list] function type confusion (using let)
Date: Sun, 2 Sep 2001 22:51:40 -0700
Message-ID: <20010902225140.A22597@ip178.usw22.rb1.bel.nwlink.com>

> Well, this compiles, but looks funny:
> 
> let normr r =
>   let x = mod_float r pi2 in
>   match x > 0.0 with
>   | true ->
>       if x > pi then
>         -.pi2 +. x
>       else
>         x
>   | false ->
>       if x < -.pi then
>         pi2 +. x
>       else
>         x
> 
> Is there a different way?

I'm not sure if I got what you mean correctly, but I think you can
write:
    let normr r =
      let x = mod_float r pi2 in
      if x > 0.0 then begin
        if x > pi then
          -.pi2 +. x
        else
          x
      end
      else begin
        if x < -.pi then
          pi2 +. x
        else
          x
      end

(Two begin-end pairs are not necessary in the code above but they are
 for readability; in case you are confused by them, just ignore them.)

Of course you can write it in a more straightforward way if you don't
care the order of the tests....
    let normr r =
      let x = mod_float r pi2 in
      if x > pi then
        -.pi2 +. x
      else if x >= -.pi then
        x
      else
        pi2 +. x

-- ITO Tsuyoshi  <tsuyoshi@is.s.u-tokyo.ac.jp> --
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr


  reply	other threads:[~2001-09-04  4:51 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-09-03  5:25 Michael Leary
2001-09-03  5:46 ` Patrick M Doane
2001-09-03  5:53   ` Michael Leary
2001-09-03  5:51 ` Michael Leary
2001-09-04  4:51   ` ITO Tsuyoshi [this message]
2001-09-03  5:55 ` Laurent Chéno
2001-09-03  6:26 FALCON Gilles FTRD/DTL/LAN

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20010904.135108.68540667.tsuyoshi@is.s.u-tokyo.ac.jp \
    --to=tsuyoshi@is.s.u-tokyo.ac.jp \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).