gambit/gambit

Gambit is an efficient implementation of the Scheme programming language.

Marc Feeley

@feeley

Did you (eval ‘(host-exec “…”)) or do (host-exec “…”) in the web app’s REPL? It won’t work in compiled code… you need to use (##inline-host-statement “…”) for that.

amirouche

@amirouche

ah ! ok :)

host-exec is usable only in eval

Good thing eval works :)

Marc Feeley

@feeley

or in the REPL, which hides eval… ideally the two forms should be unified

François-René Rideau

@fare

How good is the JS backend, and could I reasonably have my DApp runtime run on top of it?

How much work would be required to bring the backend up to shape?

François-René Rideau

@fare

Another parameter question: it looks like (define foo (make-parameter #f)) creates a global binding that is side-effected rather than thread-locally shadowed by a (foo 'bar) unless I first use (parameterize ((foo #f)) ...) in the thread. Is that expected behavior?

François-René Rideau

@fare

This interesting makes parameters more like special variables in SBCL, and less like parameters in Racket.

François-René Rideau

@fare

the most "interesting" to me is to spawn a thread within a parameterize, then the threads inherit the cell, not the value, and can concurrently edit that shared cell.

François-René Rideau

@fare

is there a way to access the list of currently bound parameters? The equivalent of CL's PROGV ?

François-René Rideau

@fare

... the answer is a list of parameter-binding procedures.

François-René Rideau

@fare

and call parameterize on each one in a loop around the internal thunk.

amirouche

@amirouche

@fare JS backend is definitely usable!

Last few days, I made this https://pre-srfi.github.io/webui/demos/04-convo/

I was planning to do a clone of slack, but the target application is little bit different than "corporate chat", so I am experimenting with a conversation that ressembles a tree.

François-René Rideau

@fare

@amirouche nice!

I'll need some chat capability in my app manager... after all, players have to be able to find each other.

Jason Felice

@eraserhd

I just discovered that (equal? (make-table) (make-table test: equal?)) ;=> #f, and it's probably because (equal? equal? ##equal?) ;=> #f. This is non-obvious from the docs, is it bad?

amirouche

@amirouche

re javascript backend: that said I stumbled upon an error that says something along the lines of r1 register undefined... Next time I will try to pin point a simple way to reproduce, I mostly debug with print but before convert argument to string with write

The error I mentioned above is a javascript error, 99 time out of 100 the error raise a popup with a REPL with where the error is.

Marc Feeley

@feeley

@eraserhd nice catch! yes definitely what I consider to be a bug… will come up with a fix...

François-René Rideau

@fare

what is the Right Way™ to cond-expand on the presence of symbols in openssl?

use #ifdef in C, and export dummies if not present?

François-René Rideau

@fare

I ended up doing a #if in C that returns NULL when the thingie is undefined, so you get a #f at runtime on the Scheme side.

François-René Rideau

@fare

Has anyone here experience with SchemeSpheres and/or LambdaNative ? Which should I use if I wanted to write applications targetting iOS, Android, JS, etc.?

François-René Rideau

@fare

is there a way to tell the FFI that an EVP_PKEY* is a special case of EVP_MD* or must I somehow cheat via void* ?

François-René Rideau

@fare

^ I assume that's what the tags in (pointer ...) are for, though I'm a bit surprised by the "T’s primary tag is a member of E’s tags" criterion.

junkerjoe

@junkerjoe

I'm getting a failed unit test from make check when trying to build the Gambit master branch with the options:

./configure --prefix=/usr/local/gambit 
                       --enable-single-host
                       --enable-multiple-versions
                       --enable-shared
                       --enable-smp 
                       --enable-gcc-opts
                       --enable-openssl
                       --enable-absolute-shared-libs
                       --enable-poll
                       --enable-bignum

The relevant make check output is:

LD_LIBRARY_PATH=../lib:../gsi:../gsc: ../gsi/gsi -:tl,~~bin=../bin,~~lib=../lib,~~include=../include -f ./run-unit-tests.scm
[226|  0]  90% ##############.. 6.9s 13-modules/prim_exception.scm
*** FAILED 13-modules/prim_exception.scm WITH EXIT CODE HI=1 LO=0
(with-exception-handler ##list (lambda () (##cons 1 (##raise 123)))) in (include "~~lib/gambit/prim/exception#.scm") returned #<unbound-global-exception #2> but expected (1 123)
(with-exception-handler ##list (lambda () (##cons 1 (##raise 123)))) in (namespace ("##")) returned #<unbound-global-exception #3> but expected (1 123)
[250|  1] 100% ################ 7.5s
FAILED 1 UNIT TESTS OUT OF 251 (.4%)

This is my first time building Gambit with this many options. Any insights to share on why this might be happening?

Bob Coleman

@skilldown

@junkerjoe Those tests rely on the optional module system. From a fresh clone build with a normal make and build the module system with make modules before running the make check. This fixed the issue for me.

Make sure to use a fresh clone to avoid issues with build artifacts.

Jaime Fournier

@ober

@junkerjoe you should not need the --enable-gcc-opts any longer

junkerjoe

@junkerjoe

@skilldown I thought --enable-smp required make bootstrap; make bootclean; make before make modules; make check. I can try it without.

@ober Noted. I'll get rid of this option

junkerjoe

@junkerjoe

Decided to revert back to non-SMP, but I made a ticket on the issue I was having to get clarity on whether it was expected behavior: gambit/gambit#502

junkerjoe

@junkerjoe

Linked the wrong ticket woops. Correction: gambit/gambit#640

Bradley Lucier

@gambiteer

Marc: Simple file:

(define-structure point x)

expands to

gsc -c -expansion crap.scm
Expansion:

(define ##type-1-point
  ('#<procedure #2 ##structure> ##type-type ('#<procedure #3 ##string->uninterned-symbol> "##type-1-point") 'point 8 #f #(x 0 #f)))

(define make-point (lambda (p1) ('#<procedure #2 ##structure> ##type-1-point p1)))

(define point-copy (lambda (obj) (##structure-copy obj)))

(define point? (lambda (obj) ('#<procedure #4 ##structure-direct-instance-of?> obj ('#<procedure #5 ##type-id> ##type-1-point))))

(define point-x
  (lambda (obj)
    (let ((temp.3 point-x) (temp.2 ##type-1-point))
      (if ('#<procedure #4 ##structure-direct-instance-of?> obj ('#<procedure #5 ##type-id> temp.2))
          ('#<procedure #6 ##unchecked-structure-ref> obj 1 temp.2 temp.3)
          ('#<procedure #7 ##direct-structure-ref> obj 1 temp.2 temp.3)))))

(define point-x-set!
  (lambda (obj val)
    (let ((temp.8 point-x-set!) (temp.7 ##type-1-point))
      (if ('#<procedure #4 ##structure-direct-instance-of?> obj ('#<procedure #5 ##type-id> temp.7))
          ('#<procedure #8 ##unchecked-structure-set!> obj val 1 temp.7 temp.8)
          ('#<procedure #9 ##direct-structure-set!> obj val 1 temp.7 temp.8)))))

(define point-x-set (lambda (obj val) (##direct-structure-set obj val 1 ##type-1-point point-x-set)))

How do I get rid of point-copy? I want to define my own with that name.

Bradley Lucier

@gambiteer

If it's not easy to get rid of point-copy I'll just rename my function.

Marc Feeley

@feeley

@gambiteer (define-structure point x copier: #f)

junkerjoe

@junkerjoe

Should I expect an executable to be killed off, after exceeding a certain memory limit, when providing the -:max-heap runtime option to gsc?

junkerjoe

@junkerjoe

I'd love to see an example program compiled with the -:max-heap setting and heap overflow. I think I just don't understand how it works.

Bradley Lucier

@gambiteer

-:max-heap is a runtime setting, so if c.scm is

[Bradleys-Mac-mini:~] lucier% cat c.scm
(do ((r '() (cons (make-vector 1000000) r)))
    (#f))

then you get

gsi -:max-heap=1000 c.scm
*** ERROR IN ##make-vector -- Heap overflow

junkerjoe

@junkerjoe

does that mean -:max-heap cannot be used with gsc?

Bradley Lucier

@gambiteer

If you use it with gsc then that means that you're restricting the heap size of gsc when it runs. Perhaps you want to do

[Bradleys-Mac-mini:~] lucier% gsc -exe c.scm
[Bradleys-Mac-mini:~] lucier% ./c -:max-heap=1000
*** ERROR IN ##make-vector -- Heap overflow

junkerjoe

@junkerjoe

i think that's just what i needed

thank you!

from gsc -:help i would've thought the option would need to be provided with the compilation command

anyways that's great, and really simple too

Riley Levy

@rileylevy95_gitlab

To build a gambit program with emscripten, how do I get an emscripten version of libgambit.a?

Marc Feeley

@feeley

@junkerjoe you can also use the following trick... if your source program contains a shebang line gsc will read the runtime options on the shebang line and embed them in the executable. This is convenient if you program starts off as an interpreted script that is compiled when ready for production. For example :

% cat limited.scm
#! /usr/bin/env gsi -:max-heap=100M
(##gc-report-set! #t)
(##gc)
(define (go)
  (let loop ((size 1000000) (last #f))
    (println size)
    (loop (* size 2) (make-vector size))))
(with-exception-catcher pp go)
% chmod +x limited.scm
% ./limited.scm
*** GC: 135us, 130K alloc, 12M heap, 84K live (1% 84288+1488)
1000000
2000000
*** GC: 2.4ms, 135K alloc, 52M heap, 23M live (44% 85168+24001584)
4000000
*** GC: 5.1ms, 139K alloc, 101M heap, 46M live (46% 85168+48001584)
8000000
*** GC: 9.3ms, 143K alloc, 105M heap, 92M live (88% 85168+96001584)
16000000
*** GC: 17ms, 147K alloc, 108M heap, 61M live (57% 85168+64001536)
#<heap-overflow-exception #2>
% gsc -exe limited.scm
% ./limited
*** GC: 109us, 71K alloc, 12M heap, 64K live (1% 64464+1488)
1000000
2000000
*** GC: 525us, 75K alloc, 36M heap, 15M live (42% 64928+16001536)
4000000
*** GC: 260us, 79K alloc, 69M heap, 31M live (45% 64928+32001536)
8000000
*** GC: 1.9ms, 82K alloc, 108M heap, 61M live (57% 64928+64001536)
16000000
*** GC: 3.4ms, 86K alloc, 12M heap, 65K live (1% 64928+1488)
#<heap-overflow-exception #2>

Where communities thrive

People

Repo info

Activity