On 11/24/2011 08:25 AM, Paul A. Steckler wrote:
For a long while, we've been building software for Windows using the
OCaml MinGW cross-compiler
on Fedora. That tack allows building the software pretty much the same
as it's built for native Linux.
But the OCaml MinGW packages for Linux haven't
Hi,
On 24/11/2011, Sylvain Le Gall sylv...@le-gall.net wrote:
On 24-11-2011, Paul A. Steckler st...@stecksoft.com wrote:
- When trying to build some standard OCaml packages, like cryptokit
and oUnit, the 'configure'
and 'make' steps fail badly. One reason is that 'configure' invokes an
Hi,
On 11/24/2011 07:25 AM, Paul A. Steckler wrote:
For a long while, we've been building software for Windows using the
OCaml MinGW cross-compiler
on Fedora. That tack allows building the software pretty much the same
as it's built for native Linux.
But the OCaml MinGW packages for Linux
Hello.
- You can't login to the MinGW shell to allow remote builds via ssh.
I can get most of the
required functionality by setting environment variables and calling
the MinGW's sh.exe
explicitly, but it would be useful to have instructions on how this should go.
To allow remote builds
Hello
Bad news: it seems that lablqt is in decadance. I'm still planning to
implement inheritance (described
herehttps://github.com/Kakadu/lablqt/wiki/Inheritance),
but there are some problems with proof-of-concept
apphttps://github.com/Kakadu/lablqt/tree/master/inher.
It shows a widget and after
Hi,
Le jeudi 24 novembre 2011 à 18:04 +0400, Kakadu a écrit :
Bad news: it seems that lablqt is in decadance. I'm still planning to
implement inheritance (described here), but there are some problems
with proof-of-concept app. It shows a widget and after pressing any
key it crashes while
Thanks for quick reply.
I have read Jake's camlp4 series carefully, unfortunately it does not cover
my case :-(
On Thu, Nov 24, 2011 at 10:47 AM, Gabriel Scherer gabriel.sche...@gmail.com
wrote:
Camlp4 performs grammar factorizations that make its behavior non
strictly LL(k).
I never
Dear list,
I am trying to use destructive substitution to remove a type alias in an
inclusion. Some module XArray has the following signature:
XArray: sig
type 'a xarray
type 'a t
end
and I would like to remove the 'a t in the resulting signature. I thought
include (XArray : module type
Hi, Joel, camlp4 will do the left factorization automatically.
It's weird because after factorization the order of the rule is changed and
no documentation specify how the rules will be re-organized
2011/11/24 Joel Reymont joe...@gmail.com
Bob,
On Nov 24, 2011, at 3:22 PM, bob zhang wrote:
As a complement to my previous message, here is a minimal (well, short!)
example displaying the behavior I cannot go around:
8--- example starts here
module type XARRAY =
sig
type 'a xarray
type 'a t = 'a xarray
end
module XArray : XARRAY =
struct
type 'a xarray = 'a
type 'a t
Here is how I understand the situation:
module type XARRAY =
sig
type 'a xarray
type 'a t = 'a xarray
end
(XArray : XARRAY with type 'a t := 'a XArray.xarray )
Type declarations do not match:
type 'a t = 'a XArray.xarray
is not included in
type 'a t = 'a
Hello Gabriel,
thank you for your much useful answer!
Gabriel Scherer wrote:
When you seal a module with a signature that has an abstract type (the
type ('a xarray) in the XARRAY signature), you get a fresh abstract
type is a result.
I think I did not analyse adequately the situation because I
12 matches
Mail list logo
