Re: [Haskell] ANNOUNCE: jhc-0.8.1

2014-05-12 Thread Krzysztof Skrzętnicki
Hmm, I'll give it a try, thanks!
As for the other errors for sure there is missing Binary instance for
strict ByteStrings in newest binary package.
Another one is instance for Show (Identity a) which in turn needed to be
commented out because it appeared in newer version of some other package,
don't know which one.
Lastly I get a lot of errors caused by mixing library versions. I *think*
that the problem is that, unlike Cabal, the Makefile specifies -package foo
without specific versions. The result is that, given the fact that I have
more than 1 version of many libraries installed, it tries to build with two
different versions of same library, or so would it seem: 1 is dependency of
other library, the other is from -package specification. I think this is
the case.
This is why I asked for specific versions of all the libraries involved.
The idea was to simply specify *all* of them on command line and/or
Makefile.

Right now I don't have time to replicate the errors, but I will try again
building jhc later.


Best regards,
Krzysztof

On Tue, May 13, 2014 at 5:09 AM, John Meacham  wrote:

> Yeah, there was a bug in the way it detected editline/readline which
> has been fixed in the repo.
>
> You can run configure with --disable-line to work around it. or change
> the word USE_NOLINE to USE_READLINE in src/Util/Interact.hs
>
> always some silly typo that works its way in somewhere. I should stop
> the version number shift and declare it 1.0.0 and use the third digit
> for actual point releases rather than keep the perpetual 0.x.y wasting
> the first digit. but then I can't hide behind the 'beta' shield
> anymore. :)
>
> John
>
> On Mon, May 12, 2014 at 7:56 PM, Jens Petersen
>  wrote:
> > Thank you for the new release. :)
> >
> > On 13 May 2014 04:40, John Meacham  wrote:
> >>
> >> as for the packages i've been testing with
> >>
> >>
> >>
> fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty.
> >
> >
> > and editline ?
> >
> > For me it fails to build on Fedora 20 with the readline package but
> > completes with editline.
> >
> > Krzysztof: maybe try removing or hiding the readline package or posting
> your
> > build error. :)
> >
> > Jens
> >
>
>
>
> --
> John Meacham - http://notanumber.net/
>
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell


Re: [Haskell] ANNOUNCE: jhc-0.8.1

2014-05-12 Thread John Meacham
Yeah, there was a bug in the way it detected editline/readline which
has been fixed in the repo.

You can run configure with --disable-line to work around it. or change
the word USE_NOLINE to USE_READLINE in src/Util/Interact.hs

always some silly typo that works its way in somewhere. I should stop
the version number shift and declare it 1.0.0 and use the third digit
for actual point releases rather than keep the perpetual 0.x.y wasting
the first digit. but then I can't hide behind the 'beta' shield
anymore. :)

John

On Mon, May 12, 2014 at 7:56 PM, Jens Petersen
 wrote:
> Thank you for the new release. :)
>
> On 13 May 2014 04:40, John Meacham  wrote:
>>
>> as for the packages i've been testing with
>>
>>
>> fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty.
>
>
> and editline ?
>
> For me it fails to build on Fedora 20 with the readline package but
> completes with editline.
>
> Krzysztof: maybe try removing or hiding the readline package or posting your
> build error. :)
>
> Jens
>



-- 
John Meacham - http://notanumber.net/
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell


Re: [Haskell] ANNOUNCE: jhc-0.8.1

2014-05-12 Thread Jens Petersen
Thank you for the new release. :)

On 13 May 2014 04:40, John Meacham  wrote:

> as for the packages i've been testing with
>
>
> fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty.
>

and editline ?

For me it fails to build on Fedora 20 with the readline package but
completes with editline.

Krzysztof: maybe try removing or hiding the readline package or posting
your build error. :)

Jens
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell


Re: [Haskell] ANNOUNCE: jhc-0.8.1

2014-05-12 Thread John Meacham
Hi, I need to update that page, I compile it with the ubuntu ghc and
the ubuntu packaged ones. Can you tell me what libraries you are
having issues with? the ./configure should tell you the names of any
that I expected might be an issue, I'll actually update it to check
and report on everything consistently. even ones I expect to come with
ghc. If there are compatibility issues between versions that's a bug I
can fix. (usually just a 'hiding' or explicit import will fix any such
issue)

as for the packages i've been testing with

fgl,regex-compat,bytestring,binary,mtl,containers,unix,utf8-string,zlib,HsSyck,filepath,process,syb,old-time,pretty.
Specific versions should not matter from anything back in ghc 7.2 days
to now, if there is a bug where it won't compile with a version
expected to be found in the wild, please feel free to report it.

John

On Mon, May 12, 2014 at 12:10 PM, Krzysztof Skrzętnicki
 wrote:
> Hello,
>
> I tried compiling jhc from source (compiled version doesn't work on my
> system) but after several attempts I just couldn't find a working set of
> libraries for it. Can you specify which versions of libraries are known to
> work for jhc?
>
> Best regards,
> Krzysztof Skrzętnicki
>
>
> On Sun, May 11, 2014 at 10:20 PM, John Meacham  wrote:
>>
>> After a hiatus, jhc 0.8.1 is released.
>>
>> http://repetae.net/computer/jhc
>>
>> - New license, jhc is now released under a permissive BSD style licence
>> rather
>>   than the GPL. The license is compatible with that of ghc allowing code
>> mixing
>>   between them.
>>
>> - New library layout based around the standards, there are now haskell98
>> and
>>   haskell2010 packages that are guarenteed to be future proof strictly
>>   compatible with the respective standards. A package haskell-extras
>> contains
>>   the additonal libraries from ghc's base.
>>
>> - Native support for complex and vector SIMD primitives, exposed via type
>>   functions. for instance 'foo :: Complex_ Float32_' for hardware
>> accelerated
>>   complex 32 bit floats for instance. These are unboxed only for now, full
>>   library Num support in the works.
>>
>> - support for android as a target, you must install the android NDK to use
>> this.
>>
>> - Support for embedded ARM architectures imported from Kiwamu Okabe's
>> branch
>>   allowing targeting bare hardware with no OS.
>>
>> - user defined kinds, introduced with the 'kind' keyword otherwise looking
>> like
>>   'type' declarations.
>>
>> - export/import lists now allow namespace qualifiers kind, class, type, or
>> data
>>   to explicitly only import or export the specific named entity. As an
>>   extension allowed by this, classes and types no longer are in the same
>>   namespace and can share names.
>>
>> - ForeignPtr's now have working finalizers when collected by the RTS.
>>
>> - CTYPE pragma to allow promoting arbitrary C types to FFIable entities.
>> ___
>> Haskell mailing list
>> Haskell@haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell
>
>



-- 
John Meacham - http://notanumber.net/
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell


Re: [Haskell] ANNOUNCE: jhc-0.8.1

2014-05-12 Thread Krzysztof Skrzętnicki
Hello,

I tried compiling jhc from source (compiled version doesn't work on my
system) but after several attempts I just couldn't find a working set of
libraries for it. Can you specify which versions of libraries are known to
work for jhc?

Best regards,
Krzysztof Skrzętnicki


On Sun, May 11, 2014 at 10:20 PM, John Meacham  wrote:

> After a hiatus, jhc 0.8.1 is released.
>
> http://repetae.net/computer/jhc
>
> - New license, jhc is now released under a permissive BSD style licence
> rather
>   than the GPL. The license is compatible with that of ghc allowing code
> mixing
>   between them.
>
> - New library layout based around the standards, there are now haskell98
> and
>   haskell2010 packages that are guarenteed to be future proof strictly
>   compatible with the respective standards. A package haskell-extras
> contains
>   the additonal libraries from ghc's base.
>
> - Native support for complex and vector SIMD primitives, exposed via type
>   functions. for instance 'foo :: Complex_ Float32_' for hardware
> accelerated
>   complex 32 bit floats for instance. These are unboxed only for now, full
>   library Num support in the works.
>
> - support for android as a target, you must install the android NDK to use
> this.
>
> - Support for embedded ARM architectures imported from Kiwamu Okabe's
> branch
>   allowing targeting bare hardware with no OS.
>
> - user defined kinds, introduced with the 'kind' keyword otherwise looking
> like
>   'type' declarations.
>
> - export/import lists now allow namespace qualifiers kind, class, type, or
> data
>   to explicitly only import or export the specific named entity. As an
>   extension allowed by this, classes and types no longer are in the same
>   namespace and can share names.
>
> - ForeignPtr's now have working finalizers when collected by the RTS.
>
> - CTYPE pragma to allow promoting arbitrary C types to FFIable entities.
> ___
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell


[Haskell] CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming

2014-05-12 Thread Johannes Waldmann
23rd International Workshop
on Functional and (Constraint) Logic Programming

http://www.imn.htwk-leipzig.de/WFLP2014/

colocated with 28th Workshop
on (Constraint) Logic Programming (WLP 2014)

September 15 - 17, at Leucorea conference center
in Lutherstadt Wittenberg, Germany.

***

Dates:

* submission closes: July 1, 2014
* notification: August 1, 2014
* final version due: September 1, 2014
* workshop: September 15 - 17, 2014

***

The international workshops on functional and logic programming aim at
bringing together researchers interested in functional programming,
logic programming, as well as their integration. The workshops on
(constraint) logic programming serve as the scientific forum of the
annual meeting of the Society of Logic Programming (GLP e.V.) and bring
together researchers interested in logic programming, constraint
programming, and related areas like databases, artificial intelligence,
and operations research.

In this year both workshops will be jointly organized and co-located, in
order to promote the cross-fertilizing exchange of ideas and experiences
among researchers and students from the different communities interested
in the foundations, applications, and combinations of high-level,
declarative programming languages and related areas. The technical
program of the workshop will include invited talks, presentations of
refereed papers and demo presentations.

The joint workshop will consist of two tracks (WFLP and WLP). Sessions
of these two tracks will be interleaved.



Topics

The topics of interest include (but are not limited to):

Functional programming
Logic programming
Constraint programming
Deductive databases, data mining
Extensions of declarative languages, objects
Multi-paradigm declarative programming
Foundations, semantics, nonmonotonic reasoning, dynamics
Parallelism, concurrency
Program analysis, abstract interpretation
Program transformation, partial evaluation, meta-programming
Specification, verification, declarative debugging
Knowledge representation, machine learning
Interaction of declarative programming with other formalisms (e.g.,
agents, XML, Java)
Implementation of declarative languages
Advanced programming environments and tools
Software technique for declarative programming
Applications

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, application systems, or interesting experiments (e.g.,
benchmarks) are also encouraged.



Program Committee (WFLP track)

Elvira Albert, Complutense University of Madrid, Spain
Sergio Antoy, Portland State University
Mauricio Ayala-Rincon, University of Brasilia, Brazil
William Byrd, University of Utah
Michael Hanus , Universität Kiel, Germany
Herbert Kuchen, Universität Münster, Germany
Carlos Olarte, DECC, Pontificia Universidad Javeriana Cali, Colombia
Janis Voigtländer, Universität Bonn, Germany
Johannes Waldmann (chair), HTWK Leipzig, Germany
Peter J. Stuckey, NICTA and the University of Melbourne, Australia
René Thiemann, University of Innsbruck, Austria

Organising Committee

Stefan Brass (chair) Universität Halle, Germany




signature.asc
Description: OpenPGP digital signature
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell