g-wrap: web pages, online manual pages updated

2014-10-07 Thread David Pirotte
Hello, I have uploaded the new version of the manual on g-wrap's web site Cheers, David signature.asc Description: PGP signature

Re: Verifying Toolchain Semantics

2014-10-07 Thread Ian Grant
On Mon, Oct 6, 2014 at 12:23 AM, Mike Gerwitz wrote: > On Sun, Oct 05, 2014 at 12:11:00PM -0400, Ian Grant wrote: >> > As has been stated---your concerns are substantiated and understood, >> >> I wasn't aware that my concerns _have_ been substantiated. How? I am >> not sure they have been understo

Re: Verifying Toolchain Semantics

2014-10-07 Thread Mark H Weaver
Ian, please stop posting to guile-devel. You've made your points, and I've even called attention to what I think is the best exposition of your ideas. At this point you're just repeating yourself and hurling gratuitous insults. Enough! Mark

Re: Verifying Toolchain Semantics

2014-10-07 Thread Ian Grant
On Tue, Oct 7, 2014 at 1:28 PM, Mark H Weaver wrote: > Ian, please stop posting to guile-devel. You've made your points, and > I've even called attention to what I think is the best exposition of > your ideas. At this point you're just repeating yourself and hurling > gratuitous insults. Enough

Simple hash table macro

2014-10-07 Thread Thompson, David
Hello Guile hackers, In the last release, a procedure called 'alist->hash-table' was introduced to provide a convenient way to convert an alist into a hash table. (use-modules (ice-9 hash-table)) (define myhash (alist->hash-table '(("parrots" . "nuts") ("monkeys" . "bananas")

Re: [Lightning] Verifying Toolchain Semantics

2014-10-07 Thread Ian Grant
On Tue, Oct 7, 2014 at 3:24 PM, Philip Herron wrote: > I think what we want is your posts really are not 100% related to > development of the respective development. Its flooding mailboxes. Yes, well, mailboxes get flooded ... Haven't you got a kill list, or a filter that says "Ian Grant's crap."

Re: [Lightning] Verifying Toolchain Semantics

2014-10-07 Thread Philip Herron
I think what we want is your posts really are not 100% related to development of the respective development. Its flooding mailboxes. If you want to contribute, open source is a meritocracy we don't really hold meetings talking about ideas. You implement something and it goes from there. Your proba

A "Warning" from Ian Grant

2014-10-07 Thread Mark H Weaver
FYI, Ian Grant sent me this "Warning" in private email, along with an offer to forward it to whomever I chose. I'm taking him up on it. Mark --- Begin Message --- Mark, This is a private warning message, entirely for your benefit. You may cc it to the list, or anywhere else, at your dis

Using formal specifications for web content

2014-10-07 Thread Ian Grant
This is the same idea: just as machine-readable formal semantics abstract from concrete representation of language compilers, they abstract from concrete language representation of applications. The problem with web content management systems is they all cause lock-in. Your data are locked into th

guile-gnome, devel: removes guile-1.8 specific code and dependency

2014-10-07 Thread David Pirotte
Hello, guile-gnome devel: removes guile-1.8 specific code and dependency Attached, patch review welcome. Happy hacking, David From 681b47b766d0c2235fe396e002fcce5a03c80a17 Mon Sep 17 00:00:00 2001 From: David PIROTTE Date: Tue, 7 Oct 2014 19:48:33 -0300 Subject: [PATCH

Re: A "Warning" from Ian Grant

2014-10-07 Thread Richard Stallman
[[[ To any NSA and FBI agents reading my email: please consider]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] He is neither our lawyer nor our friend. He is acting like a bully. If you want to t

Re: Verifying Toolchain Semantics

2014-10-07 Thread Mike Gerwitz
To limit your attack area for a response (out of respect for the recipients---feel free to continue this conversation with me in private) I'm going to keep this relatively brief. On Tue, Oct 07, 2014 at 01:18:31PM -0400, Ian Grant wrote: > The problem is not understood by _you._ otherwise you woul