caml-list - the Caml user's mailing list
 help / Atom feed
From: Hendrik Boom <hendrik@topoi.pooq.com>
To: Ocaml Mailing List <caml-list@inria.fr>
Subject: [Caml-list] An awkwardness with type parameters
Date: Tue, 26 Feb 2019 01:23:41 -0500
Message-ID: <20190226062341.t35u2tz5tole2jyv@topoi.pooq.com> (raw)

I have a (broken) function definition starting:

let mixfix : 'token1 'phrase1.
  ('token1, 'phrase1, ('token1, 'phrase1) Phrasestream.phrasestream) grammar
        -> ('token1, 'phrase1) parser
   =  fun gram -> (
  ...

It goes o for a hundred-odd lines.
The type-parameterized types Phrasestream.phrasestream, grammar, and parser   
have been previously defined, and there are also operations defined on these
types.

The problem I'm having is that the OCaml type-checker ends up identifying
the type parameters 'token1 an 'phrase1 because of type errors I've made in
the body of the mixfix function.  Somewhere I ended up using an
operator that's supposed to work on values of type 'token1
on a value of type 'phrase1 instead, and identification of 'token1 and 
'phrase1 is the natural result.

Is there some way of forcing the type checker to treat 'token1 and 
'phrase1 as different types so that I can get meaningful type errors
at the point were they occur?

With the present setup I only get type violation messages much later, 
when I try to use the mixfix function.  It's far too late to trace the 
problem back to the actual error by that time.

-- hendrik



             reply index

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-02-26  6:24 Hendrik Boom [this message]
2019-02-26  6:39 ` Jacques Garrigue
2019-02-27  2:00   ` Hendrik Boom
2019-02-27  3:46     ` Jacques Garrigue
2019-02-27 18:21   ` Hendrik Boom

Reply instructions:

You may reply publically 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=20190226062341.t35u2tz5tole2jyv@topoi.pooq.com \
    --to=hendrik@topoi.pooq.com \
    --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

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox