2016-07-10 14:31:45 +01:00
|
|
|
-*-mode:org-*-
|
2016-10-10 22:24:44 +01:00
|
|
|
|
2016-09-25 11:50:00 +01:00
|
|
|
* minimal bootstrap binary, via Scheme, into C compiler/linker
|
2016-10-10 22:24:44 +01:00
|
|
|
** core: mes.c
|
|
|
|
|
*** make mes.c smaller
|
|
|
|
|
**** replace mes.c:quasiquote by quasiquote.mes
|
|
|
|
|
***** SPEEDUP
|
|
|
|
|
**** cleanup environment/closures
|
|
|
|
|
*** make mes.c faster
|
|
|
|
|
*** use GC
|
|
|
|
|
*** move from C to hex/assembly
|
|
|
|
|
|
2016-07-17 14:00:47 +01:00
|
|
|
** bugs
|
2016-07-22 21:12:05 +01:00
|
|
|
See bugs/
|
2016-10-10 22:24:44 +01:00
|
|
|
|
|
|
|
|
*** find/fix hygiene problem: see lib/match.scm ;; X vs x
|
|
|
|
|
Is it in let, define-syntax, match or intrinsically in define-macro?
|
|
|
|
|
|
|
|
|
|
** parse C using PEG
|
|
|
|
|
http://piumarta.com/software/peg/
|
2016-07-23 00:38:25 +01:00
|
|
|
*** Simple Guile test:
|
|
|
|
|
make guile-peg
|
|
|
|
|
*** PEG on Mes does not work yet:
|
|
|
|
|
make peg
|
|
|
|
|
**** syntax-case
|
2016-10-10 22:24:44 +01:00
|
|
|
***** portable syntax-case Andre van Tonder
|
|
|
|
|
***** psyntax.pp
|
|
|
|
|
***** hook-up sc-expand, see guile-1.0?: scheme:eval-transformer
|
|
|
|
|
Find out how to hook-up sc-expand in eval/apply.
|
|
|
|
|
|
2016-07-24 18:38:47 +01:00
|
|
|
** parse C using LALR
|
|
|
|
|
*** Translate cgram.y into lalr, generate AST
|
2016-10-10 22:24:44 +01:00
|
|
|
*** C grammar in lex/yacc
|
2016-07-23 13:39:33 +01:00
|
|
|
https://github.com/rabishah/Mini-C-Compiler-using-Flex-And-Yacc
|
|
|
|
|
https://www.lysator.liu.se/c/ANSI-C-grammar-y.html
|
|
|
|
|
http://www2.cs.uidaho.edu/~jeffery/courses/nmsu/370/cgram.y
|
|
|
|
|
https://github.com/ProgramLeague/C-Compilerp
|
|
|
|
|
*** parsing in scheme
|
|
|
|
|
ftp://ftp.cs.indiana.edu/pub/scheme-repository/code/lang/cgram-ll1
|
|
|
|
|
** Tiny C
|
|
|
|
|
https://en.wikipedia.org/wiki/Tiny_C_Compiler
|
|
|
|
|
** Sub C
|
|
|
|
|
http://www.t3x.org/subc/index.html
|
|
|
|
|
**
|
|
|
|
|
https://groups.google.com/forum/#!topic/comp.lang.lisp/VPuX0VsjTTE
|
2016-07-17 21:35:00 +01:00
|
|
|
*** any, each?
|
2016-10-10 22:24:44 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
* assorted info
|
|
|
|
|
** ASM
|
|
|
|
|
http://www.tldp.org/HOWTO/Assembly-HOWTO/linux.html
|
|
|
|
|
|
|
|
|
|
Basically, you issue an int 0x80, with the __NR_syscallname number
|
|
|
|
|
(from asm/unistd.h) in eax, and parameters (up to six) in ebx, ecx,
|
|
|
|
|
edx, esi, edi, ebp respectively.
|
|
|
|
|
|
|
|
|
|
** ELF
|
|
|
|
|
7f 45 4c 46
|
|
|
|
|
|
|
|
|
|
http://www.muppetlabs.com/~breadbox/software/tiny/
|
|
|
|
|
|
|
|
|
|
http://www.cirosantilli.com/elf-hello-world/
|
|
|
|
|
|
|
|
|
|
** SCM
|
2016-10-12 22:40:11 +01:00
|
|
|
** RNRS
|
|
|
|
|
http://www.scheme-reports.org/
|
|
|
|
|
*** Scheme
|
|
|
|
|
ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-349.pdf
|
|
|
|
|
*** RRS
|
|
|
|
|
ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-452.pdf
|
|
|
|
|
|
2016-10-10 22:24:44 +01:00
|
|
|
http://groups.csail.mit.edu/mac/ftpdir/scm/OLD/scm2e.tar.Z
|
|
|
|
|
wget http://groups.csail.mit.edu/mac/ftpdir/scm/OLD/scm3c13.tar.Z
|
|
|
|
|
http://groups.csail.mit.edu/mac/ftpdir/scm/OLD/scm4a5.tar.Z
|
|
|
|
|
|
|
|
|
|
http://groups.csail.mit.edu/mac/ftpdir/scm/OLD/scm5a1.tar.gz --> syntax-rules
|
|
|
|
|
http://groups.csail.mit.edu/mac/ftpdir/scm/OLD/scm5c0.tar.gz
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
define-
|
|
|
|
|
|
|
|
|
|
http://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html
|
|
|
|
|
|
|
|
|
|
http://www.cs.indiana.edu/chezscheme/syntax-case/
|
|
|
|
|
|
|
|
|
|
1.4..2.9:
|
|
|
|
|
http://groups.csail.mit.edu/mac/ftpdir/siod/
|
|
|
|
|
|
|
|
|
|
http://groups.csail.mit.edu/mac/ftpdir/s48/archive/scheme48-0-21.tar.gz
|
|
|
|
|
|
|
|
|
|
Macros:
|
|
|
|
|
http://www.bcl.hamilton.ie/~barak/teach/F97/CS257/macros.html
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
syntax-case/syntax-rules in clojure
|
|
|
|
|
https://github.com/qbg/syntax-rules/blob/master/src/qbg/syntax_rules.clj
|
