GitHub - Markz2z/CPS-Translate-4SML: Compiler: translate Standard ML to Continuation-passing style code.

流程:Abstract syntax tree->Continuation Passing Style->Flat->Closure implementation->hoist the func—>C Language representation(with a tiny GC)

实验编译结果说明：

测试用例：m_hello,m0,m1,m2,m3,m4,fac,print2string

编译环境：Clang

编译通过：m_hello,m0,m1,m2,m3,m4,

编译不通过：fac,print2string(都是两个error，出错原因相同，Contapp的arg没有声明，未解决)

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
example		example
test		test
Main.sml		Main.sml
README.md		README.md
a.out		a.out
closure-convert.sig		closure-convert.sig
closure-convert.sml		closure-convert.sml
closure.sig		closure.sig
closure.sml		closure.sml
codegen.sig		codegen.sig
codegen.sml		codegen.sml
cps-convert.sig		cps-convert.sig
cps-convert.sml		cps-convert.sml
cps.sig		cps.sig
cps.sml		cps.sml
flat.sig		flat.sig
flat.sml		flat.sml
hoist.sig		hoist.sig
hoist.sml		hoist.sml
lab3.pdf		lab3.pdf
machine.sig		machine.sig
machine.sml		machine.sml
ml-ast.sig		ml-ast.sig
ml-ast.sml		ml-ast.sml
set.sig		set.sig
set.sml		set.sml
sources.cm		sources.cm
temp.sig		temp.sig
temp.sml		temp.sml
test.sml		test.sml

Markz2z/CPS-Translate-4SML