GitHub - darius/toy-compiler: A compiler for a toy language, in Standard ML

darius / toy-compiler Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

A compiler for a toy language, in Standard ML

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
junk		junk
regress-0		regress-0
regress		regress
runtime		runtime
tests		tests
COPYING		COPYING
README		README
To-do		To-do
ast-alpha.sml		ast-alpha.sml
ast-pp.sml		ast-pp.sml
ast-tailify.sml		ast-tailify.sml
ast.sml		ast.sml
codegen.sml		codegen.sml
cps-contract.sml		cps-contract.sml
cps-convert.sml		cps-convert.sml
cps-freevars.sml		cps-freevars.sml
cps-pp.sml		cps-pp.sml
cps.sml		cps.sml
errormsg.sml		errormsg.sml
main.sml		main.sml
maps.sml		maps.sml
mips-sim.sml		mips-sim.sml
mips.sml		mips.sml
parse.sml		parse.sml
sets.sml		sets.sml
sources.cm		sources.cm
stuff.sml		stuff.sml
toy.grm		toy.grm
toy.grm.desc		toy.grm.desc
toy.grm.sig		toy.grm.sig
toy.grm.sml		toy.grm.sml
toy.lex		toy.lex
toy.lex.sml		toy.lex.sml

Repository files navigation

This is supposed to be a compiler from a toy programming language to
MIPS assembly code.  (I never ran the output on an actual MIPS
computer, though, just in simulation via an alternate backend
generating C code.)  I wrote it in 1997 to work out design ideas
mainly from Kelsey's ``A Correspondence between Continuation Passing
Style and Static Single Assignment Form'', Appel's _Compiling With
Continuations_, and Kelsey and Hudak's ``Realistic compilation by
program transformation''.

ast.sml gives the abstract syntax of the source language.
main.sml ties the compiler passes together.
mips-sim.sml is the aforementioned backend, to go with runtime/ C code.

I forget how to build it, except I used CM with SML/NJ, plus a parser
generator, I think one called MLLex/MLYacc. (But the generated parser
is also checked in to this repo, apparently.)

To run tests: cd tests/ && make okay

I've barely glanced over these files now in 2022; I hope there's
nothing too embarrassing.

Darius Bacon