OCaml Forge
SCM

Detail: [#1346] Under debian testing darcs version of melt does not compile with mlpost support

Bugs: Browse | Download .csv | Monitor

[#1346] Under debian testing darcs version of melt does not compile with mlpost support

Date:
2013-11-13 14:51
Priority:
3
State:
Open
Submitted by:
Pierre Boutillier (pirbo)
Assigned to:
Nobody (None)
Hardware:
DEC
Resolution:
Accepted As Bug
Severity:
critical
Version:
None
Component:
None
Operating System:
Linux
Product:
None
 
URL:
Summary:
Under debian testing darcs version of melt does not compile with mlpost support

Detailed description
I have installed debian packages of mlpost 0.8.1-3

This is not enouth to get mlpost support. Compilation complains with

+ /usr/bin/ocamlc.opt -c -I /usr/lib/ocaml/mlpost -I /usr/lib/ocaml/bitstring -I /usr/lib/ocaml/cairo -I melt -I prelude -I meltpp -I latex -o melt/mlpost_specific.cmo melt/mlpost_specific.ml
File "melt/mlpost_specific.ml", line 77, characters 2-29:
Error: Unbound module Mlpost.Defaults
Command exited with code 2.

And then if you comment this line :

+ /usr/bin/ocamlc.opt -c -I /usr/lib/ocaml/mlpost -I /usr/lib/ocaml/bitstring -I /usr/lib/ocaml/cairo -I melt -I prelude -I meltpp -I latex -o melt/mlpost_specific.cmo melt/mlpost_specific.ml
File "melt/mlpost_specific.ml", line 68, characters 14-53:
Error: The type of this expression, (string * '_a) list Latex.variable,
contains type variables that cannot be generalized
Command exited with code 2.

Is that expected ?

Followup

Message
Date: 2013-11-14 09:37
Sender: Romain Bardou

Thanks for the bug report. It's weird that I don't have this problem from my end!

I pushed a patch which should solve your second issue (by adding a type annotation to avoid the generalization problem). You still need to comment the line with Mlpost.Defaults if you don't have the Git version of Mlpost.

This also makes me realize that until the current Git version of Mlpost is released, no release of Melt can be doneā€¦ Or at least we'll need to remove the call to set_prelude.

Attached Files:

Changes:

Field Old Value Date By
ResolutionNone2013-11-14 09:37doomeer