Re: [arch-haskell] For the brave: alternative versioning in testing repo

2015-05-05 Thread Nicola Squartini
A problem raised when I tried to updates my repository:

$ cblrepo add -d Diff,0.3.2_0,1
option -d: Cannot parse 'Diff,0.3.2_0,1' as PKG,VER,REL

Seems like cblrepo doesn't parse the underscore character in the version
field.

On Sun, May 3, 2015 at 9:17 PM, Magnus Therning mag...@therning.org wrote:

 The testing repo now contains the full set of packages, an updated
 cblrepo, and I've made some updates of packages. I'm satisfied with how it
 works so I plan on moving it all over to core shortly.

 /M
 On 1 May 2015 8:56 am, Magnus Therning mag...@therning.org wrote:

 The repo [haskell-testing] now contains all packages from
 [haskell-core] modified according to one of the alternatives for a new
 versioning scheme:

 package name-version_x-rev-release

 All the existing packages have been taken apart, had their meta data
 modified, and then been re-assembled again.

 If you feel brave, please turn on the testing repo and see what issues
 pop up (so far it's worked fine for me).

 /M

 --
 Magnus Therning  OpenPGP: 0xAB4DFBA4
 email: mag...@therning.org   jabber: mag...@therning.org
 twitter: magthe   http://therning.org/magnus

 Java is, in many ways, C++--.
  -- M Feldman


 ___
 arch-haskell mailing list
 arch-haskell@haskell.org
 http://mail.haskell.org/cgi-bin/mailman/listinfo/arch-haskell


___
arch-haskell mailing list
arch-haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/arch-haskell


[Haskell] Summer School on Generic and Effectful Programming

2015-05-05 Thread Maciej Pirog
Call for Participation

  SUMMER SCHOOL ON GENERIC AND EFFECTFUL PROGRAMMING

   St Anne's College, Oxford, 6th to 10th July 2015
 http://www.cs.ox.ac.uk/projects/utgp/school/

TOPIC

Generic programming is a technique that exploits the inherent
structure that exists in data, to automatically produce efficient and
flexible algorithms that can be adapted to suit different needs. The
goal of this school is to explore datatype-generic programming and
related topics from a variety of different angles, emphasizing in
particular the interplay of generics and effects.

This summer school is the closing activity of the EPSRC-funded project
Unifying Theories of Generic Programming at Oxford University.


LECTURERS

Six lecturers from the Programming Languages community, each an
acknowledged expert in their specialism, will cover various aspects of
generic and effectful programming. Each will give about four hours'
lectures, distributed throughout the week.

  Edwin Brady (University of St Andrews)
  Embedded Domain-Specific Languages in Idris

  Fritz Henglein (University of Copenhagen)
  Worst-case Efficient Generic Functional Programming on Bulk Data

  Andres Löh (Well-Typed)
  Applying Type-level and Generic Programming in Haskell

  Conor McBride (University of Strathclyde)
  Datatypes of Datatypes

  Don Syme (Microsoft Research)
  Compile-time Meta-programming for the Information-rich World

  Tarmo Uustalu (Tallinn University of Technology)
  Containers for Effects and Contexts


PREREQUISITES

The school is aimed at doctoral students in programming languages and
related areas; however, researchers and practitioners will be very
welcome, as will strong masters students with the support of a
supervisor. It will be assumed that participants have a good
understanding of typed functional programming, as in Haskell, O'Caml,
or F#.


DATES

Registration deadline: 21st June 2015
School:6th July (9am) to 10th July 2015 (lunchtime)


COSTS

Costs will be kept low, thanks to support from EPSRC. There will be a
nominal registration fee of £135, and BB accommodation in college
will be £75 (ensuite) or £48 (shared bathroom) per night. We can
accept at most 50 participants; places will be allocated on a
first-come, first-served basis.


FURTHER INFORMATION

Further information, including instructions on how to register, is
available at the website:

  http://www.cs.ox.ac.uk/projects/utgp/school/


___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell