summaryrefslogtreecommitdiff
path: root/src/scheme
Commit message (Collapse)AuthorAge
* altos/scheme: Replace per-type indexed stash with poly stash heapKeith Packard2017-12-19
| | | | | | | Instead of having a random set of stash arrays with explicit indices used by callers, just have a general heap. Less error prone, and less code. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Replace memory pool macros with inlinesKeith Packard2017-12-19
| | | | | | | | | | AO_SCHEME_IS_CONST -> ao_scheme_is_const_addr AO_SCHEME_IS_POOL -> ao_scheme_is_pool_addr Provides better typechecking and avoids confusion with ao_scheme_is_const inline (which takes an ao_poly instead of a void *) Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: AO_SCHEME_IS_CONS -> ao_scheme_is_consKeith Packard2017-12-19
| | | | | | | This inline was already defined; just use it. Also, switch some places to use ao_scheme_is_pair instead as appropriate. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: ao_scheme__cons -> ao_scheme_consKeith Packard2017-12-19
| | | | | | Fix the double underscore in this name. Ick. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Don't optimize ao_scheme_make_constKeith Packard2017-12-19
| | | | | | | Performance isn't interesting, and it's nice to have a bare system ready for debugging. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Clean up test CFLAGSKeith Packard2017-12-19
| | | | | | make it easy to switch between debug and optimized builds. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: (define (foo . bar)) has a pair, not list as cardKeith Packard2017-12-19
| | | | | | | | When defining a lambda with varargs, the args are not a list as the final element is not a pair or nil. Use pair? instead of list? to detect this form correctly. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: apply also needs to not free value list on lambdasKeith Packard2017-12-19
| | | | | | | | | | When apply is invoked on any function, the cons in the argument list cannot be immediately freed as they have been passed to the function. That applies to both built-ins as well as lambdas; this patch removes the special ao_scheme_skip_cons_free global and just marks the stack in both cases. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Rework display/write codeKeith Packard2017-12-19
| | | | | | | | | | Unify output functions and add bool to switch between write and display mode. Make that only affect strings (as per r⁷rs). Use print recursion detection in frame and stack code, eliminating PRINT flags in type field. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Compile scheme test with -O3Keith Packard2017-12-18
| | | | | | This level of optimization caused trouble, so use it all of the time. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Work around gcc 7.2.0 optimization bug in memory managerKeith Packard2017-12-18
| | | | | | | | | | | | | After marking a set of memory chunks, it's possible that all of them will be packed tight against 'top', in which case none of them will be moving. In that case, gcc 7.2.0 appears to generate incorrect code causing the loop to be abandoned, meaning that we don't actually collect anything at all. Add a quick short-circuit test just after the mark phase that skips the code which wouldn't do anything in this case. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: rearrange debugging definesKeith Packard2017-12-18
| | | | | | | Allow applications to redefine these as desired, add more flexibility in what the various memory debugging flags can do. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: abort when we try to print an invalid valueKeith Packard2017-12-18
| | | | | | | This can catch a host of interpreter bugs; best to abandon the program when it happens. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Use memory manager mark code to note recursive printKeith Packard2017-12-17
| | | | | | | This flags any object being printed and checks before recursing to avoid infinite loops. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Use AO_SCHEME_IS_CONS in cons memory funcsKeith Packard2017-12-17
| | | | | | | More efficient than ao_scheme_poly_type as it doesn't care about non-prim types. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: swap BIGINT and STRING typesKeith Packard2017-12-14
| | | | | | | | This lets BIGINT be a primitive type, allowing it to use all 32 bits for storage. This does make strings another byte longer, and also slightly harder to deal with. It's a trade off. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: integer? is builtin on all versionsKeith Packard2017-12-12
| | | | Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: inline some mem calls to reduce stack usage.Keith Packard2017-12-12
| | | | | | Also includes some code to display stack usage during collect calls. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Use direct calls from frame to frame_vals mem functionsKeith Packard2017-12-12
| | | | | | Avoids the extra stack depth of the poly versions. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: More compiler warning cleanupsKeith Packard2017-12-12
| | | | | | Make local funcs static. Don't mix decls and code.x Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: apply const to places taking const strings.Keith Packard2017-12-12
| | | | | | Mostly printf and friends. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Support scheme subsetting via feature settingsKeith Packard2017-12-12
| | | | | | | This provides for the creation of smaller versions of the interpreter, leaving out options like floating point numbers and vectors. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Add ao_scheme_vector.cKeith Packard2017-12-12
| | | | | | Useful to include the code for implementing vectors Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Allow ao_scheme_read_eval_print to be restartedKeith Packard2017-12-11
| | | | | | Reset exceptions at the top so that we can call it more than once. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Add Makefile for scheme test appKeith Packard2017-12-11
| | | | Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Make test scheme app heap maximum sizeKeith Packard2017-12-11
| | | | | | It's only 32kB. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Make eqv? work for numbers and stringsKeith Packard2017-12-11
| | | | | | | Large numbers, floats and strings need a value check, not just a comparison between ao_polys Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Stash cons across value allocation in compareKeith Packard2017-12-11
| | | | | | | Large ints, strings and floats can cause allocation, requiring that the 'cons' pointer be stashed and retrieved in case it moved. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: add list-copyKeith Packard2017-12-11
| | | | | | A lot easier as a built-in; the obvious scheme version is recursive. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Use 64-bit ints to track memory allocation statsKeith Packard2017-12-11
| | | | | | | These are only collected for debug purposes, but can get quite large if the interpreter runs for a while. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Add a bunch of string and vector builtinsKeith Packard2017-12-11
| | | | | | Just make the language closer to r7rs Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Avoid crashing with non-list in lengthKeith Packard2017-12-10
| | | | | | | Use ao_scheme_cons_cdr to fetch the next list element as that returns NULL for non-cons elements. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Add vectorsKeith Packard2017-12-10
| | | | | | Constant time and smaller can be a feature. Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Fix name of constant scheme fileKeith Packard2017-12-10
| | | | | | .lisp -> .scheme Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Let readline know if there's a list in progressKeith Packard2017-12-09
| | | | | | | This lets the interactive prompt change based on what state the lexer is in Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/cortexelf-v1: Adapt to lisp->scheme name changeKeith Packard2017-12-05
| | | | Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Add explicit dependency on ao_scheme_builtin.h for ↵Keith Packard2017-12-05
| | | | | | | | | ao_scheme_make_const This ensures that a parallel build will wait for ao_scheme_builtin.h to be complete before attempting to compile ao_scheme_make_const Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Move scheme test program to scheme sub-directoryKeith Packard2017-12-05
| | | | | | Keeps it away from the usual test setup Signed-off-by: Keith Packard <keithp@keithp.com>
* altos/scheme: Rename to 'scheme', clean up buildKeith Packard2017-12-05
Constant block is now built in a subdir to avoid messing up source directory. Renamed to ao_scheme to reflect language target. Signed-off-by: Keith Packard <keithp@keithp.com>
generated by cgit v1.2.3 (git 2.39.1) at 2025-10-16 09:43:23 +0000