Re: [Ecls-list] building a static library that depends on CFFI

2012-11-11 Thread Simon Ortiz
Juanjo, Quite the contrary, thank you for taking the time to check it! I'll go over the files on the weekend :) Thank you! -- Simón Ortiz B., M.Sc., Ing. en Computación Linux Registered User #388735 On 1 November 2012 06:21, Juan Jose Garcia-Ripoll wrote: > On Wed, Oct 31, 2012 at 10:08 PM,

Re: [Ecls-list] Resitricted mode - possible?

2012-11-11 Thread Matthew Mondor
On Sun, 11 Nov 2012 22:26:16 +0100 Peter Enerccio wrote: > Hello, I am wondering if it is possible to have restricted mode of lisp > with ecl? Something that would not allow some functions or some potentially > risky features (such as disk writes)? > > I know I can redefine the builtin functions

Re: [Ecls-list] Resitricted mode - possible?

2012-11-11 Thread Juan Jose Garcia-Ripoll
On Sun, Nov 11, 2012 at 10:26 PM, Peter Enerccio wrote: > I know I can redefine the builtin functions by simply redefining them, but > is that fool proof? > Yes it is possible, and the right approach would be more useful than just for ECL. Creation of domain specific languages is extremely simpl

[Ecls-list] Resitricted mode - possible?

2012-11-11 Thread Peter Enerccio
Hello, I am wondering if it is possible to have restricted mode of lisp with ecl? Something that would not allow some functions or some potentially risky features (such as disk writes)? I know I can redefine the builtin functions by simply redefining them, but is that fool proof? Thanks. -- Bc.

Re: [Ecls-list] Internal error when compiling the Snark theorem prover with ECL 12.7.1

2012-11-11 Thread Juan Jose Garcia-Ripoll
On Wed, Oct 31, 2012 at 1:17 AM, Matthias Hölzl wrote: > when compiling the Snark theorem prover (< > http://www.ai.sri.com/~stickel/snark.html>, or with ASDF system > definition at ), ECL (version 12.7.1 on > OSX 10.8.2, installed using homebrew) fails with an i