Février 2015 - Gambit-list - mailman.iro.umontreal.ca

PPDP 2015: 2nd call for papers
by FALASCHI MORENO 19 Fév '15

19 Fév '15

====================================================================== Call for papers 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015 Special Issue of Science of Computer Programming (SCP) Siena, Italy, July 14-16, 2015 (co-located with LOPSTR 2015) http://costa.ls.fi.upm.es/ppdp15 ====================================================================== SUBMISSION DEADLINE: 20 MARCH, 2015 PPDP 2015 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015). The conference will be held in Siena, Italy. Previous symposia were held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2016. Important Dates Abstract Submission: 14 March, 2015 Paper submission: 20 March, 2015 Notification: 14 May, 2015 Camera-ready: To be announced Symposium: 14-16 July, 2015 Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2015. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. ----------------------------------------------------------------------- INVITED SPEAKERS Patrick Cousot, New York University, USA (Jointly with LOPSTR) Martin Hofmann, LMU Munich, Germany ----------------------------------------------------------------------- Program Committee Michael Adams, University of Utah, USA Puri Arenas, Complutense University of Madrid, Spain Amir Ben-Amram, Tel-Aviv Academic College, Israel Ines Castro, Universidade do Porto, Portugal Patrick Cousot, New York University, USA Gregory Duck, National University of Singapore, Singapore Fabio Fioravanti, University of Chieti-Pescara, Italy Thom Frühwirth, University of Ulm, Germany Roberto Giacobazzi, University of Verona, Italy Michael Hanus, CAU Kiel, Germany Andy King, University of Kent, UK F. López-Fraguas, Complutense University of Madrid, Spain Ian Mackie, University of Sussex, UK Dale Miller, INRIA and LIX/Ecole Polytechnique, France Torsten Schaub, University of Potsdam, Germany Tom Schrijvers KU Leuven, Belgium Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France German Vidal, Universitat Politecnica de Valencia, Spain Marina Vos, University of Bath, UK Nobuko Yoshida, Imperial College London, UK Program Chair Elvira Albert Complutense University of Madrid C/ Profesor Garcia Santesmases E-28040 Madrid, Spain Email: elvira(a)sip.ucm.es Symposium Chair Moreno Falaschi Department of information engineering and mathematics University of Siena, Italy Email: moreno.falaschi(a)unisi.it

1 0

LOPSTR 2015: 2nd Call for Papers
by Moreno Falaschi 19 Fév '15

19 Fév '15

============================================================ 25th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015 Special Issue of Formal Aspects of Computing http://alpha.diism.unisi.it/lopstr15/ University of Siena, Siena, IT, July 13-15, 2015 (co-located with PPDP 2015) DEADLINES Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015) will be held at the University of Siena, Siena, Italy; previous symposia were held in Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2015 will be co-located with PPDP 2015 (International Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 Notification: May 25, 2015 Camera-ready (for electronic pre-proceedings): June 15, 2015 Symposium: July 13-15, 2015 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2015, which can be accessed through the website of LOPSTR 2015. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Special journal issue After the symposium, a selection of the best papers will be invited to a special issue of the 'Formal Aspects of Computing' journal. The submissions to the special issue must be substantial extensions of the proceedings versions and will undergo the usual journal reviewing process. Invited speakers Patrick Cousot, New York University, USA (Jointly with PPDP) Gilles Barthe, IMDEA Software Institute, Spain Dale Miller, INRIA and LIX/Ecole Polytechnique, France Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Demis Ballis, University of Udine, Italy Olaf Chitil, University of Kent, UK Michael Codish, Ben-Gurion University, Israel Moreno Falaschi, University of Siena, Italy (Program Chair) Jerome Feret, INRIA and ENS, France Maurizio Gabbrielli, University of Bologna, Italy Jurgen Giesl, RWTH Aachen University, Germany Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arnaud Gotlieb, SIMULA Research Laboratory, Norway Gopal Gupta, University of Texas at Dallas, USA Manuel Hermenegildo, IMDEA, Spain Viktor Kuncak, EPFL Lausanne, Switzerland Luigi Liquori, INRIA Sophia-Antipolis Mediterranee, France Alexei Lisitsa, University of Liverpool, UK Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain Jorge Navas, NASA, USA Kazuhiro Ogata, JAIST, Japan Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil Catuscia Palamidessi, INRIA and Ecole Polytechnique, France Maurizio Proietti, IASI-CNR, Italy Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain Wim Vanhoof, University of Namur, Belgium Program and Symposium Chair: Moreno Falaschi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy (moreno.falaschi(a)unisi.it) Organizing Committee Monica Bianchini, DIISM, Univ. of Siena, Italy Sara Brunetti, DIISM, Univ. of Siena, Italy Andrea Machetti, DIISM, Univ. of Siena, Italy Simonetta Palmas, DIISM, Univ. of Siena, Italy Maurizio Proietti, IASI-CNR, Italy Simone Rinaldi, DIISM, Univ. of Siena, Italy Elisa Tiezzi, DIISM, Univ. of Siena, Italy Sara Ugolini, Dip. Informatica, Univ. of Pisa

1 0

LOPSTR 2015: 2nd Call for Papers
by FALASCHI MORENO 19 Fév '15

19 Fév '15

============================================================ 25th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015 Special Issue of Formal Aspects of Computing http://alpha.diism.unisi.it/lopstr15/ University of Siena, Siena, IT, July 13-15, 2015 (co-located with PPDP 2015) DEADLINES Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015) will be held at the University of Siena, Siena, Italy; previous symposia were held in Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2015 will be co-located with PPDP 2015 (International Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 Notification: May 25, 2015 Camera-ready (for electronic pre-proceedings): June 15, 2015 Symposium: July 13-15, 2015 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2015, which can be accessed through the website of LOPSTR 2015. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Special journal issue After the symposium, a selection of the best papers will be invited to a special issue of the 'Formal Aspects of Computing' journal. The submissions to the special issue must be substantial extensions of the proceedings versions and will undergo the usual journal reviewing process. Invited speakers Patrick Cousot, New York University, USA (Jointly with PPDP) Gilles Barthe, IMDEA Software Institute, Spain Dale Miller, INRIA and LIX/Ecole Polytechnique, France Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Demis Ballis, University of Udine, Italy Olaf Chitil, University of Kent, UK Michael Codish, Ben-Gurion University, Israel Moreno Falaschi, University of Siena, Italy (Program Chair) Jerome Feret, INRIA and ENS, France Maurizio Gabbrielli, University of Bologna, Italy Jurgen Giesl, RWTH Aachen University, Germany Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arnaud Gotlieb, SIMULA Research Laboratory, Norway Gopal Gupta, University of Texas at Dallas, USA Manuel Hermenegildo, IMDEA, Spain Viktor Kuncak, EPFL Lausanne, Switzerland Luigi Liquori, INRIA Sophia-Antipolis Mediterranee, France Alexei Lisitsa, University of Liverpool, UK Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain Jorge Navas, NASA, USA Kazuhiro Ogata, JAIST, Japan Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil Catuscia Palamidessi, INRIA and Ecole Polytechnique, France Maurizio Proietti, IASI-CNR, Italy Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain Wim Vanhoof, University of Namur, Belgium Program and Symposium Chair: Moreno Falaschi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy (moreno.falaschi(a)unisi.it) Organizing Committee Monica Bianchini, DIISM, Univ. of Siena, Italy Sara Brunetti, DIISM, Univ. of Siena, Italy Andrea Machetti, DIISM, Univ. of Siena, Italy Simonetta Palmas, DIISM, Univ. of Siena, Italy Maurizio Proietti, IASI-CNR, Italy Simone Rinaldi, DIISM, Univ. of Siena, Italy Elisa Tiezzi, DIISM, Univ. of Siena, Italy Sara Ugolini, Dip. Informatica, Univ. of Pisa

1 0

Re: [gambit-list] Fw: Re: Gambit-C Version needs updating
by Mikael 19 Fév '15

19 Fév '15

Duke and maybe Jackson, So https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=677709 says Ubuntu/Debian has had Gambit split up in four packages: gambc, libgambc4, libgambc4-dev, gambc-doc . I don't see why this would be a low-demand package, except that for the reason that compiling it is so simple there's little to no reason to do it yourself :) I essentially don't see why not exactly the same http://www.iro.umontreal.ca/~gambit/download/gambit/v4.*/source/gambc-v4_*-… <http://www.iro.umontreal.ca/~gambit/download/gambit/v4.7/source/gambc-v4_7_…> => Ubuntu package script as used with 4.2.8 wouldn't work with 4.7.0. Was this done manually from scratch for each package update by the former maintainer and he left with the knowledge? Since 4.2.8, nothing changed in how Gambit is linked or built, and essentially nothing changed with regard to configure script arguments. Historically there was one single potential issue, which was that Gambit doesn't work smoothly with some GCC versions in the 4.2 and 4.3 series, though with all >= 4.6 all is fine, and I guess that's what Ubuntu uses nowadays anyhow, anyhow so consideration was needed on that point. Anyhow to sum up from my end, my five cents to this conversation is that supposedly the packaging task is trivial. Mikael 2015-02-19 5:12 GMT+05:30 Duke Normandin <dukeofperl(a)ml1.net>: > > Would you mind emailing him and asking? > > > > The only thing I can see would be if Gambit wouldn't be nice with > > the OS' bundled GCC version. > > Could do!! > > But I'm thinking that they don't want to go through the > bother of putting a "package" together for software experiencing > very little demand (in their mind). > > -- > Duke > ><> > 2015-02-19 5:21 GMT+05:30 Duke Normandin <dukeofperl(a)ml1.net>: > > Would you mind emailing him and asking? > > I just sent Jackson Doak of Ubuntu an email asking him if they > would maintain the Gambit-C package, or whether the "maintainer" > has to originate from the Gambit-C community. > -- > Duke > ><> 2015-02-19 8:14 GMT+05:30 Duke Normandin <dukeofperl(a)ml1.net>: > > > Begin forwarded message: > > Date: Thu, 19 Feb 2015 13:38:04 +1100 > From: Jackson Doak <noskcaj(a)ubuntu.com> > To: Duke Normandin <dukeofperl(a)ml1.net> > Subject: Re: Back with that Gambit-C issue > > > The maintainer can be from anywhere. The old packaging required the > compile to be run twice, but i'm not sure if that's still needed. > It's just a case of finding someone with the time. > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=677709 and > https://bugs.launchpad.net/ubuntu/+source/gambc/+bug/422034 are the > bugs asking for adoption > > On Thu, Feb 19, 2015 at 10:48 AM, Duke Normandin > <dukeofperl(a)ml1.net> wrote: > > > Hey Jackson ... > > > > The Gambit gurus are telling me that the software compiles with > > zero issues (for someone that knows what their doing I suppose). > > > > Would that fact be enough to convince somebody at Ubuntu to > > maintain Gambit-C? Or does the maintainer *have* to come from the > > Gambit-C community? > > -- > Duke > ><> > 2015-02-19 8:14 GMT+05:30 Duke Normandin <dukeofperl(a)ml1.net>: > > > Begin forwarded message: > > Date: Thu, 19 Feb 2015 13:38:04 +1100 > From: Jackson Doak <noskcaj(a)ubuntu.com> > To: Duke Normandin <dukeofperl(a)ml1.net> > Subject: Re: Back with that Gambit-C issue > > > The maintainer can be from anywhere. The old packaging required the > compile to be run twice, but i'm not sure if that's still needed. > It's just a case of finding someone with the time. > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=677709 and > https://bugs.launchpad.net/ubuntu/+source/gambc/+bug/422034 are the > bugs asking for adoption > > On Thu, Feb 19, 2015 at 10:48 AM, Duke Normandin > <dukeofperl(a)ml1.net> wrote: > > > Hey Jackson ... > > > > The Gambit gurus are telling me that the software compiles with > > zero issues (for someone that knows what their doing I suppose). > > > > Would that fact be enough to convince somebody at Ubuntu to > > maintain Gambit-C? Or does the maintainer *have* to come from the > > Gambit-C community? > > -- > Duke > ><> >

2 2

Fw: Re: Gambit-C Version needs updating
by Duke Normandin 18 Fév '15

18 Fév '15

Begin forwarded message: Date: Wed, 18 Feb 2015 18:50:55 +1100 From: Jackson Doak <noskcaj(a)ubuntu.com> To: Duke Normandin <dukeofperl(a)ml1.net> Cc: Ubuntu Developers <ubuntu-devel-discuss(a)lists.ubuntu.com> Subject: Re: Gambit-C Version needs updating I tried to package it a year ago, it needs updating, but whoever takes it will have to be a fairly experienced developer. On Wed, Feb 18, 2015 at 10:38 AM, Duke Normandin <dukeofperl(a)ml1.net> wrote: > Hey .... > > Any chance of getting Gambit-C brought up to current? TIA ... > -- > Duke > ><>

2 4

Compiling a gambit program with XCode
by Francois Magnan 18 Fév '15

18 Fév '15

Salut Marc, I’m trying to integrate a Gambit-C program into the XCode workflow. I tried a minimal example: ———— program.scm ————— (c-define (factorial n) (char-string) char-string "factorial" "" (number->string (fact (string->number n)))) (define (fact n) (if (= n 0) 1 (* n (fact (- n 1))))) ———— program.scm ————— Then I call: gsc -link program and that generated program_.c and program.c I then add those two files to my XCode project and then — Add the /usr/local/Gambit-C/include to my headers search path — Add the /usr/local/Gambit-C/lib to my libraries search path — Add -lgambc as a linked flag — Add gambit_setup() and gambit_cleanup() functions and call then at the appropriate time But when I compile the project I get a series of errors: /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:106:1: Variable '___result' is used uninitialized whenever 'if' condition is false /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:174:1: Unused variable '___u32_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:174:1: Unused variable '___s32_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:183:13: Unused label '___L__20_program' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:174:1: Unused variable '___u64_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:174:1: Unused variable '___temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:174:1: Unused variable '___s64_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:201:1: Unused variable '___s32_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:201:1: Unused variable '___u64_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:214:13: Unused label '___L_factorial' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:201:1: Unused variable '___s64_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:201:1: Unused variable '___u32_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:266:13: Unused label '___L_fact' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:244:1: Unused variable '___u64_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:244:1: Unused variable '___s64_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:244:1: Unused variable '___u32_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:244:1: Unused variable '___s32_temp' /Users/magnan/Desktop/cef_binary_3.2295.2032_macosx64/cefsimple/program.c:437:1: Unused variable ‘___ps' What am I doing wrong? I used to do that technique for iOS apps before but now it broke. I am trying to build a MaxOSX app. Thank you, Francois Magnan

3 4

Building gambit with --enable-test-coverage
by Bradley Lucier 18 Fév '15

18 Fév '15

I've tried several ways to build gambit with test coverage. Gcc has problems with compiling gambit-generated C code with test coverage and profiling arcs; the PR is here: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64928 So I tried LLVM on Mac OS X. Things got stuck compiling _t-univ.scm (at least, I ran out of patience). Which led me to wonder: can Gambit be configured not to incorporate _t-univ.scm? I don't think I ever use or need it, and it's the biggest thing in gsc/. Brad

4 4

Re: [gambit-list] Newbie Checking in
by Mikael 18 Fév '15

18 Fév '15

Yeah, or SSL could be turned off here because for what is it needed when reading an ML archive anyhow. 2015-02-18 18:05 GMT+05:30 Duke Normandin <dukeofperl(a)ml1.net>: > On Wed, 18 Feb 2015 17:55:30 +0530 > Mikael <mikael.rcv(a)gmail.com> wrote: > > > Noone got an updated SSL certificate, just click through the "I > > understand" thing. > > > > If you want to donate a 10-year SSL certificate to fix it, feel > > free to, I guess. > > > > 2015-02-17 23:05 GMT+05:30 Duke Normandin <dukeofperl(a)ml1.net>: > > > > > On Tue, 17 Feb 2015 12:24:18 -0500 > > > Marc Feeley <feeley(a)iro.umontreal.ca> wrote: > > > > > > > Did you try > > > > https://mercure.iro.umontreal.ca/pipermail/gambit-list/ ? > > > > > > > > It works for me. > > > > > > > > Marc > > > > > > > > > On Feb 17, 2015, at 10:36 AM, Duke Normandin > > > > > <dukeofperl(a)ml1.net> wrote: > > > > > > > > > > Is this list active? Access to the archives seems to be > > > > > hosed!! > > > > > -- > > > > > > > > > > I did!! This is what I get in my default Chrome browser: > > > > > > [quote] > > > Your connection is not private > > > > > > Attackers might be trying to steal your information from > > > mercure.iro.umontreal.ca (for example, passwords, messages, or > > > credit cards). > > > > > > This server could not prove that it is mercure.iro.umontreal.ca; > > > its security certificate is not trusted by your computer's > > > operating system. This may be caused by a misconfiguration or an > > > attacker intercepting your connection. > > > [/quote] > > > > > > Do you have any pull with the sysadmin at umontreal? :) > > I don't think so!!! What's wrong with umontreal keeping their > security stuff up-to-date like every other site in the world??? :? > > -- > Duke > ><> >

1 0

Gambit REPL update
by Marc Feeley 17 Fév '15

17 Fév '15

Gambit REPL for iOS has been updated to work on 64 bit devices (iPhone 5+/6, iPad air, etc). You’ll find the new version on the app store. Marc

1 0

Embed gambit in c main loop, try to get 'compile-*' and 'load-*' working
by Gmail 14 Fév '15

14 Fév '15

Hi, I had gambit embedded in a c main loop, setup and started ##repl-debug-main, and I got a working repl with ‘load’ function. But have yet to find a way to get ‘compile-*’ working, so I cannot do compile and load like in gsc. Would someone point me to the right direction? Linked with -lgambc -lgambcgsc, static libraries, os x. Thanks for your time. Here follows the code snippets that might be relevant. — Code snippet 1: ; Start a repl in my init.scm. By the way, I was trying to start gambit from a separate thread, so there’s a loop at the end of init.scm. (thread-start! (make-thread (lambda () (##repl-debug-main)))) (let loop () (thread-sleep! 1) (loop)) — Code snippet 2: // Just a normal setup. void gambit_setup() { /* * Setup the Scheme library by calling "___setup" with appropriate * parameters. The call to "___setup_params_reset" sets all * parameters to their default setting. */ // Taken from gambit, lib/main.c. int debug_settings = ___DEBUG_SETTINGS_INITIAL; // -:d- (force repl io to be stdin/stdout since terminal isn't // -attached) debug_settings = (debug_settings & ~___DEBUG_SETTINGS_REPL_MASK) | (___DEBUG_SETTINGS_REPL_STDIO << ___DEBUG_SETTINGS_REPL_SHIFT); // -:da debug_settings = (debug_settings & ~___DEBUG_SETTINGS_UNCAUGHT_MASK) | (___DEBUG_SETTINGS_UNCAUGHT_ALL << ___DEBUG_SETTINGS_UNCAUGHT_SHIFT); // -:dr debug_settings = (debug_settings & ~___DEBUG_SETTINGS_ERROR_MASK) | (___DEBUG_SETTINGS_ERROR_REPL << ___DEBUG_SETTINGS_ERROR_SHIFT); // -:d2 // debug_settings = // (debug_settings & ~___DEBUG_SETTINGS_LEVEL_MASK) // | (2 << ___DEBUG_SETTINGS_LEVEL_SHIFT); ___setup_params_struct setup_params; ___setup_params_reset (&setup_params); setup_params.version = ___VERSION; setup_params.linker = SCHEME_LIBRARY_LINKER; setup_params.debug_settings = debug_settings; ___setup (&setup_params); }

1 0