Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a

To: Adrian Bunk <bunk@debian.org>
Cc: Debian Bug Tracking System <submit@bugs.debian.org>, 868606@bugs.debian.org
Subject: Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a
From: Hendrik Tews <hendrik@askra.de>
Date: Mon, 17 Jul 2017 09:24:01 +0200
Message-id: <[🔎] 87d18zbk6m.fsf@elite.askra.de>
Reply-to: Hendrik Tews <hendrik@askra.de>, 868606@bugs.debian.org
In-reply-to: <[🔎] 150024826039.7194.12267095019681999378.reportbug@localhost> (Adrian Bunk's message of "Mon, 17 Jul 2017 02:37:40 +0300")
References: <[🔎] 150024826039.7194.12267095019681999378.reportbug@localhost>

> Some recent change in unstable make hol-light FTBFS:

I blame the new camlp5 version for this. I have to see if
upstream supports camlp5 version 7 already.

Hendrik

Reply to:

References:
- Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a
  - From: Adrian Bunk <bunk@debian.org>

Prev by Date: Processed: tagging 867104
Next by Date: Processed: Re: Bug#868631: sks FTBFS: No implementations provided for module Z referenced from cryptokit.cmxa
Previous by thread: Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a
Next by thread: Processed: tagging 867104
Index(es):
- Date
- Thread