[Ur] Ur Digest, Vol 39, Issue 7

[Lance Hepler]

Hi Adam! Thanks for these! Seems I jumped the gun on the correct
AM_PROG_AR pragma (for backwards compatibility):

A patch to resolve this is attached (use m4_ifdef instead of
m4_pattern_allow...) With this change, it works exactly as I'd expect.
=)

Again, thanks!

>>==============================

Tony Hoare on software architecture:

"There are two ways of constructing a software design:
One way is to make it so simple
that there are obviously no deficiencies,
and the other way is to make it so complicated
that there are no obvious deficiencies.
The first method is far more difficult."


On Sun, May 13, 2012 at 9:00 AM, <ur-request at impredicative.com> wrote:
>
> Send Ur mailing list submissions to
>        ur at impredicative.com
>
> To subscribe or unsubscribe via the World Wide Web, visit
>        http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
> or, via email, send a message with subject or body 'help' to
>        ur-request at impredicative.com
>
> You can reach the person managing the list at
>        ur-owner at impredicative.com
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Ur digest..."
>
>
> Today's Topics:
>
>   1. New release (Adam Chlipala)
>   2. Issues with automake 1.12 (Lance Hepler)
>   3. Re: Issues with automake 1.12 (Adam Chlipala)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Sat, 12 May 2012 12:09:55 -0400
> From: Adam Chlipala <adamc at impredicative.com>
> To: The Ur programming language <ur at impredicative.com>
> Subject: [Ur] New release
> Message-ID: <4FAE8B53.3000702 at impredicative.com>
> Content-Type: text/plain; charset=ISO-8859-1; format=flowed
>
> Available as usual at: http://www.impredicative.com/ur/
>
> CHANGELOG for this release:
>
> - New support for CSS style code embedded in Ur/Web programs.
>   Two recommended usage methods:
>   1. Use 'style' attributes with normal CSS syntax inside string literals.
>   2. Generate styles programmatically with the Style module of the Gui
> library
>      (distributed separately).
> - 'dynStyle' attribute, which is to 'style' as 'dynClass' is to 'class'
> - Parsing of standard syntax for 'class' attributes, via specially
> interpreted
>   string literals
> - New optional suffix for 'rewrite' in .urp files: [-]
> - Compiler error message improvements, including simplification of types
> - New command line parameters: '-boot', '-dumpTypesOnError', '-unifyMore'
> - New .urp directives: 'linker'
> - Support for speeding up compilation by caching type inference results:
>   Run 'urweb daemon start' to spawn a background process,
>   'urweb daemon stop' to kill it.
> - Enforcement of uniqueness of top-level module names across a project
> - Adjust error message format to match Emacs compilation mode defaults
> - More HTML attributes added
> - New antiquote syntax for 'PRIMARY KEY'
> - Bug fixes and improvements to type inference and platform compatibility
>
>
>
>
> ------------------------------
>
> Message: 2
> Date: Sat, 12 May 2012 12:08:31 -0700
> From: Lance Hepler <nlhepler at gmail.com>
> To: ur <ur at impredicative.com>
> Subject: [Ur] Issues with automake 1.12
> Message-ID:
>
>  <CAE0u2M7CqBOffgbbDcWMLc1o5hw6_Ha0i-OdJKaO-ANFmwMePA at mail.gmail.com>
> Content-Type: text/plain; charset="utf-8"
>
> Hello ladies and gents,
>
> I propose one of the two following patches for configure.ac and/or
> Makefile.am to deal with issues in automake 1.12:
>
> Both patches add the AM_PROG_AR pragma which automake 1.12 seems to
> require.
>
> The first patch just adds a -Wno-portability flag to AM_INIT_AUTOMAKE to
> prevent "warning: ':='-style assignments are not portable" errors. The
> latter actually just patches the uses of := in Makefile.am, addressing the
> warnings presented. Not wanting to make stylistic choices, I provide both
> patches here.
>
> Best,
>
> Lance
>
> >>==============================
>
> Tony Hoare on software architecture:
>
> "There are two ways of constructing a software design:
> One way is to make it so simple
> that there are obviously no deficiencies,
> and the other way is to make it so complicated
> that there are no obvious deficiencies.
> The first method is far more difficult."
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL:
> <http://www.impredicative.com/pipermail/ur/attachments/20120512/b48a5c30/attachment-0001.html>
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: wno-portability.diff
> Type: application/octet-stream
> Size: 606 bytes
> Desc: not available
> URL:
> <http://www.impredicative.com/pipermail/ur/attachments/20120512/b48a5c30/attachment-0002.obj>
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: fix-makefile.diff
> Type: application/octet-stream
> Size: 1052 bytes
> Desc: not available
> URL:
> <http://www.impredicative.com/pipermail/ur/attachments/20120512/b48a5c30/attachment-0003.obj>
>
> ------------------------------
>
> Message: 3
> Date: Sat, 12 May 2012 15:24:06 -0400
> From: Adam Chlipala <adamc at impredicative.com>
> To: The Ur programming language <ur at impredicative.com>
> Subject: Re: [Ur] Issues with automake 1.12
> Message-ID: <4FAEB8D6.809 at impredicative.com>
> Content-Type: text/plain; charset=ISO-8859-1; format=flowed
>
> Lance Hepler wrote:
> > I propose one of the two following patches for configure.ac
> > <http://configure.ac/> and/or Makefile.am to deal with issues in
> > automake 1.12:
> >
> > Both patches add the AM_PROG_AR pragma which automake 1.12 seems to
> > require.
> >
> > The first patch just adds a -Wno-portability flag to AM_INIT_AUTOMAKE
> > to prevent "warning: ':='-style assignments are not portable" errors.
> > The latter actually just patches the uses of := in Makefile.am,
> > addressing the warnings presented. Not wanting to make stylistic
> > choices, I provide both patches here.
>
> Thanks for the suggestions!  I went with the second one.  Could you
> please check that the changeset I've pushed to the public repo does what
> you want?
>
>
>
> ------------------------------
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
>
> End of Ur Digest, Vol 39, Issue 7
> *********************************
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix_am_prog_ar.diff
Type: application/octet-stream
Size: 414 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20120513/d51f54e3/attachment.obj>