A Hobby implementation of ML
Switch branches/tags
Nothing to show
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Makefile Add Makefile Nov 18, 2015
alpha.sml Separated tuple from arithmetic operators. Nov 29, 2015
beta.sml Little refactoring. Nov 29, 2015
closure.sml Implemented closure conversion. Dec 18, 2015
concreteSyntax.sml Fixed indent. Nov 19, 2015
const.sml Implement Type Inference May 27, 2015
constFold.sml Little refactoring. Nov 29, 2015
controlFlow.sml Separated tuple from arithmetic operators. Nov 29, 2015
cps.sml Separated tuple from arithmetic operators. Nov 29, 2015
cse.sml Little refactoring. Nov 29, 2015
deadCodeElim.sml Separated tuple from arithmetic operators. Nov 29, 2015
env.sig Primitives return Jun 16, 2015
env.sml Primitives return Jun 16, 2015
eta.sml Separated tuple from arithmetic operators. Nov 29, 2015
graph.sml Implemented data flow analysis Nov 15, 2015
hoisting.sml Separated tuple from arithmetic operators. Nov 29, 2015
id.sig Implement dead code elimination Jul 8, 2015
id.sml Implement dead code elimination Jul 8, 2015
idSet.sml Implement dead code elimination Jul 8, 2015
infixer.sml Introduce state monad to parse infix operators Jul 12, 2015
infixing.sig Renaming at type checking. Nov 28, 2015
infixing.sml Renaming at type checking. Nov 28, 2015
injection.sml Little refactoring. Nov 29, 2015
inlining.sml Stopped inlining recursive functions. Nov 30, 2015
pP.sml Refactoring pretty-printer May 26, 2015
prim.sml Multi-arity functions returned at typed abstract syntax tree. Dec 9, 2015
run.sh Modify the type of run in udon.sml to use ml-build. Nov 18, 2015
sinking.sml Separated tuple from arithmetic operators. Nov 29, 2015
sources.cm Implemented virtual machine code. Dec 19, 2015
stringMap.sml Renaming at type checking. Nov 28, 2015
syntax.sml Renaming at type checking. Nov 28, 2015
translCps.sml Multi-arity functions returned at typed abstract syntax tree. Dec 9, 2015
type.sml Multi-arity functions returned at typed abstract syntax tree. Dec 9, 2015
typedSyntax.sml Multi-arity functions returned at typed abstract syntax tree. Dec 9, 2015
typing.sig Little refactoring. Nov 29, 2015
typing.sml Multi-arity functions returned at typed abstract syntax tree. Dec 9, 2015
udon.grm Introduce state monad to parse infix operators Jul 12, 2015
udon.lex Let parser and lexer to accept tuple Jun 19, 2015
udon.sml Implemented virtual machine code. Dec 19, 2015
uncurrying.sml Multi-arity functions returned at typed abstract syntax tree. Dec 9, 2015
virtual.sml Fixed virtual machine code generation. Dec 19, 2015