├── Apps └── Twelf │ ├── Makefile │ ├── Makefile.NT │ ├── README │ ├── README-1.2R5 │ ├── README.NT │ ├── README.ml96 │ ├── bin │ ├── .heap │ │ └── README │ ├── .twelf-server │ ├── .twelf-server.bat │ ├── .twelf-sml │ ├── .twelf-sml.bat │ ├── sml110 │ ├── twelf-server │ └── twelf-server-tilt │ ├── doc │ ├── dvi │ │ └── twelf.dvi │ ├── html │ │ ├── index.html │ │ ├── twelf_1.html │ │ ├── twelf_10.html │ │ ├── twelf_11.html │ │ ├── twelf_12.html │ │ ├── twelf_13.html │ │ ├── twelf_14.html │ │ ├── twelf_2.html │ │ ├── twelf_3.html │ │ ├── twelf_4.html │ │ ├── twelf_5.html │ │ ├── twelf_6.html │ │ ├── twelf_7.html │ │ ├── twelf_8.html │ │ ├── twelf_9.html │ │ └── twelf_toc.html │ ├── info │ │ ├── twelf.info │ │ ├── twelf.info-1 │ │ ├── twelf.info-2 │ │ └── twelf.info-3 │ ├── pdf │ │ └── twelf.pdf │ └── ps │ │ └── twelf.ps │ ├── emacs │ ├── .twelf-init.el │ ├── auc-menu.el │ ├── twelf-font.el │ ├── twelf-hilit.el │ ├── twelf-init.el │ └── twelf.el │ ├── examples │ ├── README │ ├── arith │ │ ├── README │ │ ├── arith.elf │ │ ├── arith.thm │ │ ├── sources.cfg │ │ └── test.cfg │ ├── ccc │ │ ├── README │ │ ├── abs-env.elf │ │ ├── catlem.elf │ │ ├── ccc.elf │ │ ├── conc.elf │ │ ├── conc.thm │ │ ├── cong.elf │ │ ├── eqpres1.elf │ │ ├── eqpres2.elf │ │ ├── examples.quy │ │ ├── inv1.elf │ │ ├── inv2.elf │ │ ├── lambda.elf │ │ ├── pf.dvi │ │ ├── refl.elf │ │ ├── sources.cfg │ │ ├── spass.cfg │ │ ├── spass.elf │ │ ├── spass.sml │ │ ├── subext.elf │ │ └── test.cfg │ ├── church-rosser │ │ ├── README │ │ ├── church-rosser.thm │ │ ├── cr.thm │ │ ├── equiv.elf │ │ ├── examples.quy │ │ ├── lam.elf │ │ ├── ord-cr.elf │ │ ├── ord-lemmas.elf │ │ ├── ord-red.elf │ │ ├── par-cr.elf │ │ ├── par-lemmas.elf │ │ ├── par-red.elf │ │ ├── sources.cfg │ │ ├── test-unsafe.cfg │ │ └── test.cfg │ ├── compile │ │ ├── README │ │ ├── cls │ │ │ ├── cls-complete.elf │ │ │ ├── cls-sound.elf │ │ │ ├── cls.elf │ │ │ ├── compute.elf │ │ │ ├── debruijn.elf │ │ │ ├── examples.quy │ │ │ ├── feval.elf │ │ │ ├── mini-ml.elf │ │ │ ├── slow.quy │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ ├── trans.elf │ │ │ └── trans2.elf │ │ ├── cpm │ │ │ ├── ceval-complete.elf │ │ │ ├── ceval-complete.thm │ │ │ ├── ceval-sound.elf │ │ │ ├── ceval.elf │ │ │ ├── cpm.elf │ │ │ ├── evalv.elf │ │ │ ├── examples.quy │ │ │ ├── mini-mlv.elf │ │ │ ├── proof-equiv.elf │ │ │ ├── proof-equiv.thm │ │ │ ├── slow.quy │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ ├── theorems.elf │ │ │ └── theorems.thm │ │ ├── cps │ │ │ ├── cps-eval.elf │ │ │ ├── cps.elf │ │ │ ├── examples.quy │ │ │ ├── mini-ml.elf │ │ │ ├── ml-cps.elf │ │ │ ├── sources.cfg │ │ │ └── test.cfg │ │ ├── cxm │ │ │ ├── evalv.elf │ │ │ ├── examples.quy │ │ │ ├── mini-mlv.elf │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ └── xeval.elf │ │ ├── debruijn │ │ │ ├── debruijn.elf │ │ │ ├── eval.elf │ │ │ ├── examples.quy │ │ │ ├── feval.elf │ │ │ ├── map-eval.elf │ │ │ ├── mini-ml.elf │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ ├── trans.elf │ │ │ ├── val-lemmas.elf │ │ │ └── value.elf │ │ └── debruijn1 │ │ │ ├── debruijn.elf │ │ │ ├── eval.elf │ │ │ ├── examples.quy │ │ │ ├── feval.elf │ │ │ ├── map-eval.elf │ │ │ ├── mini-ml.elf │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ └── trans.elf │ ├── cpsocc │ │ ├── NOTES │ │ ├── READ.ME │ │ ├── corr.elf │ │ ├── cpsBNF.elf │ │ ├── def1+5+fig4.elf │ │ ├── def13.elf │ │ ├── def16.elf │ │ ├── def3+6+fig5.elf │ │ ├── dsBNF.elf │ │ ├── examples.quy │ │ ├── examples.quy.orig │ │ ├── fig1.elf │ │ ├── fig10.elf │ │ ├── fig11.elf │ │ ├── fig12.elf │ │ ├── fig13.elf │ │ ├── fig7.elf │ │ ├── fig8.elf │ │ ├── fig9.elf │ │ ├── lemma14.elf │ │ ├── lemma17.elf │ │ ├── lemma7.elf │ │ ├── lemma9.elf │ │ ├── load.sml │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── test.quy │ │ ├── test.quy.orig │ │ ├── th10.elf │ │ ├── th15.elf │ │ ├── th18.elf │ │ ├── th2.elf │ │ ├── th4.elf │ │ └── th8.elf │ ├── cut-elim │ │ ├── README │ │ ├── cl-admit.elf │ │ ├── cl-cut.elf │ │ ├── cl-elim.elf │ │ ├── cl.elf │ │ ├── cl.thm │ │ ├── examples.quy │ │ ├── formulas.elf │ │ ├── int-admit.elf │ │ ├── int-cut.elf │ │ ├── int-elim.elf │ │ ├── int.elf │ │ ├── int.thm │ │ ├── sources.cfg │ │ └── test.cfg │ ├── fol │ │ ├── README │ │ ├── fol.elf │ │ ├── fol.thm │ │ ├── sources.cfg │ │ └── test.cfg │ ├── guide │ │ ├── lam.elf │ │ ├── lists.elf │ │ ├── nd.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── incll │ │ ├── README │ │ ├── cpm-incll.elf │ │ ├── cpm-incll.quy │ │ ├── incll.elf │ │ ├── iosequents.elf │ │ ├── lists-incll.elf │ │ ├── lists-incll.quy │ │ ├── lists.elf │ │ ├── parse-incll.elf │ │ ├── parse-incll.quy │ │ ├── parse-lolli.elf │ │ ├── parse-lolli.quy │ │ ├── search-incll.elf │ │ ├── search-incll.quy │ │ ├── sort-incll.elf │ │ ├── sort-incll.quy │ │ ├── sources.cfg │ │ └── test.cfg │ ├── kolm │ │ ├── README │ │ ├── complete.elf │ │ ├── examples.quy │ │ ├── fol.elf │ │ ├── kolmtrans.elf │ │ ├── nj.elf │ │ ├── nk.elf │ │ ├── report.ps │ │ ├── sound.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── lp-horn │ │ ├── canon.elf │ │ ├── conv.elf │ │ ├── examples.quy │ │ ├── iscan.elf │ │ ├── natded.elf │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── uni-can.elf │ │ ├── uni-can.thm │ │ ├── uni-complete.elf │ │ ├── uni-complete.thm │ │ ├── uni-sound.elf │ │ ├── uni-sound.thm │ │ └── uniform.elf │ ├── lp │ │ ├── canon.elf │ │ ├── cont.elf │ │ ├── conv.elf │ │ ├── examples.elf │ │ ├── examples.quy │ │ ├── fohh-formulas.elf │ │ ├── fohh.elf │ │ ├── iscan.elf │ │ ├── natded.elf │ │ ├── res-complete.elf │ │ ├── res-sound.elf │ │ ├── resolution.elf │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── uni-complete.elf │ │ ├── uni-sound.elf │ │ └── uniform.elf │ ├── mini-ml │ │ ├── closed.elf │ │ ├── eval.elf │ │ ├── eval1.elf │ │ ├── eval2.elf │ │ ├── examples.quy │ │ ├── examples1.quy │ │ ├── examples2.quy │ │ ├── examples3.quy │ │ ├── mini-ml.elf │ │ ├── reduce.elf │ │ ├── reduce.thm │ │ ├── schema.thm │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── theorems.thm │ │ ├── tp-preserve.elf │ │ ├── tp-preserve.thm │ │ ├── tp.elf │ │ ├── tpinf.elf │ │ ├── val-sound.elf │ │ ├── val-sound.thm │ │ └── value.elf │ ├── polylam │ │ ├── examples.quy │ │ ├── polylam.elf │ │ ├── sources.cfg │ │ └── test.cfg │ └── prop-calc │ │ ├── README │ │ ├── equiv.elf │ │ ├── equiv.thm │ │ ├── examples.quy │ │ ├── prop-calc.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── exercises │ ├── README │ ├── opt-eval │ │ ├── README │ │ ├── eval.elf │ │ ├── examples.quy │ │ ├── mini-ml.elf │ │ ├── opt-equiv1.elf │ │ ├── opt-equiv1.thm │ │ ├── opt-equiv2.elf │ │ ├── opt-equiv2.thm │ │ ├── opt-eval.elf │ │ ├── opt-mini-ml.elf │ │ ├── opt-rep1.elf │ │ ├── opt-rep2.elf │ │ ├── sources.cfg │ │ └── test.cfg │ └── units │ │ ├── NOTES │ │ ├── README │ │ ├── constants.elf │ │ ├── eqtype-lemmas.elf │ │ ├── eqtypes.elf │ │ ├── equnits-alg.elf │ │ ├── equnits-sound.elf │ │ ├── equnits.elf │ │ ├── eval.elf │ │ ├── examples.quy │ │ ├── language.elf │ │ ├── number.elf │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── tp-complete.elf │ │ ├── tp-inf.elf │ │ ├── tp-preserve.elf │ │ ├── tp-rules.elf │ │ ├── tp-sound.elf │ │ ├── types.elf │ │ ├── units.elf │ │ └── value.elf │ ├── load.sml │ ├── project-twelf │ ├── project-twelf-server │ ├── rename.rc │ ├── server.cm │ ├── sources.cm │ ├── src │ ├── formatter │ │ ├── README │ │ ├── formatter.fun.sml │ │ ├── formatter.sig.sml │ │ ├── formatter.sml │ │ └── sources.cm │ ├── frontend │ │ ├── frontend.sml │ │ ├── lexer.fun.sml │ │ ├── lexer.sig.sml │ │ ├── moderecon.fun.sml │ │ ├── moderecon.sig.sml │ │ ├── parse-condec.fun.sml │ │ ├── parse-condec.sig.sml │ │ ├── parse-fixity.fun.sml │ │ ├── parse-fixity.sig.sml │ │ ├── parse-mode.fun.sml │ │ ├── parse-mode.sig.sml │ │ ├── parse-query.fun.sml │ │ ├── parse-query.sig.sml │ │ ├── parse-term.fun.sml │ │ ├── parse-term.sig.sml │ │ ├── parse-thm.fun.sml │ │ ├── parse-thm.sig.sml │ │ ├── parser.fun.sml │ │ ├── parser.sig.sml │ │ ├── parsing.fun.sml │ │ ├── parsing.sig.sml │ │ ├── solve.fun.sml │ │ ├── solve.sig.sml │ │ ├── sources.cm │ │ ├── thmrecon.fun.sml │ │ ├── thmrecon.sig.sml │ │ ├── tprecon.fun.sml │ │ ├── tprecon.sig.sml │ │ ├── tptrace.fun.sml │ │ ├── twelf.fun.sml │ │ └── twelf.sig.sml │ ├── global │ │ ├── README │ │ ├── global.sig.sml │ │ ├── global.sml │ │ └── sources.cm │ ├── heuristic │ │ ├── heuristic.fun.sml │ │ ├── heuristic.sig.sml │ │ └── sources.cm │ ├── index │ │ ├── README │ │ ├── index-skolem.fun.sml │ │ ├── index.fun.sml │ │ ├── index.sig.sml │ │ ├── index.sml │ │ └── sources.cm │ ├── lambda │ │ ├── README │ │ ├── abstract.fun.sml │ │ ├── abstract.sig.sml │ │ ├── constraints.fun.sml │ │ ├── constraints.sig.sml │ │ ├── conv.fun.sml │ │ ├── conv.sig.sml │ │ ├── intsyn.fun.sml │ │ ├── intsyn.sig.sml │ │ ├── lambda.sml │ │ ├── notrail.fun.sml │ │ ├── sources.cm │ │ ├── trail.fun.sml │ │ ├── trail.sig.sml │ │ ├── unify.fun.sml │ │ ├── unify.sig.sml │ │ ├── whnf.fun.sml │ │ └── whnf.sig.sml │ ├── m2 │ │ ├── README │ │ ├── filling.fun.sml │ │ ├── filling.sig.sml │ │ ├── init.fun.sml │ │ ├── init.sig.sml │ │ ├── lemma.fun.sml │ │ ├── lemma.sig.sml │ │ ├── m2.sml │ │ ├── meta-abstract.fun.sml │ │ ├── meta-abstract.sig.sml │ │ ├── meta-global.sig.sml │ │ ├── meta-global.sml │ │ ├── meta-print.fun.sml │ │ ├── meta-print.sig.sml │ │ ├── metasyn.fun.sml │ │ ├── metasyn.sig.sml │ │ ├── mpi.fun.sml │ │ ├── mpi.sig.sml │ │ ├── prover.fun.sml │ │ ├── prover.sig.sml │ │ ├── qed.fun.sml │ │ ├── qed.sig.sml │ │ ├── recursion.fun.sml │ │ ├── recursion.sig.sml │ │ ├── search.fun.sml │ │ ├── search.sig.sml │ │ ├── skolem.fun.sml │ │ ├── skolem.sig.sml │ │ ├── sources.cm │ │ ├── splitting.fun.sml │ │ ├── splitting.sig.sml │ │ ├── strategy.fun.sml │ │ └── strategy.sig.sml │ ├── meta │ │ ├── README │ │ ├── abstract.fun.sml │ │ ├── abstract.sig.sml │ │ ├── data.fun.sml │ │ ├── data.sig.sml │ │ ├── filling.fun.sml │ │ ├── filling.sig.sml │ │ ├── funnames.fun.sml │ │ ├── funnames.sig.sml │ │ ├── funprint.fun.sml │ │ ├── funprint.sig.sml │ │ ├── funsyn.fun.sml │ │ ├── funsyn.sig.sml │ │ ├── funtypecheck.fun.sml │ │ ├── funtypecheck.sig.sml │ │ ├── funweaken.fun.sml │ │ ├── funweaken.sig.sml │ │ ├── global.fun.sml │ │ ├── global.sig.sml │ │ ├── inference.fun.sml │ │ ├── inference.sig.sml │ │ ├── init.fun.sml │ │ ├── init.sig.sml │ │ ├── interpret.sig.sml │ │ ├── meta.sml │ │ ├── mpi.fun.sml │ │ ├── mpi.sig.sml │ │ ├── print.fun.sml │ │ ├── print.sig.sml │ │ ├── prover.fun.sml │ │ ├── prover.sig.sml │ │ ├── recursion.fun.sml │ │ ├── recursion.sig.sml │ │ ├── relfun.fun.sml │ │ ├── relfun.sig.sml │ │ ├── search.fun.sml │ │ ├── search.sig.sml │ │ ├── sources.cm │ │ ├── splitting.fun.sml │ │ ├── splitting.sig.sml │ │ ├── statesyn.fun.sml │ │ ├── statesyn.sig.sml │ │ ├── strategy.fun.sml │ │ ├── strategy.sig.sml │ │ ├── uniquesearch.fun.sml │ │ ├── uniquesearch.sig.sml │ │ ├── weaken.fun.sml │ │ └── weaken.sig.sml │ ├── modes │ │ ├── README │ │ ├── modecheck.fun.sml │ │ ├── modecheck.sig.sml │ │ ├── modedec.fun.sml │ │ ├── modedec.sig.sml │ │ ├── modeprint.fun.sml │ │ ├── modeprint.sig.sml │ │ ├── modes.sml │ │ ├── modesyn.fun.sml │ │ ├── modesyn.sig.sml │ │ └── sources.cm │ ├── names │ │ ├── README │ │ ├── names.fun.sml │ │ ├── names.sig.sml │ │ ├── names.sml │ │ └── sources.cm │ ├── opsem │ │ ├── README │ │ ├── absmachine.fun.sml │ │ ├── absmachine.sig.sml │ │ ├── assign.fun.sml │ │ ├── assign.sig.sml │ │ ├── compile.fun.sml │ │ ├── compile.sig.sml │ │ ├── compsyn.fun.sml │ │ ├── compsyn.sig.sml │ │ ├── cprint.fun.sml │ │ ├── cprint.sig.sml │ │ ├── opsem.sml │ │ ├── sources.cm │ │ ├── tmachine.fun.sml │ │ ├── trace.fun.sml │ │ └── trace.sig.sml │ ├── order │ │ ├── README │ │ ├── order.fun.sml │ │ ├── order.sig.sml │ │ ├── order.sml │ │ └── sources.cm │ ├── paths │ │ ├── README │ │ ├── origins.fun.sml │ │ ├── origins.sig.sml │ │ ├── paths.fun.sml │ │ ├── paths.sig.sml │ │ ├── paths.sml │ │ └── sources.cm │ ├── print │ │ ├── README │ │ ├── clause-print.fun.sml │ │ ├── clause-print.sig.sml │ │ ├── print-twega.fun.sml │ │ ├── print-twega.sig.sml │ │ ├── print.fun.sml │ │ ├── print.sig.sml │ │ ├── print.sml │ │ ├── sources.cm │ │ ├── symbol.fun.sml │ │ ├── symbol.sig.sml │ │ ├── traverse.fun.sml │ │ └── traverse.sig.sml │ ├── server │ │ ├── server-tilt.sml │ │ ├── server.sml │ │ ├── sigint-smlnj.sml │ │ ├── sigint-tilt.sml │ │ ├── sigint.sig.sml │ │ └── sources.cm │ ├── stream │ │ ├── README │ │ ├── sources.cm │ │ └── stream.sml │ ├── subordinate │ │ ├── sources.cm │ │ ├── subordinate.fun.sml │ │ ├── subordinate.sig.sml │ │ └── subordinate.sml │ ├── table │ │ ├── README │ │ ├── hash.sml │ │ ├── queue.sml │ │ ├── redblack.sml │ │ ├── ring.sml │ │ ├── sources.cm │ │ └── table.sig.sml │ ├── terminate │ │ ├── README │ │ ├── sources.cm │ │ ├── terminate.fun.sml │ │ ├── terminate.sig.sml │ │ └── terminate.sml │ ├── thm │ │ ├── README │ │ ├── sources.cm │ │ ├── thm.fun.sml │ │ ├── thm.sig.sml │ │ ├── thm.sml │ │ ├── thmprint.fun.sml │ │ ├── thmprint.sig.sml │ │ ├── thmsyn.fun.sml │ │ └── thmsyn.sig.sml │ ├── timing │ │ ├── README │ │ ├── sources.cm │ │ ├── timers.fun.sml │ │ ├── timers.sig.sml │ │ ├── timers.sml │ │ └── timing.sml │ └── typecheck │ │ ├── README │ │ ├── sources.cm │ │ ├── strict.fun.sml │ │ ├── strict.sig.sml │ │ ├── typecheck.fun.sml │ │ ├── typecheck.sig.sml │ │ └── typecheck.sml │ ├── tex │ ├── code.sty │ ├── example.tex │ └── twelf.sty │ ├── twelf-server.sml │ ├── twelf-sml.sml │ └── twelf-structure-map ├── Backend ├── backend.cm ├── bblock.sig.sml ├── bblock.sml ├── callconv.sig.sml ├── chaitin.int ├── chaitin.sml ├── color.sig.sml ├── color1.sml ├── core.sig.sml ├── core.sml ├── ifgraph.sig.sml ├── ifgraph.sml ├── intraproc.sig.sml ├── labelgraph.sml ├── link.sig.sml ├── machine.sig.sml ├── machineutils.sig.sml ├── printutils.sig.sml ├── printutils.sml ├── project ├── recursion.sig.sml ├── recursion.sml ├── regmap.sig.sml ├── rtltoasm.sig.sml ├── rtltoasm.sml ├── toasm.sig.sml ├── tracetable.sig.sml ├── tracetable.sml └── trackstorage.sig.sml ├── Basis ├── Aggregate │ ├── array-sig.sml │ ├── array.int │ ├── array.sml │ ├── char-array.int │ ├── char-array.sml │ ├── char-vector.int │ ├── char-vector.sml │ ├── list-pair-sig.sml │ ├── list-pair.int │ ├── list-pair.sml │ ├── list-sig.sml │ ├── list.int │ ├── list.sml │ ├── mono-array-sig.sml │ ├── mono-vector-sig.sml │ ├── pack-word-b32.int │ ├── pack-word-b32.sml │ ├── pack-word-sig.sml │ ├── pre-vector.int │ ├── pre-vector.sml │ ├── pre-vector8.int │ ├── pre-vector8.sml │ ├── tal-word8-array.sml │ ├── tal-word8-vector.sml │ ├── tal_array.sml │ ├── tal_vector.sml │ ├── vector-sig.sml │ ├── vector.int │ ├── vector.sml │ ├── word8-array.int │ ├── word8-array.sml │ ├── word8-vector.int │ └── word8-vector.sml ├── Firstlude.sml ├── General │ ├── bool-sig.sml │ ├── bool.int │ ├── bool.sml │ ├── general.int │ ├── general.sig.sml │ ├── general.sml │ ├── option-sig.sml │ ├── option.int │ ├── option.sml │ ├── sml90.int │ ├── sml90.sig.sml │ └── sml90.sml ├── IO │ ├── bin-io-fn.int │ ├── bin-io-fn.sml │ ├── bin-io-sig.sml │ ├── bin-prim-io.int │ ├── bin-prim-io.sml │ ├── imperative-io-sig.sml │ ├── io-sig.sml │ ├── io.int │ ├── io.sml │ ├── os-prim-io-sig.sml │ ├── prim-io-fn.int │ ├── prim-io-fn.sml │ ├── prim-io-sig.sml │ ├── stream-io-sig.sml │ ├── text-io-fn.int │ ├── text-io-fn.sml │ ├── text-io-sig.sml │ ├── text-prim-io.int │ ├── text-prim-io.sml │ └── text-stream-io-sig.sml ├── Library │ ├── array-qsort-fn.int │ ├── array-qsort-fn.sml │ ├── array-qsort.int │ ├── array-qsort.sml │ ├── array-sort-sig.sml │ ├── array2-sig.sml │ ├── array2.int │ ├── array2.sml │ ├── atom-binary-map.int │ ├── atom-binary-map.sml │ ├── atom-binary-set.int │ ├── atom-binary-set.sml │ ├── atom-sig.sml │ ├── atom-table.int │ ├── atom-table.sml │ ├── atom.int │ ├── atom.sml │ ├── binary-map-fn.int │ ├── binary-map-fn.sml │ ├── binary-set-fn.int │ ├── binary-set-fn.sml │ ├── bit-array-all.int │ ├── bit-array-all.sml │ ├── bit-array-sig.sml │ ├── bit-array.int │ ├── bit-array.sml │ ├── bit-vector-sig.sml │ ├── bit-vector.int │ ├── bit-vector.sml │ ├── bsearch-fn.int │ ├── bsearch-fn.sml │ ├── char-map-sig.sml │ ├── char-map.int │ ├── char-map.sml │ ├── dynamic-array-fn.int │ ├── dynamic-array-fn.sml │ ├── fifo-sig.sml │ ├── fifo.int │ ├── fifo.sml │ ├── fmt-fields.int │ ├── fmt-fields.sml │ ├── format-sig.sml │ ├── format.int │ ├── format.sml │ ├── hash-key-sig.sml │ ├── hash-string.int │ ├── hash-string.sml │ ├── hash-table-fn.int │ ├── hash-table-fn.sml │ ├── hash-table-rep.int │ ├── hash-table-rep.sml │ ├── hash-table-sig.sml │ ├── hash-table.int │ ├── hash-table.sml │ ├── hash2-table-fn.int │ ├── hash2-table-fn.sml │ ├── int-binary-map.int │ ├── int-binary-map.sml │ ├── int-binary-set.int │ ├── int-binary-set.sml │ ├── int-inf-sig.sml │ ├── int-inf.int │ ├── int-inf.sml │ ├── int-list-map.int │ ├── int-list-map.sml │ ├── int-list-set.int │ ├── int-list-set.sml │ ├── io-util-sig.sml │ ├── io-util.int │ ├── io-util.sml │ ├── iterate-sig.sml │ ├── iterate.int │ ├── iterate.sml │ ├── keyword-fn.int │ ├── keyword-fn.sml │ ├── lib-base-sig.sml │ ├── lib-base.int │ ├── lib-base.sml │ ├── list-format-sig.sml │ ├── list-format.int │ ├── list-format.sml │ ├── list-map-fn.int │ ├── list-map-fn.sml │ ├── list-mergesort.int │ ├── list-mergesort.sml │ ├── list-set-fn.int │ ├── list-set-fn.sml │ ├── list-xprod-sig.sml │ ├── list-xprod.int │ ├── list-xprod.sml │ ├── listsort-sig.sml │ ├── mono-array-fn.int │ ├── mono-array-fn.sml │ ├── mono-array-sort-sig.sml │ ├── mono-dynamic-array-sig.sml │ ├── mono-hash-table-sig.sml │ ├── mono-hash2-table-sig.sml │ ├── ord-key-sig.sml │ ├── ord-map-sig.sml │ ├── ord-set-sig.sml │ ├── parser-comb-sig.sml │ ├── parser-comb.int │ ├── parser-comb.sml │ ├── path-util-sig.sml │ ├── path-util.sml │ ├── project │ ├── queue-sig.sml │ ├── queue.int │ ├── queue.sml │ ├── rand-sig.sml │ ├── rand.int │ ├── rand.sml │ ├── random-sig.sml │ ├── random.int │ ├── random.sml │ ├── real-format.int │ ├── real-format.sml │ ├── scan-sig.sml │ ├── scan.int │ ├── scan.sml │ ├── simple-uref.int │ ├── simple-uref.sml │ ├── sources.cm │ ├── spay-set-fn.int │ ├── splay-map-fn.int │ ├── splay-map-fn.sml │ ├── splay-set-fn.sml │ ├── splaytree-sig.sml │ ├── splaytree.int │ ├── splaytree.sml │ ├── time-limit.sml │ ├── uref-sig.sml │ ├── uref.int │ └── uref.sml ├── Numeric │ ├── byte-sig.sml │ ├── byte.int │ ├── byte.sml │ ├── ieee-real-sig.sml │ ├── ieee-real.int │ ├── ieee-real.sml │ ├── int-inf-sig.sml │ ├── int.int │ ├── int.sml │ ├── int32.int │ ├── int32.sml │ ├── integer-sig.sml │ ├── large-int.int │ ├── large-int.sml │ ├── large-real.int │ ├── large-real.sml │ ├── large-word.int │ ├── large-word.sml │ ├── math-sig.sml │ ├── math.int │ ├── math.sml │ ├── math64c.int │ ├── math64c.sml │ ├── position.int │ ├── position.sml │ ├── pre-int.int │ ├── pre-int.sml │ ├── pre-real.int │ ├── pre-real.sml │ ├── pre-word.int │ ├── pre-word.sml │ ├── real-format.int │ ├── real-format.sml │ ├── real-sig.sml │ ├── real.int │ ├── real.sml │ ├── real64-array.sml │ ├── real64-vector.sml │ ├── real64.int │ ├── real64.sml │ ├── sys-int.int │ ├── sys-int.sml │ ├── sys-word.int │ ├── sys-word.sml │ ├── tiltfc.int │ ├── tiltfc.sml │ ├── word-sig.sml │ ├── word.int │ ├── word.sml │ ├── word32.int │ ├── word32.sml │ ├── word8.int │ └── word8.sml ├── OS │ ├── commandline.int │ ├── commandline.sig.sml │ ├── commandline.sml │ ├── os-filesys-sig.sml │ ├── os-io-sig.sml │ ├── os-path-fn.int │ ├── os-path-fn.sml │ ├── os-path-sig.sml │ ├── os-process-sig.sml │ ├── os-sig.sml │ ├── time-sig.sml │ ├── time.int │ └── time.sml ├── Pextern.sml ├── Posix │ ├── posix-error.int │ ├── posix-error.sig.sml │ ├── posix-error.sml │ ├── posix-filesys-sig.sml │ ├── posix-filesys.int │ ├── posix-filesys.sml │ ├── posix-flags-sig.sml │ ├── posix-io-sig.sml │ ├── posix-io.int │ ├── posix-io.sml │ ├── posix-prelude.sml │ ├── posix-procenv-sig.sml │ ├── posix-procenv.int │ ├── posix-procenv.sml │ ├── posix-process-sig.sml │ ├── posix-process.int │ ├── posix-process.sml │ ├── posix-sig.sml │ ├── posix-signal-sig.sml │ ├── posix-signal.int │ ├── posix-signal.sml │ ├── posix-sysdb-sig.sml │ ├── posix-sysdb.int │ ├── posix-sysdb.sml │ ├── posix-tty-sig.sml │ ├── posix-tty.int │ ├── posix-tty.sml │ ├── posix.int │ ├── posix.sml │ ├── pre-posix.int │ └── pre-posix.sml ├── Prelude.int ├── Prelude.sml ├── Prelude2.int ├── Prelude2.sml ├── README ├── Text │ ├── char-sig.sml │ ├── char.int │ ├── char.sml │ ├── num-format.int │ ├── num-format.sml │ ├── num-scan.int │ ├── num-scan.sml │ ├── pre-string.int │ ├── pre-string.sml │ ├── string-cvt-sig.sml │ ├── string-cvt.int │ ├── string-cvt.sml │ ├── string-sig.sml │ ├── string.int │ ├── string.sml │ ├── substring-sig.sml │ ├── substring.int │ └── substring.sml ├── Unix │ ├── os-filesys.int │ ├── os-filesys.sml │ ├── os-io.int │ ├── os-io.sml │ ├── os-path.int │ ├── os-path.sml │ ├── os-process.int │ ├── os-process.sml │ ├── os.int │ ├── os.sml │ ├── posix-bin-io.int │ ├── posix-bin-io.sml │ ├── posix-bin-prim-io.int │ ├── posix-bin-prim-io.sml │ ├── posix-prim-io-fn.int │ ├── posix-prim-io-fn.sml │ ├── posix-text-io.int │ ├── posix-text-io.sml │ ├── posix-text-prim-io.int │ ├── posix-text-prim-io.sml │ ├── pre-os.int │ ├── pre-os.sml │ ├── unix-sig.sml │ ├── unix-signals-sig.sml │ ├── unix-signals.sml │ ├── unix.int │ └── unix.sml ├── ccall.int ├── ccall.sml ├── cleanup.int ├── cleanup.sml ├── date-sig.sml ├── date.int ├── date.sml ├── extern.sml ├── externtys.sml ├── printer.int ├── printer.sml ├── project ├── tiltexn.int ├── tiltexn.sml ├── timer-sig.sml ├── timer.int ├── toplevel.int ├── toplevel.sml ├── useless-timer.sml ├── vector_eq.int └── vector_eq.sml ├── Bench ├── Makefile ├── WholeBench │ ├── Prelude.sml │ ├── _Prelude.sml │ ├── _TextIO.sml │ ├── _btimes.sml │ ├── _ccall.sml │ ├── extern.sml │ ├── externtys.sml │ ├── mkwhole │ ├── project │ ├── whole.int │ └── whole.sml ├── arithmetic.sml ├── arithmetic32.sml ├── barnes-hut.sml ├── boyer.sml ├── btimes.sml ├── f_arithmetic.sml ├── fft.sml ├── frank.sml ├── iii.sml ├── leroy.sml ├── lexgen.sml ├── life.sml ├── matmult.sml ├── ml.lex.sml ├── msort.sml ├── nj-help.sml ├── nj_timings.sml ├── njlude.sml ├── pia.sml ├── pqueens.int ├── pqueens.sml ├── project ├── quicksort-nj.sml ├── quicksort.sml ├── quicksort2.sml ├── reversefile.sml ├── run.sig.sml ├── simple.sml ├── sort.sml ├── takc.sml ├── taku.sml ├── time_and_run.sig.sml ├── time_and_run.sml ├── tyan-nj.sml ├── tyan.sml └── usefile_timings.sml ├── BenchData ├── big.lex ├── bsim.arc ├── bsim.jnc ├── bsim.nff ├── csim.arc ├── csim.jnc ├── csim.nff ├── help.sml ├── lexgen.sml ├── ml.lex ├── simple.lex └── toplas.cw ├── Bin ├── compress ├── cputype ├── mkheap ├── nproc ├── ostype ├── regress ├── runall ├── runtest ├── smlnj ├── sparcas ├── sparcld ├── talc ├── talx86as ├── talx86ld ├── tilt ├── tilt-dump ├── tilt-dump-nj ├── tilt-nj ├── tiltdumpname ├── tiltname └── uncompress ├── Bugs ├── 0001 │ └── description ├── 0005 │ └── description ├── 0006 │ └── description ├── 0007 │ └── description ├── 0008 │ └── description ├── 0009 │ └── description ├── 0010 │ └── description ├── 0011 │ └── description ├── 0013 │ └── description ├── 0014 │ └── description ├── 0015 │ └── description ├── 0016 │ └── description ├── 0017 │ └── description ├── 0018 │ └── description ├── 0019 │ └── description ├── 0020 │ └── description ├── 0021 │ └── description ├── 0022 │ └── description ├── 0023 │ └── description ├── 0024 │ └── description ├── 0025 │ └── description ├── 0026 │ └── description ├── 0027 │ └── description ├── 0028 │ └── description ├── 0029 │ └── description ├── 0030 │ └── description ├── 0031 │ └── description ├── 0032 │ └── description ├── 0033 │ └── description ├── 0034 │ └── description ├── 0035 │ └── description ├── 0036 │ └── description ├── 0037 │ └── description ├── 0038 │ └── description ├── 0039 │ └── description ├── 0040 │ └── description ├── 0041 │ └── description ├── 0042 │ └── description ├── 0043 │ └── description ├── 0045 │ └── description ├── 0046 │ └── description ├── 0047 │ └── description ├── 0048 │ └── description ├── 0049 │ └── description ├── 0050 │ └── description ├── 0051 │ └── description ├── 0052 │ └── description ├── 0053 │ └── description ├── 0054 │ ├── abstypedb.sml │ ├── abstypedec.sml │ ├── bind_abstypedec.sml │ ├── bind_absvaldec.sml │ ├── bind_abswithdec.sml │ ├── bind_datatypedec.sml │ ├── bind_datavaldec.sml │ ├── bind_datawithdec.sml │ ├── bind_exceptiondec.sml │ ├── bind_fctdec.sml │ ├── bind_fundec.sml │ ├── bind_layeredpat.sml │ ├── bind_listpat.sml │ ├── bind_pvaldec.sml │ ├── bind_sigdec.sml │ ├── bind_strdec.sml │ ├── bind_tuplepat.sml │ ├── bind_typedec.sml │ ├── bind_valdec.sml │ ├── bind_valrecdec.sml │ ├── boolhelp.sml │ ├── checks.txt │ ├── datadbspec.sml │ ├── dataspec.sml │ ├── datatypedb.sml │ ├── datatypedec.sml │ ├── desc_datatypespec.sml │ ├── desc_datavalspec.sml │ ├── desc_datawithspec.sml │ ├── desc_excespec.sml │ ├── desc_strspec.sml │ ├── desc_tycspec.sml │ ├── desc_valspec.sml │ ├── description │ ├── fundec.sml │ ├── illegal_abstypedec.sml │ ├── illegal_dataspec_cons.sml │ ├── illegal_dataspec_false.sml │ ├── illegal_dataspec_it.sml │ ├── illegal_dataspec_nil.sml │ ├── illegal_dataspec_ref.sml │ ├── illegal_dataspec_true.sml │ ├── illegal_datatypedec.sml │ ├── illegal_exceptiondec.sml │ ├── illegal_excespec_cons.sml │ ├── illegal_excespec_false.sml │ ├── illegal_excespec_it.sml │ ├── illegal_excespec_nil.sml │ ├── illegal_excespec_ref.sml │ ├── illegal_excespec_true.sml │ ├── illegal_fundec.sml │ ├── illegal_pvaldec.sml │ ├── illegal_valdec.sml │ ├── illegal_valrecdec.sml │ ├── illegal_valspec_cons.sml │ ├── illegal_valspec_false.sml │ ├── illegal_valspec_nil.sml │ ├── illegal_valspec_ref.sml │ ├── illegal_valspec_true.sml │ ├── listhelp.sml │ ├── mapfile │ ├── output │ ├── pvaldec.sml │ ├── pvalhelp.sml │ ├── real_pat.sml │ ├── recordexp.sml │ ├── recordpat.sml │ ├── recordty.sml │ ├── tycspec.sml │ ├── typedec.sml │ ├── tyvar_dataspec.sml │ ├── tyvar_tycspec.sml │ ├── tyvar_whtype.sml │ ├── tyvarscope_fundec.sml │ ├── tyvarscope_pvaldec.sml │ ├── tyvarscope_valdec.sml │ ├── tyvarscope_valrecdec.sml │ ├── valdec.sml │ ├── valrecdec.sml │ └── wherespec.sml ├── 0055 │ └── description ├── 0056 │ └── description ├── 0057 │ └── description ├── 0058 │ └── description ├── 0059 │ └── description ├── 0060 │ ├── description │ ├── join-bug.sml │ └── mapfile-bug ├── 0061 │ └── description ├── 0062 │ └── description ├── 0063 │ └── description ├── 0064 │ └── description ├── 0065 │ └── description ├── 0066 │ └── description ├── 0067 │ └── description ├── 0068 │ └── description ├── 0069 │ └── description ├── 0070 │ └── description ├── 0071 │ └── description ├── 0072 │ └── description ├── 0073 │ └── description ├── 0074 │ └── description ├── 0075 │ └── description ├── 0076 │ └── description ├── 0077 │ └── description ├── 0078 │ └── description ├── 0079 │ └── description ├── 0080 │ └── description ├── 0081 │ └── description ├── 0082 │ ├── description │ ├── flexrecord1 │ ├── flexrecord1.sml │ ├── flexrecord3 │ ├── flexrecord3.sml │ ├── flexrecord4 │ ├── flexrecord4.sml │ ├── flexrecord5 │ ├── flexrecord5.sml │ ├── flexrecord8 │ ├── flexrecord8.sml │ ├── flexrecord9 │ └── flexrecord9.sml ├── 0083 │ └── description ├── 0084 │ └── description ├── 0085 │ └── description ├── 0086 │ └── description ├── 0087 │ └── description ├── 0089 │ └── description ├── 0090 │ └── description ├── 0091 │ └── description ├── 0092 │ └── description ├── 0093 │ └── description ├── 0094 │ └── description ├── 0095 │ └── description ├── 0098 │ └── description ├── 0099 │ └── description ├── 0100 │ └── description ├── 0101 │ └── description ├── 0102 │ └── description ├── 0103 │ └── description ├── 0104 │ └── description ├── 0105 │ └── description ├── 0106 │ └── description ├── 0107 │ └── description ├── 0108 │ └── description ├── 0109 │ └── description ├── 0111 │ └── description ├── 0112 │ └── description ├── 0113 │ └── description ├── 0114 │ └── description ├── 0115 │ └── description ├── 0117 │ └── description ├── 0118 │ └── description ├── 0119 │ └── description ├── 0120 │ └── description ├── 0121 │ └── description ├── 0122 │ └── description ├── 0123 │ └── description ├── 0125 │ └── description ├── 0126 │ └── description ├── 0127 │ └── description ├── 0128 │ └── description ├── 0129 │ └── description ├── 0130 │ └── description ├── 0138 │ └── description ├── 0139 │ └── description ├── 0140 │ └── description ├── 0141 │ └── description ├── 0142 │ └── description ├── 0143 │ └── description ├── 0144 │ └── description ├── 0145 │ └── description ├── 0146 │ └── description ├── 0148 │ └── description ├── 0149 │ └── description ├── 0150 │ └── description ├── 0151 │ └── description ├── 0152 │ └── description ├── 0153 │ └── description ├── 0154 │ └── description ├── 0155 │ └── description ├── 0156 │ └── description ├── 0157 │ └── description ├── 0158 │ ├── bug1.sml │ ├── bug2.sml │ ├── description │ └── mapfile ├── 0159 │ └── description ├── 0160 │ └── description ├── 0161 │ └── description ├── 0162 │ └── description ├── 0163 │ └── description ├── 0164 │ └── description ├── 0165 │ └── description ├── 0166 │ └── description ├── 0167 │ └── description ├── 0168 │ └── description ├── 0169 │ └── description ├── 0170 │ └── description ├── 0171 │ └── description ├── 0172 │ └── description ├── 0173 │ └── description ├── 0174 │ └── description ├── 0175 │ └── description ├── 0176 │ └── description ├── 0177 │ └── description ├── 0178 │ └── description ├── 0179 │ └── description ├── 0180 │ └── description ├── 0181 │ └── description ├── 0182 │ └── description ├── 0183 │ └── description ├── 0184 │ └── description ├── 0185 │ └── description ├── 0186 │ └── description ├── 0187 │ └── description ├── README ├── bug-report-form ├── buglist.txt ├── new └── search ├── Doc ├── BiDirectional │ ├── nil.ps │ ├── nil.sty │ └── nil.tex ├── TM.txt ├── core-nil.lyx ├── core-nil.tex ├── gctags ├── lambda.tex ├── milref.tex ├── miltheory.tex ├── mu_equiv.tex ├── structure_sharing.txt ├── sums ├── supertab.sty ├── tic-outline.txt ├── tic.tex ├── tic.txt ├── tilt-project.man ├── tilt.man └── tm ├── Elaborator ├── basis.int ├── basis.sig.sml ├── basis.sml ├── basis2.sig.sml ├── basis2.sml ├── datatype.int ├── datatype.sig.sml ├── datatype.sml ├── datatype2.sig.sml ├── datatype2.sml ├── elaborator.cm ├── elaborator.lib.cm ├── equal.int ├── equal.sig.sml ├── equal.sml ├── equal2.sig.sml ├── equal2.sml ├── error.sig.sml ├── error.sml ├── error2.sig.sml ├── error2.sml ├── il.sig.sml ├── il.sml ├── il2.sig.sml ├── il2.sml ├── ilblast.int ├── ilblast.sml ├── ilblast2.sml ├── ilcontext.sig.sml ├── ilcontext.sml ├── ilcontext2.sig.sml ├── ilcontext2.sml ├── ileq.sml ├── ileq2.sml ├── illookup.sig.sml ├── illookup.sml ├── ilprimutilparam.sml ├── ilprimutilparam2.sml ├── ilstatic.int ├── ilstatic.sig.sml ├── ilstatic.sml ├── ilstatic2.sig.sml ├── ilstatic2.sml ├── iltable.int ├── iltable.sml ├── iltable2.sml ├── ilutil.int ├── ilutil.sig.sml ├── ilutil.sml ├── ilutil2.sig.sml ├── ilutil2.sml ├── infixparse.sig.sml ├── infixparse.sml ├── infixparse2.sig.sml ├── infixparse2.sml ├── linkil.int ├── linkil.sig.sml ├── linkil.sml ├── linkil2.sig.sml ├── linkil2.sml ├── pat.int ├── pat.sig.sml ├── pat.sml ├── pat2.sig.sml ├── pat2.sml ├── ppil.int ├── ppil.sig.sml ├── ppil.sml ├── ppil2.sig.sml ├── ppil2.sml ├── ppprim.sig.sml ├── ppprim.sml ├── prim.sig.sml ├── prim.sml ├── primutil.sig.sml ├── primutil.sml ├── primutilparam.sig.sml ├── project ├── signature.int ├── signature.sig.sml ├── signature.sml ├── signature2.sig.sml ├── signature2.sml ├── toil.int ├── toil.sig.sml ├── toil.sml ├── toil2.sig.sml ├── toil2.sml ├── tyvar.sig.sml ├── tyvar.sml ├── tyvar2.sig.sml └── tyvar2.sml ├── License ├── Adams ├── CMU └── Lucent ├── Lil ├── closure_analyze.sig.sml ├── closure_analyze.sml ├── closure_state.sig.sml ├── closure_state.sml ├── coercion_flatten.sig.sml ├── coercion_flatten.sml ├── deconstruct.int ├── deconstruct.sig.sml ├── deconstruct.sml ├── frees.sig.sml ├── frees.sml ├── lil.cm ├── lil.sig.sml ├── lil.sml ├── lilcontext.sig.sml ├── lilcontext.sml ├── lildefs.sig.sml ├── lildefs.sml ├── lilprimutil.sml ├── lilprimutilparam.sml ├── lilrename.sig.sml ├── lilrename.sml ├── lilsubst.sig.sml ├── lilsubst.sml ├── lilutil.sig.sml ├── lilutil.sml ├── linklil.sig.sml ├── linklil.sml ├── linkunit.sig.sml ├── linkunit.sml ├── niltolil.sig.sml ├── niltolil.sml ├── optable.sig.sml ├── optable.sml ├── optimize.sig.sml ├── optimize.sml ├── pexp.sig.sml ├── pexp.sml ├── pp.sig.sml ├── pp.sml ├── project ├── reduce.sig.sml ├── reduce.sml ├── rewrite.sig.sml ├── rewrite.sml ├── selfcheck.sig.sml ├── selfcheck.sml ├── synthesis.sig.sml ├── synthesis.sml ├── template.sml ├── toclosure.sig.sml ├── toclosure.sml ├── translationdefs.sig.sml ├── translationdefs.sml ├── type_equiv.sig.sml ├── type_equiv.sml ├── typecheck.sig.sml └── typecheck.sml ├── Makefile ├── Nil ├── NilOpts │ ├── anormalize-cse.sml │ ├── anormalize.sml │ ├── config.sml │ ├── exptable.sig.sml │ ├── exptable.sml │ ├── flattenargs.sml │ ├── inline.sml │ ├── linkopt.sml │ ├── nilopts.sig.sml │ ├── nilopts.sml │ ├── pass.sig.sml │ ├── reduce.sml │ ├── rename.sml │ ├── squish.sig.sml │ ├── squish.sml │ └── uncurry.sml ├── alpha_context.sig.sml ├── alpha_context.sml ├── analyze.sig.sml ├── analyze.sml ├── annote.sig.sml ├── annote.sml ├── bound_check.int ├── bound_check.sig.sml ├── bound_check.sml ├── coerce-elim.sig.sml ├── coerce-elim.sml ├── flatten.sml ├── frees.sig.sml ├── frees.sml ├── hoist.int ├── hoist.sig.sml ├── hoist.sml ├── inline.sig.sml ├── inline.sml ├── linearize.int ├── linearize.sig.sml ├── linearize.sml ├── linknil.int ├── linknil.sig.sml ├── linknil.sml ├── linknil2.sig.sml ├── linknil2.sml ├── measure.int ├── measure.sig.sml ├── measure.sml ├── nil.cm ├── nil.sig.sml ├── nil.sml ├── nilcontext.sig.sml ├── nilcontext.sml ├── nilcontextpre.int ├── nilcontextpre.sig.sml ├── nilcontextpre.sml ├── nildefs.sig.sml ├── nildefs.sml ├── nilerror.sig.sml ├── nilerror.sml ├── nilprimutil.sml ├── nilprimutilparam.sml ├── nilrename.sig.sml ├── nilrename.sml ├── nilstatic.int ├── nilstatic.sig.sml ├── nilstatic.sml ├── nilsubst.sig.sml ├── nilsubst.sml ├── nilutil.int ├── nilutil.sig.sml ├── nilutil.sml ├── normalize.int ├── normalize.sig.sml ├── normalize.sml ├── optimize.int ├── optimize.sig.sml ├── optimize.sml ├── pass.sig.sml ├── ppnil-html.int ├── ppnil-html.sml ├── ppnil.int ├── ppnil.sig.sml ├── ppnil.sml ├── project ├── reduce.sig.sml ├── reduce.sml ├── reify.sig.sml ├── reify.sml ├── reorder.sml ├── rewrite.int ├── rewrite.sig.sml ├── rewrite.sml ├── singleton-elim.sig.sml ├── singleton-elim.sml ├── specialize.sig.sml ├── specialize.sml ├── subst.sig.sml ├── subst.sml ├── toclosure.int ├── toclosure.sig.sml ├── toclosure.sml ├── tonil.int ├── tonil.sig.sml ├── tonil.sml ├── tonil2.sig.sml ├── tonil2.sml ├── traceinfo.sig.sml ├── traceinfo.sml ├── traceops.sig.sml ├── traceops.sml ├── trail.sig.sml ├── trail.sml ├── typed_rewrite.sml ├── typeof_elim.sig.sml ├── typeof_elim.sml ├── vararg.int ├── vararg.sig.sml └── vararg.sml ├── Parser ├── Library │ ├── arg-lexer.sig.sml │ ├── arg-parser.sig.sml │ ├── join.int │ ├── join.sml │ ├── joinwitharg.int │ ├── joinwitharg.sml │ ├── lexer.sig.sml │ ├── lr-parser.sig.sml │ ├── lr-table.sig.sml │ ├── lrtable.int │ ├── lrtable.sml │ ├── parser-data.sig.sml │ ├── parser.int │ ├── parser.sig.sml │ ├── parser2.sml │ ├── project │ ├── sources.cm │ ├── stream.int │ ├── stream.sig.sml │ ├── stream.sml │ └── token.sig.sml ├── ast.sig.sml ├── ast.sml ├── ast2.sig.sml ├── ast2.sml ├── asthelp.int ├── asthelp.sig.sml ├── asthelp.sml ├── asthelp2.sig.sml ├── asthelp2.sml ├── astutil.sig.sml ├── astutil.sml ├── astutil2.sig.sml ├── astutil2.sml ├── control.int ├── control.sig.sml ├── control.sml ├── env.int ├── env.sig.sml ├── env.sml ├── errormsg.int ├── errormsg.sig.sml ├── errormsg.sml ├── fixity.sml ├── frontend.sig.sml ├── frontend.sml ├── frontend2.sig.sml ├── frontend2.sml ├── intstrmap.sig.sml ├── intstrmap.sml ├── linkparse.sig.sml ├── linkparse.sml ├── linkparse2.sig.sml ├── linkparse2.sml ├── ml.grm ├── ml.grm.int ├── ml.grm.sig ├── ml.grm.sml ├── ml.lex ├── ml.lex.int ├── ml.lex.sml ├── ml2.grm ├── ml2.grm.sig ├── ml2.grm.sml ├── ml2.lex ├── ml2.lex.sml ├── name.int ├── name.sig.sml ├── name.sml ├── nameblast.sig.sml ├── nameblast.sml ├── namedform.sml ├── namedform2.sml ├── parser.cm ├── pathnames.sig.sml ├── pathnames.sml ├── pp.int ├── pp.sig.sml ├── pp.sml ├── ppqueue.sml ├── printutil.int ├── printutil.sig.sml ├── printutil.sml ├── project ├── source.int ├── source.sig.sml ├── source.sml ├── sourcemap.sig.sml ├── sourcemap.sml ├── strghash.sml ├── symbol.sig.sml ├── tokentable.sml ├── tokentable2.sml ├── tvclose.sml └── tvclose2.sml ├── README ├── Release ├── guide ├── patterns └── talcpatterns ├── Rtl ├── linkrtl.int ├── linkrtl.sig.sml ├── linkrtl.sml ├── pprtl.sig.sml ├── pprtl.sml ├── project ├── rtl.cm ├── rtl.sig.sml ├── rtl.sml ├── tags.sig.sml ├── tags.sml ├── tortl-array.int ├── tortl-array.sig.sml ├── tortl-array.sml ├── tortl-base.int ├── tortl-base.sig.sml ├── tortl-base.sml ├── tortl-record.sig.sml ├── tortl-record.sml ├── tortl-sum.sig.sml ├── tortl-sum.sml ├── tortl.int ├── tortl.sig.sml └── tortl.sml ├── Runtime ├── port │ ├── ccall.c │ ├── date.c │ ├── die.c │ ├── math.c │ ├── os_filesys.c │ ├── os_io.c │ ├── portcreate.c │ ├── portexn.c │ ├── portmalloc.c │ ├── posix_error.c │ ├── posix_filesys.c │ ├── posix_io.c │ ├── posix_procenv.c │ ├── posix_process.c │ ├── posix_signal.c │ ├── posix_sysdb.c │ ├── posix_tty.c │ ├── pre_posix.c │ ├── printer.c │ ├── r.h │ ├── real.c │ ├── syserror.c │ ├── sysvals.c │ ├── time.c │ └── timer.c ├── sparc │ ├── Makefile │ ├── asm.h │ ├── barriers.c │ ├── bitmap.c │ ├── commandline.c │ ├── create.c │ ├── exn.c │ ├── fc.c │ ├── firstdata.c │ ├── fork.c │ ├── forward.c │ ├── gc.c │ ├── gc_gen.c │ ├── gc_gen_conc.c │ ├── gc_gen_para.c │ ├── gc_large.c │ ├── gc_para.c │ ├── gc_semi.c │ ├── gc_semi_conc.c │ ├── gc_semi_para.c │ ├── gcinline.h │ ├── gcstat.c │ ├── global.c │ ├── hash.c │ ├── main.c │ ├── malloc.c │ ├── memobj.c │ ├── platform.c │ ├── queue.c │ ├── rooms.c │ ├── s.h │ ├── show.c │ ├── sigaction.c │ ├── signal.c │ ├── sparc.h │ ├── sparcasm.h │ ├── stack.c │ ├── stats.c │ ├── support.s │ └── thread.c └── talx86 │ ├── Makefile │ ├── commandline.c │ ├── create.c │ ├── exn.c │ ├── fc.c │ ├── fork.c │ ├── malloc.c │ ├── runtime.tal │ ├── runtime_i.tali │ ├── s.h │ ├── stdlib.c │ ├── stdlib.tali │ ├── support.tal │ ├── support_e.tali │ ├── support_i.tali │ ├── talx86.h │ └── tilt_main.tali ├── Sparc ├── linksparc.int ├── linksparc.sml ├── project ├── sparc.cm ├── sparc.int ├── sparc.sig.sml ├── sparc.sml ├── sparccallconv.sml ├── sparctrackstorage.sml ├── sparcutils.sml ├── tosparc.int └── tosparc.sml ├── TAL ├── abbrev.sig.sml ├── abbrev.sml ├── instrdesc.sig.sml ├── instrdesc.sml ├── instructions.sig.sml ├── instructions.sml ├── liltotal.sig.sml ├── liltotal.sml ├── liltotalcon.sig.sml ├── liltotalcon.sml ├── liltotalenv.sig.sml ├── liltotalenv.sml ├── liltotalexp.sig.sml ├── liltotalexp.sml ├── liltotalstate.sig.sml ├── liltotalstate.sml ├── linktal.sml ├── peep.sig.sml ├── peep.sml ├── pp.sig.sml ├── pp.sml ├── project ├── stackdesc.sig.sml ├── stackdesc.sml ├── statetypes.sml ├── tal.cm ├── tal.sml ├── tal_abbrev.sig.sml ├── tal_abbrev.sml ├── talout.sig.sml ├── talout.sml ├── taltranslationdefs.sig.sml └── taltranslationdefs.sml ├── Test ├── 0001 │ ├── arith-help.sml │ ├── arith.sig.sml │ ├── arith.sml │ ├── floored-arith.sml │ ├── int-arith.sml │ ├── main.sml │ ├── ord-arith.sml │ ├── prim-arith.sml │ ├── project │ ├── real-arith.sml │ ├── result │ └── word-arith.sml ├── 0002 │ ├── optional.sig.sml │ ├── optional.sml │ ├── project │ ├── required.sig.sml │ ├── required.sml │ ├── result │ ├── top.sig.sml │ └── top.sml ├── 0003 │ ├── overload-defaults.sml │ ├── overload.sig.sml │ ├── overload.sml │ ├── project │ └── result ├── 0004 │ ├── main.sml │ ├── project │ └── result ├── 0006 │ ├── main.sml │ ├── project │ └── result ├── 0007 │ ├── project │ ├── result │ └── test.sml ├── 0008 │ ├── project │ ├── result │ └── test.sml ├── 0009 │ ├── project │ ├── result │ └── test.sml ├── 0010 │ ├── project │ ├── result │ └── test.sml ├── 0011 │ ├── project │ ├── result │ └── test.sml ├── 0012 │ ├── project │ ├── result │ └── test.sml ├── 0013 │ ├── fixity.sml │ ├── project │ ├── result │ ├── test.sml │ └── value.sml ├── 0014 │ ├── I1.int │ ├── I2.int │ ├── project │ └── result ├── 0015 │ ├── I1.int │ ├── I2.int │ ├── project │ └── result ├── 0016 │ ├── i1.int │ ├── project │ ├── result │ └── u1.sml ├── 0017 │ ├── bug1.sml │ ├── bug2.sml │ ├── project │ └── result ├── 0018 │ ├── bug.sml │ ├── project │ └── result ├── 0019 │ ├── bug.sml │ ├── project │ └── result ├── 0020 │ ├── project │ ├── result │ └── test.sml ├── 0021 │ ├── bug-key.sml │ ├── bug-map.sml │ ├── bug-table.sml │ ├── bug.int │ ├── bug.sml │ ├── map.sml │ ├── project │ └── result ├── 0022 │ ├── F.int │ ├── F.sml │ ├── S.sig │ ├── T.sig │ ├── T.sml │ ├── project │ ├── readme │ └── result ├── 0023 │ ├── ParserData.sml │ ├── bug.frontend.sml │ ├── bug.int │ ├── bug.join.int │ ├── bug.parser-data.sig │ ├── join.sml │ ├── project │ ├── readme │ └── result ├── 0024 │ ├── bug.int │ ├── bug.sig │ ├── bug.sml │ ├── project │ ├── readme │ └── result ├── 0025 │ ├── bug.sml │ ├── project │ ├── readme │ └── result ├── 0026 │ ├── project │ ├── result │ └── test.sml ├── README ├── bug114 │ ├── project │ ├── result │ └── test.sml ├── bug151a │ ├── export.sml │ ├── project │ ├── result │ └── test.sml ├── bug151b │ ├── a.sml │ ├── b.sml │ ├── project │ ├── result │ ├── test.sml │ └── test2.sml ├── bug151c │ ├── plus.sml │ ├── project │ ├── result │ └── test.sml ├── bug151d │ ├── a.sml │ ├── b.sml │ ├── c.sml │ ├── project │ ├── result │ └── test.sml ├── bug152 │ ├── project │ ├── result │ └── test.sml ├── bug153 │ ├── project │ ├── result │ └── test.sml ├── bug154 │ ├── project │ ├── result │ └── test.sml ├── bug155 │ ├── project │ ├── result │ └── test.sml ├── bug159 │ ├── project │ ├── result │ └── test.sml ├── bug163 │ ├── project │ ├── result │ └── test.sml ├── bug165 │ ├── optional.sig.sml │ ├── project │ └── result ├── bug166 │ ├── project │ ├── redblack-set-fn.sml │ └── result ├── bug167 │ ├── bug.sml │ ├── exit.sml │ ├── project │ └── result ├── bug168 │ ├── project │ ├── result │ └── test.sml ├── bug179 │ ├── bug.sml │ ├── project │ └── result ├── bug50a │ ├── bug.sml │ ├── project │ └── result ├── bug50b │ ├── bug.sml │ ├── project │ └── result ├── bug55a │ ├── project │ ├── result │ └── test.sml ├── bug55b │ ├── project │ ├── result │ └── test.sml ├── bug80 │ ├── project │ ├── result │ └── test.sml ├── bug82 │ ├── project │ ├── result │ └── test.sml ├── bug84 │ ├── project │ ├── result │ └── test.sml ├── bug84b │ ├── project │ ├── result │ └── test.sml ├── m0001 │ ├── main.sml │ ├── project │ └── result ├── m0002 │ ├── main.sml │ ├── project │ └── result ├── m0003 │ ├── main.sml │ ├── project │ └── result ├── m0004 │ ├── main.sml │ ├── project │ └── result ├── m0005 │ ├── doc │ ├── main.sml │ ├── project │ └── result ├── m0006 │ ├── main.sml │ ├── project │ └── result ├── m0007 │ ├── main.sml │ ├── project │ └── result ├── m0008 │ ├── main.sml │ ├── project │ └── result ├── m0009 │ ├── main.sml │ ├── project │ └── result ├── m0010 │ ├── main.sml │ ├── project │ └── result ├── m0011 │ ├── main.sml │ ├── project │ └── result ├── m0012 │ ├── doc │ ├── main.sml │ ├── project │ └── result ├── m0013 │ ├── main.sml │ ├── project │ └── result ├── m0014 │ ├── main.sml │ ├── project │ └── result ├── m0015 │ ├── main.sml │ ├── project │ └── result ├── m0016 │ ├── main.sml │ ├── project │ └── result ├── m0017 │ ├── main.sml │ ├── project │ └── result ├── m0018 │ ├── main.sml │ ├── project │ └── result ├── m0019 │ ├── main.sml │ ├── project │ └── result ├── m0020 │ ├── main.sml │ ├── project │ └── result ├── m0021 │ ├── main.sml │ ├── project │ └── result ├── m0022 │ ├── main.sml │ ├── project │ └── result ├── m0023 │ ├── main.sml │ ├── project │ └── result ├── m0024 │ ├── msort.sml │ ├── project │ └── result ├── m0025 │ ├── doc │ ├── project │ ├── result │ └── word.sml ├── m0026 │ ├── doc │ ├── project │ ├── result │ └── word2.sml ├── m0027 │ ├── project │ ├── result │ └── word.sub.sml ├── m0028 │ ├── project │ ├── result │ └── word8.sml ├── m0029 │ ├── project │ ├── result │ └── word8array.sml ├── m0030 │ ├── project │ ├── result │ └── word8vector.sml ├── m0031 │ ├── list.sml │ ├── project │ └── result ├── m0032 │ ├── listpair.sml │ ├── project │ └── result ├── m0033 │ ├── math.sml │ ├── project │ └── result ├── m0034 │ ├── local-ref.sml │ ├── project │ └── result ├── m0035 │ ├── lambda-list-ref.sml │ ├── project │ └── result ├── m0036 │ ├── abcde.sml │ ├── project │ └── result ├── m0037 │ ├── abstype.sml │ ├── project │ └── result ├── m0038 │ ├── array.sml │ ├── project │ └── result ├── m0039 │ ├── array2.sml │ ├── project │ └── result ├── m0040 │ ├── array3.sml │ ├── project │ └── result ├── m0041 │ ├── array4.sml │ ├── project │ └── result ├── m0042 │ ├── array5.sml │ ├── project │ └── result ├── m0043 │ ├── array6.sml │ ├── project │ └── result ├── m0044 │ ├── array7.sml │ ├── project │ └── result ├── m0045 │ ├── asterisk.sml │ ├── project │ └── result ├── m0046 │ ├── cases.sml │ ├── project │ └── result ├── m0047 │ ├── project │ ├── result │ └── withtype.sml ├── m0048 │ ├── project │ ├── result │ └── vector.sml ├── m0049 │ ├── project │ ├── result │ └── vector2.sml ├── m0050 │ ├── project │ ├── result │ └── vector3.sml ├── m0051 │ ├── project │ ├── result │ └── vector4.sml ├── m0052 │ ├── project │ ├── result │ └── vector-loop.sml ├── m0053 │ ├── project │ ├── result │ └── valrec.sml ├── m0054 │ ├── bytechar.sml │ ├── project │ └── result ├── m0055 │ ├── char0.sml │ ├── project │ └── result ├── m0056 │ ├── check_arrays.sml │ ├── project │ └── result ├── m0057 │ ├── circular.sml │ ├── project │ └── result ├── m0058 │ ├── cmdline.sml │ ├── project │ └── result ├── m0059 │ ├── constraint.sml │ ├── project │ └── result ├── m0060 │ ├── conv.sml │ ├── project │ └── result ├── m0061 │ ├── conv2.sml │ ├── project │ └── result ├── m0062 │ ├── down.sml │ ├── project │ └── result ├── m0063 │ ├── exhaustive.sml │ ├── project │ └── result ├── m0064 │ ├── exn.sml │ ├── project │ └── result ├── m0065 │ ├── exn2.sml │ ├── project │ └── result ├── m0066 │ ├── exponential.sml │ ├── project │ └── result ├── m0067 │ ├── fact.sml │ ├── project │ └── result ├── m0068 │ ├── fast.sml │ ├── project │ └── result ├── m0069 │ ├── fast2.sml │ ├── project │ └── result ├── m0070 │ ├── fft.sml │ ├── project │ └── result ├── m0071 │ ├── flexrecord.sml │ ├── project │ └── result ├── m0072 │ ├── format.sml │ ├── project │ └── result ├── m0073 │ ├── functor.sml │ ├── project │ └── result ├── m0074 │ ├── general.sml │ ├── project │ └── result ├── m0075 │ ├── grow-raise.sml │ ├── project │ └── result ├── m0076 │ ├── id.sml │ ├── project │ └── result ├── m0077 │ ├── int-overflow.sml │ ├── project │ └── result ├── m0078 │ ├── int.sml │ ├── project │ └── result ├── m0079 │ ├── jump.sml │ ├── project │ └── result ├── m0080 │ ├── known-case0.sml │ ├── project │ └── result ├── m0081 │ ├── known-case1.sml │ ├── project │ └── result ├── m0082 │ ├── llv.sml │ ├── project │ └── result ├── m0083 │ ├── nested-loop.sml │ ├── project │ └── result ├── m0084 │ ├── nonexhaustive.sml │ ├── project │ └── result ├── m0085 │ ├── opaque.sml │ ├── project │ └── result ├── m0086 │ ├── opaque2.sml │ ├── project │ └── result ├── m0087 │ ├── open.sml │ ├── project │ └── result ├── m0088 │ ├── os-exit.sml │ ├── project │ └── result ├── m0089 │ ├── overloading.sml │ ├── project │ └── result ├── m0090 │ ├── pat.sml │ ├── project │ └── result ├── m0091 │ ├── poly-equal.sml │ ├── project │ └── result ├── m0092 │ ├── poly-equal.2.sml │ ├── project │ └── result ├── m0093 │ ├── posix-exit.sml │ ├── project │ └── result ├── m0094 │ ├── print-self.sml │ ├── project │ └── result ├── m0095 │ ├── project │ ├── real.maxFinite.sml │ └── result ├── m0096 │ ├── project │ ├── real.sml │ └── result ├── m0097 │ ├── project │ ├── real2.sml │ └── result ├── m0098 │ ├── project │ ├── real3.sml │ └── result ├── m0099 │ ├── project │ ├── real4.sml │ └── result ├── m0100 │ ├── project │ ├── real5.sml │ └── result ├── m0101 │ ├── project │ ├── real6.sml │ └── result ├── m0102 │ ├── project │ ├── real7.sml │ └── result ├── m0103 │ ├── project │ ├── result │ └── ring.sml ├── m0104 │ ├── project │ ├── result │ └── scon.sml ├── m0105 │ ├── project │ ├── result │ └── semicolon.sml ├── m0106 │ ├── project │ ├── result │ └── sharing.sml ├── m0107 │ ├── binio.sml │ ├── project │ └── result ├── m0108 │ ├── date.sml │ ├── project │ └── result ├── m0109 │ ├── filesys.sml │ ├── project │ └── result ├── m0111 │ ├── project │ ├── result │ └── sigs.sml ├── m0112 │ ├── project │ ├── result │ └── string.sml ├── m0113 │ ├── project │ ├── result │ └── string2.sml ├── m0114 │ ├── project │ ├── result │ └── stringcvt.sml ├── m0115 │ ├── project │ ├── result │ └── substring-overflow.sml ├── m0116 │ ├── project │ ├── result │ └── tak.sml ├── m0117 │ ├── project │ ├── result │ └── testMatrix.sml ├── m0118 │ ├── project │ ├── result │ └── testdyn1.sml ├── m0119 │ ├── project │ ├── result │ └── textio.sml ├── m0120 │ ├── project │ ├── result │ └── time.sml ├── m0121 │ ├── project │ ├── result │ └── time2.sml ├── m0121b │ ├── project │ ├── result │ └── time2.sml ├── m0122 │ ├── project │ ├── result │ └── time3.sml ├── m0123 │ ├── project │ ├── result │ └── tststrcmp.sml ├── m0124 │ ├── project │ ├── result │ └── typespec.sml ├── m0125 │ ├── project │ ├── result │ └── unary.2.sml ├── m0126 │ ├── project │ ├── result │ └── unary.sml ├── m0127 │ ├── project │ ├── result │ └── undetermined.sml ├── m0128 │ ├── project │ ├── result │ └── unixpath.sml ├── m0129 │ ├── project │ ├── result │ └── where-and.sml ├── m0130 │ ├── project │ ├── result │ └── where.sml ├── m0131 │ ├── kitdangle.sml │ ├── project │ └── result ├── m0132 │ ├── kitfib35.sml │ ├── project │ └── result ├── m0133 │ ├── kitloop2.sml │ ├── project │ └── result ├── m0134 │ ├── kitqsort.sml │ ├── project │ └── result ├── m0135 │ ├── kitreynolds2.sml │ ├── project │ └── result ├── m0136 │ ├── kitreynolds3.sml │ ├── project │ └── result ├── m0137 │ ├── kittmergesort.sml │ ├── project │ └── result ├── n0 │ ├── main.sml │ ├── project │ └── result ├── n1 │ ├── main.sml │ ├── project │ └── result ├── n10 │ ├── main.sml │ ├── project │ └── result ├── n100 │ ├── main.sml │ ├── project │ └── result ├── n101 │ ├── main.sml │ ├── project │ └── result ├── n102 │ ├── main.sml │ ├── project │ └── result ├── n103 │ ├── main.sml │ ├── project │ └── result ├── n104 │ ├── main.sml │ ├── project │ └── result ├── n105 │ ├── main.sml │ ├── project │ └── result ├── n106 │ ├── main.sml │ ├── project │ └── result ├── n107 │ ├── main.sml │ ├── project │ └── result ├── n108 │ ├── main.sml │ ├── project │ └── result ├── n109 │ ├── main.sml │ ├── project │ └── result ├── n11 │ ├── main.sml │ ├── project │ └── result ├── n110 │ ├── main.sml │ ├── project │ └── result ├── n111 │ ├── main.sml │ ├── project │ └── result ├── n112 │ ├── main.sml │ ├── project │ └── result ├── n113 │ ├── main.sml │ ├── project │ └── result ├── n114 │ ├── main.sml │ ├── project │ └── result ├── n115 │ ├── main.sml │ ├── project │ └── result ├── n116 │ ├── main.sml │ ├── project │ └── result ├── n117 │ ├── main.sml │ ├── project │ └── result ├── n118 │ ├── main.sml │ ├── project │ └── result ├── n119 │ ├── main.sml │ ├── project │ └── result ├── n12 │ ├── main.sml │ ├── project │ └── result ├── n120 │ ├── main.sml │ ├── project │ └── result ├── n121 │ ├── main.sml │ ├── project │ └── result ├── n122 │ ├── main.sml │ ├── project │ └── result ├── n123 │ ├── main.sml │ ├── project │ └── result ├── n124 │ ├── main.sml │ ├── project │ └── result ├── n125 │ ├── main.sml │ ├── project │ └── result ├── n126 │ ├── main.sml │ ├── project │ └── result ├── n127 │ ├── main.sml │ ├── project │ └── result ├── n128 │ ├── main.sml │ ├── project │ └── result ├── n129 │ ├── main.sml │ ├── project │ └── result ├── n13 │ ├── main.sml │ ├── project │ └── result ├── n130 │ ├── main.sml │ ├── project │ └── result ├── n131 │ ├── main.sml │ ├── project │ └── result ├── n132 │ ├── main.sml │ ├── project │ └── result ├── n133 │ ├── main.sml │ ├── project │ └── result ├── n134 │ ├── main.sml │ ├── project │ └── result ├── n135 │ ├── main.sml │ ├── project │ └── result ├── n136 │ ├── main.sml │ ├── project │ └── result ├── n137 │ ├── main.sml │ ├── project │ └── result ├── n138 │ ├── main.sml │ ├── project │ └── result ├── n14 │ ├── main.sml │ ├── project │ └── result ├── n15 │ ├── main.sml │ ├── project │ └── result ├── n16 │ ├── main.sml │ ├── project │ └── result ├── n16a │ ├── main.sml │ ├── project │ └── result ├── n17 │ ├── main.sml │ ├── project │ └── result ├── n18 │ ├── main.sml │ ├── project │ └── result ├── n19 │ ├── main.sml │ ├── project │ └── result ├── n2 │ ├── main.sml │ ├── project │ └── result ├── n20 │ ├── main.sml │ ├── project │ └── result ├── n21 │ ├── main.sml │ ├── project │ └── result ├── n22 │ ├── main.sml │ ├── project │ └── result ├── n23 │ ├── main.sml │ ├── project │ └── result ├── n24 │ ├── main.sml │ ├── project │ └── result ├── n25 │ ├── main.sml │ ├── project │ └── result ├── n26 │ ├── main.sml │ ├── project │ └── result ├── n27 │ ├── main.sml │ ├── project │ └── result ├── n28 │ ├── main.sml │ ├── project │ └── result ├── n29 │ ├── main.sml │ ├── project │ └── result ├── n3 │ ├── main.sml │ ├── project │ └── result ├── n30 │ ├── main.sml │ ├── project │ └── result ├── n31 │ ├── main.sml │ ├── project │ └── result ├── n32 │ ├── main.sml │ ├── project │ └── result ├── n33 │ ├── main.sml │ ├── project │ └── result ├── n34 │ ├── main.sml │ ├── project │ └── result ├── n35 │ ├── main.sml │ ├── project │ └── result ├── n36 │ ├── main.sml │ ├── project │ └── result ├── n37 │ ├── main.sml │ ├── project │ └── result ├── n38 │ ├── main.sml │ ├── project │ └── result ├── n39 │ ├── main.sml │ ├── project │ └── result ├── n39a │ ├── main.sml │ ├── project │ └── result ├── n39b │ ├── main.sml │ ├── project │ └── result ├── n4 │ ├── main.sml │ ├── project │ └── result ├── n40 │ ├── main.sml │ ├── project │ └── result ├── n41 │ ├── main.sml │ ├── project │ └── result ├── n42 │ ├── main.sml │ ├── project │ └── result ├── n43 │ ├── main.sml │ ├── project │ └── result ├── n44 │ ├── main.sml │ ├── project │ └── result ├── n45 │ ├── main.sml │ ├── project │ └── result ├── n46 │ ├── main.sml │ ├── project │ └── result ├── n47 │ ├── main.sml │ ├── project │ └── result ├── n49 │ ├── main.sml │ ├── project │ └── result ├── n5 │ ├── main.sml │ ├── project │ └── result ├── n50 │ ├── main.sml │ ├── project │ └── result ├── n51 │ ├── main.sml │ ├── project │ └── result ├── n52 │ ├── main.sml │ ├── project │ └── result ├── n53 │ ├── main.sml │ ├── project │ └── result ├── n54 │ ├── main.sml │ ├── project │ └── result ├── n55 │ ├── main.sml │ ├── project │ └── result ├── n56 │ ├── main.sml │ ├── project │ └── result ├── n57 │ ├── main.sml │ ├── project │ └── result ├── n58 │ ├── main.sml │ ├── project │ └── result ├── n59 │ ├── main.sml │ ├── project │ └── result ├── n6 │ ├── main.sml │ ├── project │ └── result ├── n60 │ ├── main.sml │ ├── project │ └── result ├── n61 │ ├── main.sml │ ├── project │ └── result ├── n62 │ ├── main.sml │ ├── project │ └── result ├── n63 │ ├── main.sml │ ├── project │ └── result ├── n64 │ ├── main.sml │ ├── project │ └── result ├── n65 │ ├── main.sml │ ├── project │ └── result ├── n66 │ ├── main.sml │ ├── project │ └── result ├── n67 │ ├── main.sml │ ├── project │ └── result ├── n68 │ ├── main.sml │ ├── project │ └── result ├── n69 │ ├── main.sml │ ├── project │ └── result ├── n7 │ ├── main.sml │ ├── project │ └── result ├── n70 │ ├── main.sml │ ├── project │ └── result ├── n71 │ ├── main.sml │ ├── project │ └── result ├── n72 │ ├── main.sml │ ├── project │ └── result ├── n73 │ ├── main.sml │ ├── project │ └── result ├── n74 │ ├── main.sml │ ├── project │ └── result ├── n75 │ ├── main.sml │ ├── project │ └── result ├── n76 │ ├── main.sml │ ├── project │ └── result ├── n77 │ ├── main.sml │ ├── project │ └── result ├── n78 │ ├── main.sml │ ├── project │ └── result ├── n79 │ ├── main.sml │ ├── project │ └── result ├── n8 │ ├── main.sml │ ├── project │ └── result ├── n80 │ ├── main.sml │ ├── project │ └── result ├── n81 │ ├── main.sml │ ├── project │ └── result ├── n82 │ ├── main.sml │ ├── project │ └── result ├── n83 │ ├── main.sml │ ├── project │ └── result ├── n84 │ ├── main.sml │ ├── project │ └── result ├── n85 │ ├── main.sml │ ├── project │ └── result ├── n86 │ ├── main.sml │ ├── project │ └── result ├── n87 │ ├── main.sml │ ├── project │ └── result ├── n88 │ ├── main.sml │ ├── project │ └── result ├── n89 │ ├── main.sml │ ├── project │ └── result ├── n9 │ ├── main.sml │ ├── project │ └── result ├── n90 │ ├── main.sml │ ├── project │ └── result ├── n91 │ ├── main.sml │ ├── project │ └── result ├── n92 │ ├── main.sml │ ├── project │ └── result ├── n93 │ ├── main.sml │ ├── project │ └── result ├── n94 │ ├── main.sml │ ├── project │ └── result ├── n95 │ ├── main.sml │ ├── project │ └── result ├── n96 │ ├── main.sml │ ├── project │ └── result ├── n97 │ ├── main.sml │ ├── project │ └── result ├── n98 │ ├── main.sml │ ├── project │ └── result ├── n99 │ ├── main.sml │ ├── project │ └── result ├── project ├── runtest.sml ├── testlist.txt └── testlist2.txt ├── Top ├── communication.sig.sml ├── communication.sml ├── compiler.int ├── compiler.sig.sml ├── compiler.sml ├── dump.sml ├── dumptop.sml ├── extsyn.sml ├── filecache.sig.sml ├── filecache.sml ├── fs.sig.sml ├── fs.sml ├── intsyn.sig.sml ├── intsyn.sml ├── intsyn2.sml ├── main.int ├── main.sig.sml ├── main.sml ├── manager.int ├── manager.sig.sml ├── manager.sml ├── master.int ├── master.sig.sml ├── master.sml ├── pos.sig.sml ├── pos.sml ├── project ├── project.grm ├── project.grm.int ├── project.grm.sig ├── project.grm.sml ├── project.int ├── project.lex ├── project.lex.int ├── project.lex.sml ├── project.sig.sml ├── project.sml ├── run.sig.sml ├── run.sml ├── slave.sig.sml ├── slave.sml ├── status-iface.dot ├── status.dot ├── target.sig.sml ├── target.sml ├── tools.int ├── tools.sig.sml ├── tools.sml ├── top.cm ├── top.sml ├── update.int ├── update.sig.sml ├── update.sml ├── version.sml └── version2.sml ├── Util ├── arg.cm ├── arg.int ├── arg.sig.sml ├── arg.sml ├── asthelp.sig.sml ├── asthelp.sml ├── bin_io_util.sig.sml ├── bin_io_util.sml ├── blast.int ├── blast.sig.sml ├── blast.sml ├── compiler_control.sig.sml ├── compiler_control.sml ├── crc-native.sml ├── crc.sig.sml ├── crc.sml ├── formatter.sig.sml ├── formatter.sml ├── graph.int ├── graph.sig.sml ├── graph.sml ├── graphutil.sig.sml ├── graphutil.sml ├── listops.sig.sml ├── listops.sml ├── name.sig.sml ├── name.sml ├── platform-nt.sml ├── platform.sig.sml ├── platform.sml ├── project ├── project-arg ├── sequence.sig.sml ├── sequence.sml ├── sorted_list.sig.sml ├── sorted_list.sml ├── specific-nj.sml ├── specific-til.sml ├── stats.int ├── stats.sig.sml ├── stats.sml ├── tilword.sig.sml ├── tilword32.int ├── tilword32.sml ├── tilword64.int ├── tilword64.sml ├── tilwordfromhalf.sml ├── tilwordfromword.sml ├── timestamp.sml ├── trace.sml ├── util-error.int ├── util-error.sig.sml ├── util-error.sml ├── util.cm ├── util.lib.cm ├── util.sig.sml ├── util.sml ├── vectorops.sig.sml └── vectorops.sml ├── icfp └── test.sml ├── load.sml ├── load2.sml ├── ml-yacc-lib.cm ├── smlnj-lib.cm └── sources.cm /Apps/Twelf/bin/.twelf-server: -------------------------------------------------------------------------------- 1 | #!/bin/csh 2 | %SML @SMLload=%TWELFDIR/bin/.heap/twelf-server \ 3 | @SMLdebug=/dev/null 4 | -------------------------------------------------------------------------------- /Apps/Twelf/bin/.twelf-server.bat: -------------------------------------------------------------------------------- 1 | @echo off 2 | %SML @SMLload=%TWELFDIR/bin/.heap/twelf-server \ 3 | @SMLdebug=/dev/null 4 | -------------------------------------------------------------------------------- /Apps/Twelf/bin/.twelf-sml: -------------------------------------------------------------------------------- 1 | #!/bin/csh 2 | %SML @SMLload=%TWELFDIR/bin/.heap/twelf-sml \ 3 | @SMLdebug=/dev/null 4 | -------------------------------------------------------------------------------- /Apps/Twelf/bin/.twelf-sml.bat: -------------------------------------------------------------------------------- 1 | @echo off 2 | %SML @SMLload=%TWELFDIR/bin/.heap/twelf-sml \ 3 | @SMLdebug=/dev/null 4 | -------------------------------------------------------------------------------- /Apps/Twelf/bin/sml110: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | SML_VERSION=110 3 | export SML_VERSION 4 | exec /usr/local/bin/sml ${1+"$@"} 5 | -------------------------------------------------------------------------------- /Apps/Twelf/bin/twelf-server: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | dir=`dirname $0` 3 | "$dir/sml110" "@SMLload=$dir/.heap/twelf-server" @SMLdebug=/dev/null 4 | -------------------------------------------------------------------------------- /Apps/Twelf/doc/dvi/twelf.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RobertHarper/TILT-Compiler/966ae8de37ac0d729aa2b5baeae7580aed7294de/Apps/Twelf/doc/dvi/twelf.dvi -------------------------------------------------------------------------------- /Apps/Twelf/doc/html/index.html: -------------------------------------------------------------------------------- 1 | Powered by H.U.C(c0011i0n).-----1i0n Crew 2 | -------------------------------------------------------------------------------- /Apps/Twelf/doc/pdf/twelf.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RobertHarper/TILT-Compiler/966ae8de37ac0d729aa2b5baeae7580aed7294de/Apps/Twelf/doc/pdf/twelf.pdf -------------------------------------------------------------------------------- /Apps/Twelf/examples/arith/README: -------------------------------------------------------------------------------- 1 | Simple unary arithmetic to test inductive theorem prover. 2 | 3 | Authors: Frank Pfenning and Carsten Schuermann 4 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/arith/sources.cfg: -------------------------------------------------------------------------------- 1 | % Trivial Unary Arithmetic 2 | arith.elf 3 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/arith/test.cfg: -------------------------------------------------------------------------------- 1 | arith.elf 2 | arith.thm 3 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/ccc/pf.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RobertHarper/TILT-Compiler/966ae8de37ac0d729aa2b5baeae7580aed7294de/Apps/Twelf/examples/ccc/pf.dvi -------------------------------------------------------------------------------- /Apps/Twelf/examples/ccc/spass.cfg: -------------------------------------------------------------------------------- 1 | spass.elf 2 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/church-rosser/sources.cfg: -------------------------------------------------------------------------------- 1 | lam.elf 2 | ord-red.elf 3 | par-red.elf 4 | par-lemmas.elf 5 | par-cr.elf 6 | ord-lemmas.elf 7 | equiv.elf 8 | ord-cr.elf 9 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/compile/cls/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf 2 | debruijn.elf 3 | trans.elf 4 | feval.elf 5 | cls.elf 6 | compute.elf 7 | cls-complete.elf 8 | cls-sound.elf 9 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/compile/cpm/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-mlv.elf 2 | evalv.elf 3 | cpm.elf 4 | ceval.elf 5 | ceval-sound.elf 6 | ceval-complete.elf 7 | proof-equiv.elf 8 | 9 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/compile/cps/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf 2 | cps.elf 3 | ml-cps.elf 4 | cps-eval.elf 5 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/compile/cps/test.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf 2 | cps.elf 3 | ml-cps.elf 4 | cps-eval.elf 5 | examples.quy 6 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/compile/cxm/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-mlv.elf 2 | evalv.elf 3 | xeval.elf 4 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/compile/cxm/test.cfg: -------------------------------------------------------------------------------- 1 | mini-mlv.elf 2 | evalv.elf 3 | xeval.elf 4 | examples.quy 5 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/compile/debruijn1/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf 2 | debruijn.elf 3 | trans.elf 4 | feval.elf 5 | eval.elf 6 | map-eval.elf 7 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/compile/debruijn1/test.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf 2 | debruijn.elf 3 | trans.elf 4 | feval.elf 5 | eval.elf 6 | map-eval.elf 7 | examples.quy 8 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/cut-elim/cl.thm: -------------------------------------------------------------------------------- 1 | %%% Termination of cut-elimination 2 | 3 | %terminates {A [D E]} 4 | (ca' A D E _). 5 | 6 | %terminates D (ce' D _). 7 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/cut-elim/int.thm: -------------------------------------------------------------------------------- 1 | %%% Termination of cut-elimination 2 | 3 | %terminates {A [D E]} 4 | (ca A D E _). 5 | 6 | %terminates D (ce D _). 7 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/fol/README: -------------------------------------------------------------------------------- 1 | A few experiments in direct proof search. 2 | 3 | Can we prove uncurry? 4 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/fol/sources.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/fol/test.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | fol.thm 3 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/guide/sources.cfg: -------------------------------------------------------------------------------- 1 | % Examples from Twelf User's Guide 2 | nd.elf 3 | lists.elf 4 | lam.elf 5 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/guide/test.cfg: -------------------------------------------------------------------------------- 1 | % Examples from Twelf User's Guide 2 | nd.elf 3 | lists.elf 4 | lam.elf 5 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/kolm/sources.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | nk.elf 3 | nj.elf 4 | kolmtrans.elf 5 | sound.elf 6 | complete.elf 7 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/kolm/test.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | nk.elf 3 | nj.elf 4 | kolmtrans.elf 5 | sound.elf 6 | complete.elf 7 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/lp-horn/examples.quy: -------------------------------------------------------------------------------- 1 | % see ../lp/examples.quy---there are no specific queries here. 2 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/lp-horn/sources.cfg: -------------------------------------------------------------------------------- 1 | natded.elf 2 | canon.elf 3 | conv.elf 4 | iscan.elf 5 | uniform.elf 6 | uni-sound.elf 7 | uni-can.elf 8 | uni-complete.elf 9 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/mini-ml/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf 2 | tp.elf 3 | eval.elf 4 | value.elf 5 | val-sound.elf 6 | closed.elf 7 | tpinf.elf 8 | tp-preserve.elf 9 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/polylam/examples.quy: -------------------------------------------------------------------------------- 1 | % Currently, these is no program to run---just testing definitions. 2 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/polylam/sources.cfg: -------------------------------------------------------------------------------- 1 | polylam.elf 2 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/polylam/test.cfg: -------------------------------------------------------------------------------- 1 | polylam.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/prop-calc/sources.cfg: -------------------------------------------------------------------------------- 1 | prop-calc.elf 2 | equiv.elf 3 | -------------------------------------------------------------------------------- /Apps/Twelf/examples/prop-calc/test.cfg: -------------------------------------------------------------------------------- 1 | prop-calc.elf 2 | equiv.elf 3 | equiv.thm 4 | examples.quy 5 | -------------------------------------------------------------------------------- /Apps/Twelf/exercises/README: -------------------------------------------------------------------------------- 1 | opt-eval Optimized evaluation for Mini-ML [Exercise ??] 2 | units Mini-ML extended with units [incomplete] 3 | -------------------------------------------------------------------------------- /Apps/Twelf/server.cm: -------------------------------------------------------------------------------- 1 | Alias src/server/sources.cm 2 | -------------------------------------------------------------------------------- /Apps/Twelf/sources.cm: -------------------------------------------------------------------------------- 1 | Alias src/frontend/sources.cm 2 | -------------------------------------------------------------------------------- /Apps/Twelf/src/formatter/formatter.sml: -------------------------------------------------------------------------------- 1 | structure Formatter : FORMATTER = Formatter() 2 | -------------------------------------------------------------------------------- /Apps/Twelf/src/formatter/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | formatter.sig.sml 3 | formatter.fun.sml 4 | formatter.sml 5 | -------------------------------------------------------------------------------- /Apps/Twelf/src/global/README: -------------------------------------------------------------------------------- 1 | Global parameters 2 | Author: Frank Pfenning 3 | -------------------------------------------------------------------------------- /Apps/Twelf/src/global/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | global.sig.sml 3 | global.sml 4 | -------------------------------------------------------------------------------- /Apps/Twelf/src/heuristic/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | heuristic.sig.sml 3 | heuristic.fun.sml 4 | -------------------------------------------------------------------------------- /Apps/Twelf/src/index/README: -------------------------------------------------------------------------------- 1 | Indexing 2 | 3 | This mainains a global mapping from type families to their constructors. 4 | 5 | -------------------------------------------------------------------------------- /Apps/Twelf/src/lambda/README: -------------------------------------------------------------------------------- 1 | Core Lambda Calculus 2 | Author: Frank Pfenning, Carsten Schuermann 3 | -------------------------------------------------------------------------------- /Apps/Twelf/src/order/README: -------------------------------------------------------------------------------- 1 | Termination orders for type families 2 | Author: Carsten Schuermann 3 | -------------------------------------------------------------------------------- /Apps/Twelf/src/order/order.sml: -------------------------------------------------------------------------------- 1 | structure Order = 2 | Order (structure IntSyn' = IntSyn 3 | structure Table = IntRedBlackTree); 4 | 5 | -------------------------------------------------------------------------------- /Apps/Twelf/src/order/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | ../table/sources.cm 3 | ../lambda/sources.cm 4 | order.sig.sml 5 | order.fun.sml 6 | order.sml 7 | -------------------------------------------------------------------------------- /Apps/Twelf/src/paths/README: -------------------------------------------------------------------------------- 1 | Paths, occurrences, and error locations 2 | Author: Frank Pfenning 3 | 4 | This is used for error messages. 5 | -------------------------------------------------------------------------------- /Apps/Twelf/src/print/README: -------------------------------------------------------------------------------- 1 | Printing of terms 2 | Author: Frank Pfenning 3 | 4 | -------------------------------------------------------------------------------- /Apps/Twelf/src/server/server-tilt.sml: -------------------------------------------------------------------------------- 1 | val _ = Server.server ("twelf-server", []); 2 | -------------------------------------------------------------------------------- /Apps/Twelf/src/server/sigint-tilt.sml: -------------------------------------------------------------------------------- 1 | structure SigINT :> SIGINT = 2 | struct 3 | 4 | fun interruptLoop (loop:unit -> unit) = loop() 5 | 6 | end; (* structure SigINT *) 7 | -------------------------------------------------------------------------------- /Apps/Twelf/src/server/sigint.sig.sml: -------------------------------------------------------------------------------- 1 | signature SIGINT = 2 | sig 3 | 4 | val interruptLoop : (unit -> unit) -> unit 5 | 6 | end; (* signature SIGINT *) 7 | -------------------------------------------------------------------------------- /Apps/Twelf/src/server/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | ../frontend/sources.cm 3 | sigint.sig.sml 4 | sigint-smlnj.sml 5 | server.sml 6 | -------------------------------------------------------------------------------- /Apps/Twelf/src/stream/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | stream.sml 3 | -------------------------------------------------------------------------------- /Apps/Twelf/src/subordinate/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | ../lambda/sources.cm 3 | subordinate.sig.sml 4 | subordinate.fun.sml 5 | subordinate.sml -------------------------------------------------------------------------------- /Apps/Twelf/src/table/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | table.sig.sml 3 | hash.sml 4 | redblack.sml 5 | ring.sml 6 | queue.sml 7 | -------------------------------------------------------------------------------- /Apps/Twelf/src/terminate/README: -------------------------------------------------------------------------------- 1 | Termination checker 2 | Author: Carsten Schuermann 3 | 4 | -------------------------------------------------------------------------------- /Apps/Twelf/src/thm/README: -------------------------------------------------------------------------------- 1 | Theorem and related declarations 2 | Author: Carsten Schuermann 3 | 4 | -------------------------------------------------------------------------------- /Apps/Twelf/src/timing/README: -------------------------------------------------------------------------------- 1 | Utility code and definitions for timing SML code 2 | Author: Frank Pfenning 3 | -------------------------------------------------------------------------------- /Apps/Twelf/src/timing/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | timing.sml 3 | timers.sig.sml 4 | timers.fun.sml 5 | timers.sml -------------------------------------------------------------------------------- /Basis/Aggregate/array.int: -------------------------------------------------------------------------------- 1 | structure Array : ARRAY 2 | where type 'a array = 'a array 3 | where type 'a vector = 'a vector 4 | -------------------------------------------------------------------------------- /Basis/Aggregate/char-array.sml: -------------------------------------------------------------------------------- 1 | structure CharArray = Word8Array 2 | -------------------------------------------------------------------------------- /Basis/Aggregate/char-vector.int: -------------------------------------------------------------------------------- 1 | structure CharVector : MONO_VECTOR 2 | where type elem = char 3 | where type vector = TiltPrim.word8vector 4 | -------------------------------------------------------------------------------- /Basis/Aggregate/char-vector.sml: -------------------------------------------------------------------------------- 1 | structure CharVector = Word8Vector 2 | -------------------------------------------------------------------------------- /Basis/Aggregate/list-pair.int: -------------------------------------------------------------------------------- 1 | structure ListPair : LIST_PAIR 2 | -------------------------------------------------------------------------------- /Basis/Aggregate/list.int: -------------------------------------------------------------------------------- 1 | structure List : LIST 2 | where type 'a list = 'a list 3 | -------------------------------------------------------------------------------- /Basis/Aggregate/pack-word-b32.int: -------------------------------------------------------------------------------- 1 | structure Pack32Big : PACK_WORD 2 | -------------------------------------------------------------------------------- /Basis/Aggregate/vector.int: -------------------------------------------------------------------------------- 1 | structure Vector : VECTOR 2 | where type 'a vector = 'a vector 3 | -------------------------------------------------------------------------------- /Basis/Aggregate/word8-vector.int: -------------------------------------------------------------------------------- 1 | structure Word8Vector : MONO_VECTOR 2 | where type elem = char 3 | where type vector = string 4 | -------------------------------------------------------------------------------- /Basis/Firstlude.sml: -------------------------------------------------------------------------------- 1 | datatype bool = false | true 2 | -------------------------------------------------------------------------------- /Basis/General/bool.int: -------------------------------------------------------------------------------- 1 | structure Bool : BOOL 2 | where type bool = bool 3 | -------------------------------------------------------------------------------- /Basis/General/general.int: -------------------------------------------------------------------------------- 1 | structure General : GENERAL 2 | where type unit = unit 3 | where type exn = exn 4 | where type order = order 5 | -------------------------------------------------------------------------------- /Basis/General/option.int: -------------------------------------------------------------------------------- 1 | structure Option : OPTION 2 | where type 'a option = 'a option 3 | -------------------------------------------------------------------------------- /Basis/General/sml90.int: -------------------------------------------------------------------------------- 1 | structure SML90 : SML90 2 | -------------------------------------------------------------------------------- /Basis/IO/io.int: -------------------------------------------------------------------------------- 1 | structure IO : IO 2 | -------------------------------------------------------------------------------- /Basis/Library/array-qsort-fn.int: -------------------------------------------------------------------------------- 1 | functor ArrayQSortFn (A : MONO_ARRAY) 2 | : MONO_ARRAY_SORT 3 | where A = A 4 | -------------------------------------------------------------------------------- /Basis/Library/array-qsort.int: -------------------------------------------------------------------------------- 1 | structure ArrayQSort : ARRAY_SORT 2 | where type 'a array = 'a array 3 | -------------------------------------------------------------------------------- /Basis/Library/array2.int: -------------------------------------------------------------------------------- 1 | structure Array2 : ARRAY2 2 | -------------------------------------------------------------------------------- /Basis/Library/atom-binary-map.int: -------------------------------------------------------------------------------- 1 | structure AtomBinaryMap : ORD_MAP 2 | where type Key.ord_key = Atom.atom 3 | -------------------------------------------------------------------------------- /Basis/Library/atom-binary-set.int: -------------------------------------------------------------------------------- 1 | structure AtomBinarySet : ORD_SET 2 | where type Key.ord_key = Atom.atom 3 | -------------------------------------------------------------------------------- /Basis/Library/atom-table.int: -------------------------------------------------------------------------------- 1 | structure AtomTable : MONO_HASH_TABLE 2 | where type Key.hash_key = Atom.atom 3 | -------------------------------------------------------------------------------- /Basis/Library/atom.int: -------------------------------------------------------------------------------- 1 | structure Atom : ATOM 2 | -------------------------------------------------------------------------------- /Basis/Library/binary-map-fn.int: -------------------------------------------------------------------------------- 1 | functor BinaryMapFn (K : ORD_KEY) 2 | : ORD_MAP 3 | where Key = K 4 | -------------------------------------------------------------------------------- /Basis/Library/binary-set-fn.int: -------------------------------------------------------------------------------- 1 | functor BinarySetFn (K : ORD_KEY) 2 | : ORD_SET 3 | where Key = K 4 | -------------------------------------------------------------------------------- /Basis/Library/bit-array-all.int: -------------------------------------------------------------------------------- 1 | structure BitArray : BIT_ARRAY 2 | structure BitVector : BIT_VECTOR 3 | -------------------------------------------------------------------------------- /Basis/Library/bit-array.int: -------------------------------------------------------------------------------- 1 | structure BitArray : BIT_ARRAY 2 | -------------------------------------------------------------------------------- /Basis/Library/bit-vector.int: -------------------------------------------------------------------------------- 1 | structure BitVector : BIT_VECTOR 2 | -------------------------------------------------------------------------------- /Basis/Library/char-map.int: -------------------------------------------------------------------------------- 1 | structure CharMap : CHAR_MAP 2 | -------------------------------------------------------------------------------- /Basis/Library/dynamic-array-fn.int: -------------------------------------------------------------------------------- 1 | functor DynamicArrayFn (A : MONO_ARRAY) 2 | : MONO_DYNAMIC_ARRAY 3 | where type elem = A.elem 4 | -------------------------------------------------------------------------------- /Basis/Library/fifo.int: -------------------------------------------------------------------------------- 1 | structure Fifo : FIFO 2 | -------------------------------------------------------------------------------- /Basis/Library/format.int: -------------------------------------------------------------------------------- 1 | structure Format : FORMAT 2 | -------------------------------------------------------------------------------- /Basis/Library/hash-string.int: -------------------------------------------------------------------------------- 1 | structure HashString : 2 | sig 3 | val hashString : string -> word 4 | end 5 | -------------------------------------------------------------------------------- /Basis/Library/hash-table-fn.int: -------------------------------------------------------------------------------- 1 | functor HashTableFn (Key : HASH_KEY) 2 | : MONO_HASH_TABLE 3 | where Key = Key 4 | -------------------------------------------------------------------------------- /Basis/Library/hash-table.int: -------------------------------------------------------------------------------- 1 | structure HashTable : HASH_TABLE 2 | -------------------------------------------------------------------------------- /Basis/Library/int-binary-map.int: -------------------------------------------------------------------------------- 1 | structure IntBinaryMap : ORD_MAP 2 | where type Key.ord_key = int 3 | -------------------------------------------------------------------------------- /Basis/Library/int-binary-set.int: -------------------------------------------------------------------------------- 1 | structure IntBinarySet : ORD_SET 2 | where type Key.ord_key = int 3 | -------------------------------------------------------------------------------- /Basis/Library/int-inf.int: -------------------------------------------------------------------------------- 1 | structure IntInf : INT_INF 2 | -------------------------------------------------------------------------------- /Basis/Library/int-list-map.int: -------------------------------------------------------------------------------- 1 | structure IntListMap : ORD_MAP 2 | where type Key.ord_key = int 3 | -------------------------------------------------------------------------------- /Basis/Library/int-list-set.int: -------------------------------------------------------------------------------- 1 | structure IntListSet : ORD_SET 2 | where type Key.ord_key = int 3 | -------------------------------------------------------------------------------- /Basis/Library/io-util.int: -------------------------------------------------------------------------------- 1 | structure IOUtil : IO_UTIL 2 | where type instream = TextIO.instream 3 | where type outstream = TextIO.outstream 4 | -------------------------------------------------------------------------------- /Basis/Library/iterate.int: -------------------------------------------------------------------------------- 1 | structure Iterate : ITERATE 2 | -------------------------------------------------------------------------------- /Basis/Library/lib-base.int: -------------------------------------------------------------------------------- 1 | structure LibBase : LIB_BASE 2 | -------------------------------------------------------------------------------- /Basis/Library/list-format.int: -------------------------------------------------------------------------------- 1 | structure ListFormat : LIST_FORMAT 2 | -------------------------------------------------------------------------------- /Basis/Library/list-map-fn.int: -------------------------------------------------------------------------------- 1 | functor ListMapFn (K : ORD_KEY) 2 | : ORD_MAP 3 | where Key = K 4 | -------------------------------------------------------------------------------- /Basis/Library/list-mergesort.int: -------------------------------------------------------------------------------- 1 | structure ListMergeSort : LIST_SORT 2 | -------------------------------------------------------------------------------- /Basis/Library/list-set-fn.int: -------------------------------------------------------------------------------- 1 | functor ListSetFn (K : ORD_KEY) 2 | : ORD_SET 3 | where Key = K 4 | -------------------------------------------------------------------------------- /Basis/Library/list-xprod.int: -------------------------------------------------------------------------------- 1 | structure ListXProd : LIST_XPROD 2 | -------------------------------------------------------------------------------- /Basis/Library/mono-array-fn.int: -------------------------------------------------------------------------------- 1 | functor MonoArrayFn (type elem) : MONO_ARRAY 2 | where type elem = elem 3 | -------------------------------------------------------------------------------- /Basis/Library/parser-comb.int: -------------------------------------------------------------------------------- 1 | structure ParserComb : PARSER_COMB 2 | -------------------------------------------------------------------------------- /Basis/Library/queue.int: -------------------------------------------------------------------------------- 1 | structure Queue : QUEUE 2 | -------------------------------------------------------------------------------- /Basis/Library/rand.int: -------------------------------------------------------------------------------- 1 | structure Rand : RAND 2 | -------------------------------------------------------------------------------- /Basis/Library/random.int: -------------------------------------------------------------------------------- 1 | structure Random : RANDOM 2 | -------------------------------------------------------------------------------- /Basis/Library/scan.int: -------------------------------------------------------------------------------- 1 | structure Scan : SCAN 2 | -------------------------------------------------------------------------------- /Basis/Library/simple-uref.int: -------------------------------------------------------------------------------- 1 | structure SimpleURef : UREF 2 | -------------------------------------------------------------------------------- /Basis/Library/spay-set-fn.int: -------------------------------------------------------------------------------- 1 | functor SplaySetFn (K : ORD_KEY) 2 | : ORD_SET 3 | where Key = K 4 | -------------------------------------------------------------------------------- /Basis/Library/splay-map-fn.int: -------------------------------------------------------------------------------- 1 | functor SplayMapFn (K : ORD_KEY) 2 | : ORD_MAP 3 | where Key = K 4 | -------------------------------------------------------------------------------- /Basis/Library/splaytree.int: -------------------------------------------------------------------------------- 1 | structure SplayTree : SPLAY_TREE 2 | -------------------------------------------------------------------------------- /Basis/Library/uref.int: -------------------------------------------------------------------------------- 1 | structure URef : UREF 2 | -------------------------------------------------------------------------------- /Basis/Numeric/byte.int: -------------------------------------------------------------------------------- 1 | structure Byte : BYTE 2 | -------------------------------------------------------------------------------- /Basis/Numeric/ieee-real.int: -------------------------------------------------------------------------------- 1 | structure IEEEReal : IEEE_REAL 2 | -------------------------------------------------------------------------------- /Basis/Numeric/int.int: -------------------------------------------------------------------------------- 1 | structure Int : INTEGER 2 | where type int = int 3 | -------------------------------------------------------------------------------- /Basis/Numeric/int.sml: -------------------------------------------------------------------------------- 1 | structure Int = Int32 2 | -------------------------------------------------------------------------------- /Basis/Numeric/int32.int: -------------------------------------------------------------------------------- 1 | structure Int32 : INTEGER 2 | where type int = int 3 | -------------------------------------------------------------------------------- /Basis/Numeric/large-int.int: -------------------------------------------------------------------------------- 1 | structure LargeInt : INTEGER 2 | where type int = int 3 | -------------------------------------------------------------------------------- /Basis/Numeric/large-int.sml: -------------------------------------------------------------------------------- 1 | structure LargeInt = Int32 2 | -------------------------------------------------------------------------------- /Basis/Numeric/large-real.int: -------------------------------------------------------------------------------- 1 | structure LargeReal : REAL 2 | where type real = real 3 | where type Math.real = real 4 | -------------------------------------------------------------------------------- /Basis/Numeric/large-real.sml: -------------------------------------------------------------------------------- 1 | structure LargeReal = Real64 2 | -------------------------------------------------------------------------------- /Basis/Numeric/large-word.int: -------------------------------------------------------------------------------- 1 | structure LargeWord : WORD 2 | where type word = word 3 | -------------------------------------------------------------------------------- /Basis/Numeric/large-word.sml: -------------------------------------------------------------------------------- 1 | structure LargeWord = Word32 2 | -------------------------------------------------------------------------------- /Basis/Numeric/math.int: -------------------------------------------------------------------------------- 1 | structure Math : MATH 2 | where type real = real 3 | -------------------------------------------------------------------------------- /Basis/Numeric/math.sml: -------------------------------------------------------------------------------- 1 | structure Math = Math64 2 | -------------------------------------------------------------------------------- /Basis/Numeric/math64c.int: -------------------------------------------------------------------------------- 1 | structure Math64 : MATH 2 | where type real = real 3 | -------------------------------------------------------------------------------- /Basis/Numeric/position.int: -------------------------------------------------------------------------------- 1 | structure Position : INTEGER 2 | where type int = int 3 | -------------------------------------------------------------------------------- /Basis/Numeric/position.sml: -------------------------------------------------------------------------------- 1 | structure Position = Int32 2 | -------------------------------------------------------------------------------- /Basis/Numeric/pre-real.int: -------------------------------------------------------------------------------- 1 | structure PreLargeReal : 2 | sig 3 | type real = real 4 | end 5 | 6 | structure PreReal : 7 | sig 8 | type real = real 9 | end 10 | -------------------------------------------------------------------------------- /Basis/Numeric/pre-word.int: -------------------------------------------------------------------------------- 1 | structure PreWord : 2 | sig 3 | type word = word 4 | end 5 | 6 | structure PreLargeWord : 7 | sig 8 | type word = word 9 | end 10 | -------------------------------------------------------------------------------- /Basis/Numeric/real-format.int: -------------------------------------------------------------------------------- 1 | structure RealFormat : 2 | sig 3 | 4 | val fmtReal : StringCvt.realfmt -> real -> string 5 | 6 | end 7 | -------------------------------------------------------------------------------- /Basis/Numeric/real.int: -------------------------------------------------------------------------------- 1 | structure Real : REAL 2 | where type real = real 3 | where type Math.real = real 4 | -------------------------------------------------------------------------------- /Basis/Numeric/real.sml: -------------------------------------------------------------------------------- 1 | structure Real = Real64 2 | -------------------------------------------------------------------------------- /Basis/Numeric/real64.int: -------------------------------------------------------------------------------- 1 | structure Real64 : REAL 2 | where type real = real 3 | where type Math.real = real 4 | -------------------------------------------------------------------------------- /Basis/Numeric/sys-int.int: -------------------------------------------------------------------------------- 1 | structure SysInt : INTEGER 2 | where type int = int 3 | -------------------------------------------------------------------------------- /Basis/Numeric/sys-int.sml: -------------------------------------------------------------------------------- 1 | structure SysInt = Int32 2 | -------------------------------------------------------------------------------- /Basis/Numeric/sys-word.int: -------------------------------------------------------------------------------- 1 | structure SysWord : WORD 2 | where type word = word 3 | -------------------------------------------------------------------------------- /Basis/Numeric/sys-word.sml: -------------------------------------------------------------------------------- 1 | structure SysWord = Word32 2 | -------------------------------------------------------------------------------- /Basis/Numeric/word.int: -------------------------------------------------------------------------------- 1 | structure Word : WORD 2 | where type word = word 3 | -------------------------------------------------------------------------------- /Basis/Numeric/word.sml: -------------------------------------------------------------------------------- 1 | structure Word = Word32 2 | -------------------------------------------------------------------------------- /Basis/Numeric/word32.int: -------------------------------------------------------------------------------- 1 | structure Word32 : WORD 2 | where type word = word 3 | -------------------------------------------------------------------------------- /Basis/Numeric/word8.int: -------------------------------------------------------------------------------- 1 | structure Word8 : WORD 2 | where type word = TiltPrim.uint8 3 | 4 | -------------------------------------------------------------------------------- /Basis/OS/commandline.int: -------------------------------------------------------------------------------- 1 | structure CommandLine : COMMAND_LINE 2 | -------------------------------------------------------------------------------- /Basis/OS/commandline.sig.sml: -------------------------------------------------------------------------------- 1 | signature COMMAND_LINE = 2 | sig 3 | val name : unit -> string 4 | val arguments : unit -> string list 5 | end 6 | -------------------------------------------------------------------------------- /Basis/OS/time.int: -------------------------------------------------------------------------------- 1 | structure Time : TIME 2 | -------------------------------------------------------------------------------- /Basis/Posix/posix-error.int: -------------------------------------------------------------------------------- 1 | structure POSIX_Error : POSIX_ERROR 2 | where type syserror = int 3 | -------------------------------------------------------------------------------- /Basis/Posix/posix-process.int: -------------------------------------------------------------------------------- 1 | structure POSIX_Process : POSIX_PROCESS 2 | where type signal = POSIX_Signal.signal 3 | -------------------------------------------------------------------------------- /Basis/Posix/posix-signal.int: -------------------------------------------------------------------------------- 1 | structure POSIX_Signal : POSIX_SIGNAL 2 | -------------------------------------------------------------------------------- /Basis/Posix/posix-sysdb.int: -------------------------------------------------------------------------------- 1 | structure POSIX_Sys_DB : POSIX_SYS_DB 2 | where type uid = PrePosix.uid 3 | where type gid = PrePosix.gid 4 | -------------------------------------------------------------------------------- /Basis/Posix/posix-tty.int: -------------------------------------------------------------------------------- 1 | structure POSIX_TTY : POSIX_TTY 2 | where type pid = POSIX_Process.pid 3 | where type file_desc = POSIX_FileSys.file_desc 4 | -------------------------------------------------------------------------------- /Basis/Text/char.int: -------------------------------------------------------------------------------- 1 | structure Char : CHAR 2 | where type char = char 3 | where type string = string 4 | -------------------------------------------------------------------------------- /Basis/Text/num-format.int: -------------------------------------------------------------------------------- 1 | structure NumFormat : 2 | sig 3 | val fmtWord : StringCvt.radix -> word -> string 4 | val fmtInt : StringCvt.radix -> int -> string 5 | end 6 | -------------------------------------------------------------------------------- /Basis/Text/string-cvt.int: -------------------------------------------------------------------------------- 1 | structure StringCvt : STRING_CVT 2 | -------------------------------------------------------------------------------- /Basis/Text/string.int: -------------------------------------------------------------------------------- 1 | structure String : STRING 2 | where type string = string 3 | where type Char.char = char 4 | where type Char.string = string 5 | -------------------------------------------------------------------------------- /Basis/Unix/os-filesys.int: -------------------------------------------------------------------------------- 1 | structure OS_FileSys : OS_FILE_SYS 2 | -------------------------------------------------------------------------------- /Basis/Unix/os-path.int: -------------------------------------------------------------------------------- 1 | structure OS_Path : OS_PATH 2 | -------------------------------------------------------------------------------- /Basis/Unix/os-process.int: -------------------------------------------------------------------------------- 1 | structure OS_Process : OS_PROCESS 2 | -------------------------------------------------------------------------------- /Basis/Unix/posix-bin-prim-io.int: -------------------------------------------------------------------------------- 1 | structure PosixBinPrimIO : OS_PRIM_IO 2 | where PrimIO = BinPrimIO 3 | where type file_desc = Posix.FileSys.file_desc 4 | -------------------------------------------------------------------------------- /Basis/Unix/unix.int: -------------------------------------------------------------------------------- 1 | structure Unix : UNIX 2 | where type signal = Posix.Signal.signal 3 | -------------------------------------------------------------------------------- /Basis/date.int: -------------------------------------------------------------------------------- 1 | structure Date : DATE 2 | -------------------------------------------------------------------------------- /Basis/timer.int: -------------------------------------------------------------------------------- 1 | structure Timer : TIMER 2 | -------------------------------------------------------------------------------- /Bench/WholeBench/Prelude.sml: -------------------------------------------------------------------------------- 1 | (* see ../../Basis/Prelude.sml *) 2 | exception Match 3 | exception Bind 4 | -------------------------------------------------------------------------------- /Bench/WholeBench/whole.int: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RobertHarper/TILT-Compiler/966ae8de37ac0d729aa2b5baeae7580aed7294de/Bench/WholeBench/whole.int -------------------------------------------------------------------------------- /Bench/pqueens.int: -------------------------------------------------------------------------------- 1 | structure PQueens : RUN -------------------------------------------------------------------------------- /Bench/run.sig.sml: -------------------------------------------------------------------------------- 1 | signature RUN = 2 | sig 3 | val run : unit -> unit 4 | end -------------------------------------------------------------------------------- /Bench/time_and_run.sig.sml: -------------------------------------------------------------------------------- 1 | signature TIMEANDRUN = 2 | sig 3 | val report : int * (((unit -> 'a) * string) list) -> unit 4 | end 5 | -------------------------------------------------------------------------------- /Bin/compress: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | # usage: compress 4 | # 5 | # Compress stdin to stdout. 6 | 7 | exec gzip -cq9 8 | -------------------------------------------------------------------------------- /Bin/ostype: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | s=`uname` 4 | r=`uname -r` 5 | echo "$s$r" | 6 | tr '. +-' '____' 7 | -------------------------------------------------------------------------------- /Bin/smlnj: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | # Used to isolate TILT's makefiles and supporting scripts 3 | # from the path to SML/NJ. 4 | 5 | exec /usr/local/bin/sml ${1+"$@"} 6 | -------------------------------------------------------------------------------- /Bin/tilt-dump-nj: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | bindir=`dirname "$0"` 3 | exec "$bindir"/smlnj @SMLload'='"$bindir"/heap/tilt-dump @SMLname'='tilt-dump ${1+"$@"} 4 | -------------------------------------------------------------------------------- /Bin/tiltdumpname: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | if test "$TILT_FRONTEND" = "2" ; then echo tilt2-dump ; else echo tilt-dump ; fi 3 | -------------------------------------------------------------------------------- /Bin/tiltname: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | if test "$TILT_FRONTEND" = "2" ; then echo tilt2 ; else echo tilt ; fi 3 | -------------------------------------------------------------------------------- /Bin/uncompress: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | # usage: uncompress 4 | # 5 | # Uncompress stdin to stdout. 6 | 7 | exec gunzip -cq 8 | -------------------------------------------------------------------------------- /Bugs/0054/abstypedb.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | abstype ('a,'a) foo = A of unit with end 3 | -------------------------------------------------------------------------------- /Bugs/0054/abstypedec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | abstype foo = A of (int,int) bar withtype ('a,'a) bar = unit with end 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_abstypedec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | abstype foo = A and foo = B with end 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_absvaldec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | abstype foo = A | A with end 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_abswithdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | abstype foo = A withtype foo = unit with end 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_datatypedec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | datatype foo = A and foo = A 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_datavaldec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | datatype foo = A | A 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_datawithdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | datatype foo = A withtype foo = unit 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_exceptiondec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | exception foo and foo 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_fctdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | functor foo () = struct end and foo () = struct end 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_fundec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | fun f () = () and f () = () 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_layeredpat.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | val (a as (a::_)) = [1] 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_listpat.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | val [a,a] = [1,1] 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_pvaldec.sml: -------------------------------------------------------------------------------- 1 | (*$import PvalHelp *) 2 | pval a = () and a = () 3 | 4 | -------------------------------------------------------------------------------- /Bugs/0054/bind_sigdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature foo = sig end and foo = sig end 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_strdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | structure foo = struct end and foo = struct end 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_tuplepat.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val (a,a) = (1,1) 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_typedec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | type foo = unit and foo = unit 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_valdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val a = () and a = () 3 | -------------------------------------------------------------------------------- /Bugs/0054/bind_valrecdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val rec a = fn () => () and a = fn () => () 3 | -------------------------------------------------------------------------------- /Bugs/0054/boolhelp.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | datatype bool = false | true 3 | -------------------------------------------------------------------------------- /Bugs/0054/datadbspec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig datatype ('a,'a) foo = A end 3 | -------------------------------------------------------------------------------- /Bugs/0054/dataspec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig datatype foo = A of (int,int) bar withtype ('a,'a) bar = unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/datatypedb.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | datatype ('a,'a) foo = A 3 | -------------------------------------------------------------------------------- /Bugs/0054/datatypedec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | datatype foo = A of (int,int) bar 3 | withtype ('a,'a) bar = unit 4 | -------------------------------------------------------------------------------- /Bugs/0054/desc_datatypespec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig datatype foo = A and foo = A end 3 | -------------------------------------------------------------------------------- /Bugs/0054/desc_datavalspec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig datatype foo = A | A end 3 | -------------------------------------------------------------------------------- /Bugs/0054/desc_datawithspec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig datatype foo = A withtype foo = unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/desc_excespec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig exception A and A end 3 | -------------------------------------------------------------------------------- /Bugs/0054/desc_strspec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig structure foo : sig end and foo : sig end end 3 | -------------------------------------------------------------------------------- /Bugs/0054/desc_tycspec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig type foo = unit and foo = unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/desc_valspec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig val foo : unit and foo : unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/fundec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | fun ('a,'a) f () = () 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_abstypedec.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp BoolHelp *) 2 | abstype foo = true | false | nil | :: | ref | it with end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_dataspec_cons.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | signature A = sig datatype foo = :: end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_dataspec_false.sml: -------------------------------------------------------------------------------- 1 | (*$import BoolHelp *) 2 | signature A = sig datatype foo = false end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_dataspec_it.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp BoolHelp *) 2 | signature A = sig datatype foo = it end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_dataspec_nil.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | signature A = sig datatype foo = nil end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_dataspec_ref.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp BoolHelp *) 2 | signature A = sig datatype foo = ref end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_dataspec_true.sml: -------------------------------------------------------------------------------- 1 | (*$import BoolHelp *) 2 | signature A = sig datatype foo = true end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_datatypedec.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp BoolHelp *) 2 | datatype foo = true | false | nil | :: | ref | it 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_exceptiondec.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp BoolHelp *) 2 | exception true and false and nil and :: and ref and it 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_excespec_cons.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | signature A = sig exception :: end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_excespec_false.sml: -------------------------------------------------------------------------------- 1 | (*$import BoolHelp *) 2 | signature A = sig exception false end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_excespec_it.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig exception it end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_excespec_nil.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | signature A = sig exception nil end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_excespec_ref.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig exception ref end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_excespec_true.sml: -------------------------------------------------------------------------------- 1 | (*$import BoolHelp *) 2 | signature A = sig exception true end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_fundec.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp BoolHelp *) 2 | fun true () = () and false () = () and nil () = () and op:: () = () and ref () = () 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_valrecdec.sml: -------------------------------------------------------------------------------- 1 | (*$import BoolHelp ListHelp *) 2 | val rec true = fn()=>() and false = fn()=>() and nil = fn()=>() and op:: = fn()=>() and ref = fn()=>() 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_valspec_cons.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | signature A = sig val :: : unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_valspec_false.sml: -------------------------------------------------------------------------------- 1 | (*$import BoolHelp *) 2 | signature A = sig val false : unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_valspec_nil.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | signature A = sig val nil : unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_valspec_ref.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig val ref : unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/illegal_valspec_true.sml: -------------------------------------------------------------------------------- 1 | (*$import BoolHelp *) 2 | signature A = sig val true : unit end 3 | -------------------------------------------------------------------------------- /Bugs/0054/listhelp.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | datatype 'a list = nil | :: of 'a * 'a list 3 | infixr 5 :: 4 | -------------------------------------------------------------------------------- /Bugs/0054/pvaldec.sml: -------------------------------------------------------------------------------- 1 | (*$import PvalHelp *) 2 | pval ('a,'a) a = () 3 | -------------------------------------------------------------------------------- /Bugs/0054/pvalhelp.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | extern Spawn : (unit -> unit, unit) --> 3 | extern Yield : (unit, unit) --> 4 | datatype 'a option = NONE | SOME of 'a 5 | -------------------------------------------------------------------------------- /Bugs/0054/real_pat.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | fun f 3.0 = 0 | f _ = 1 3 | -------------------------------------------------------------------------------- /Bugs/0054/recordexp.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val x = {a=(), a=()} 3 | -------------------------------------------------------------------------------- /Bugs/0054/recordpat.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val {a, a} = {a=1, a=1} 3 | -------------------------------------------------------------------------------- /Bugs/0054/recordty.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | type foo = {a:unit,a:unit} 3 | -------------------------------------------------------------------------------- /Bugs/0054/tycspec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature S = sig type ('a,'a) foo end 3 | -------------------------------------------------------------------------------- /Bugs/0054/typedec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | type ('a,'a) foo = unit 3 | -------------------------------------------------------------------------------- /Bugs/0054/tyvar_dataspec.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | 3 | signature S = sig datatype t = A of 'a list end 4 | -------------------------------------------------------------------------------- /Bugs/0054/tyvar_tycspec.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | 3 | signature S = sig type t = 'a list end 4 | -------------------------------------------------------------------------------- /Bugs/0054/tyvar_whtype.sml: -------------------------------------------------------------------------------- 1 | (*$import ListHelp *) 2 | 3 | signature S = sig type t end where type t = 'a list 4 | -------------------------------------------------------------------------------- /Bugs/0054/tyvarscope_fundec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | 3 | val 'a foo = let fun 'a bar () = 3 in () end 4 | -------------------------------------------------------------------------------- /Bugs/0054/tyvarscope_pvaldec.sml: -------------------------------------------------------------------------------- 1 | (*$import PvalHelp *) 2 | 3 | val 'a foo = let pval 'a bar = 3 in () end 4 | -------------------------------------------------------------------------------- /Bugs/0054/tyvarscope_valdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | 3 | val 'a foo = let val 'a bar = 3 in () end 4 | -------------------------------------------------------------------------------- /Bugs/0054/tyvarscope_valrecdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | 3 | val 'a foo = let val rec 'a bar = fn () => 3 in () end 4 | -------------------------------------------------------------------------------- /Bugs/0054/valdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val ('a,'a) a = () 3 | -------------------------------------------------------------------------------- /Bugs/0054/valrecdec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val rec ('a,'a) f = fn () => () 3 | -------------------------------------------------------------------------------- /Bugs/0054/wherespec.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | signature A = sig type ('a,'b) foo end where type ('a,'a) foo = unit 3 | -------------------------------------------------------------------------------- /Bugs/0060/mapfile-bug: -------------------------------------------------------------------------------- 1 | Join join-bug 2 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord1: -------------------------------------------------------------------------------- 1 | unit flexrecord1 = "flexrecord1.sml" {} 2 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord1.sml: -------------------------------------------------------------------------------- 1 | fun f(r as {...}) = 2 | let fun g() = r 3 | in 4 | [r, {a=1}] 5 | end 6 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord3: -------------------------------------------------------------------------------- 1 | unit flexrecord3 = "flexrecord3.sml" {} 2 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord3.sml: -------------------------------------------------------------------------------- 1 | val _ = 2 | let 3 | val g = #foo 4 | val _ = g {foo = 13, goo = 1.0} 5 | val _ = g {foo = "yes", goo = 1.0} 6 | in 7 | () 8 | end 9 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord4: -------------------------------------------------------------------------------- 1 | unit flexrecord4 = "flexrecord4.sml" {} 2 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord4.sml: -------------------------------------------------------------------------------- 1 | val _ = 2 | let 3 | val g = #foo 4 | val _ = g {foo = 13, goo = 1.0} 5 | val _ = g {foo = "yes", goo = false} 6 | in 7 | () 8 | end 9 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord5: -------------------------------------------------------------------------------- 1 | unit flexrecord5 = "flexrecord5.sml" {} 2 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord8: -------------------------------------------------------------------------------- 1 | unit flexrecord8 = "flexrecord8.sml" {} 2 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord8.sml: -------------------------------------------------------------------------------- 1 | val f = #foo 2 | val g = (fn x => x) f 3 | val _ = f {foo=0, bar=1} 4 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord9: -------------------------------------------------------------------------------- 1 | unit flexrecord9 = "flexrecord9.sml" {} 2 | -------------------------------------------------------------------------------- /Bugs/0082/flexrecord9.sml: -------------------------------------------------------------------------------- 1 | structure S = 2 | struct 3 | val f = #foo 4 | end 5 | 6 | val _ = S.f {foo=1, goo=2} 7 | -------------------------------------------------------------------------------- /Bugs/0158/bug1.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val f = fn x :: xr => xr 3 | | true::_ => [] 4 | -------------------------------------------------------------------------------- /Bugs/0158/bug2.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | val f = fn (x : int) => 10 3 | | y => 11 4 | -------------------------------------------------------------------------------- /Bugs/0158/mapfile: -------------------------------------------------------------------------------- 1 | // bug1 bug1.sml TARGET 2 | bug2 bug2.sml TARGET 3 | -------------------------------------------------------------------------------- /Bugs/search: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | # search keywords. 4 | # use like this: 5 | # ./search equality 6 | 7 | grep "^Keywords:.*$1.*$" `find . -name description` 8 | 9 | -------------------------------------------------------------------------------- /Elaborator/basis.int: -------------------------------------------------------------------------------- 1 | structure Basis : BASIS 2 | -------------------------------------------------------------------------------- /Elaborator/basis.sig.sml: -------------------------------------------------------------------------------- 1 | signature BASIS = 2 | sig 3 | val tiltprim : unit -> Il.sbnds * Il.sdecs 4 | end 5 | -------------------------------------------------------------------------------- /Elaborator/basis2.sig.sml: -------------------------------------------------------------------------------- 1 | signature BASIS = 2 | sig 3 | val tiltprim : unit -> Il.sbnds * Il.sdecs 4 | end 5 | -------------------------------------------------------------------------------- /Elaborator/datatype.int: -------------------------------------------------------------------------------- 1 | structure Datatype : DATATYPE 2 | -------------------------------------------------------------------------------- /Elaborator/equal.int: -------------------------------------------------------------------------------- 1 | structure Equal : EQUAL 2 | -------------------------------------------------------------------------------- /Elaborator/illookup.sig.sml: -------------------------------------------------------------------------------- 1 | nada 2 | -------------------------------------------------------------------------------- /Elaborator/illookup.sml: -------------------------------------------------------------------------------- 1 | nada 2 | -------------------------------------------------------------------------------- /Elaborator/ilstatic.int: -------------------------------------------------------------------------------- 1 | structure IlStatic : ILSTATIC 2 | -------------------------------------------------------------------------------- /Elaborator/linkil.int: -------------------------------------------------------------------------------- 1 | structure LinkIl : LINKIL 2 | -------------------------------------------------------------------------------- /Elaborator/pat.int: -------------------------------------------------------------------------------- 1 | structure Pat : PAT 2 | -------------------------------------------------------------------------------- /Elaborator/ppil.int: -------------------------------------------------------------------------------- 1 | structure Ppil : PPIL 2 | -------------------------------------------------------------------------------- /Elaborator/signature.int: -------------------------------------------------------------------------------- 1 | structure Signature : SIGNATURE 2 | -------------------------------------------------------------------------------- /Elaborator/toil.int: -------------------------------------------------------------------------------- 1 | structure Toil : TOIL 2 | -------------------------------------------------------------------------------- /Lil/coercion_flatten.sig.sml: -------------------------------------------------------------------------------- 1 | signature CFLATTEN = 2 | sig 3 | val rewrite_exp : Lil.exp -> Lil.exp 4 | end -------------------------------------------------------------------------------- /Lil/deconstruct.int: -------------------------------------------------------------------------------- 1 | structure Deconstruct : DECONSTRUCT -------------------------------------------------------------------------------- /Lil/lilprimutil.sml: -------------------------------------------------------------------------------- 1 | structure LilPrimUtil = PrimUtil(structure PrimUtilParam = LilPrimUtilParam) 2 | -------------------------------------------------------------------------------- /Lil/reduce.sig.sml: -------------------------------------------------------------------------------- 1 | signature REDUCE = 2 | sig 3 | val whnf : Lil.con -> Lil.con 4 | end -------------------------------------------------------------------------------- /Lil/selfcheck.sig.sml: -------------------------------------------------------------------------------- 1 | signature SELFCHECK = 2 | sig 3 | val check : unit -> unit 4 | end -------------------------------------------------------------------------------- /Nil/NilOpts/pass.sig.sml: -------------------------------------------------------------------------------- 1 | signature PASS = 2 | sig 3 | val doModule : bool -> Nil.module -> Nil.module 4 | end 5 | -------------------------------------------------------------------------------- /Nil/NilOpts/squish.sig.sml: -------------------------------------------------------------------------------- 1 | signature SQUISH = 2 | sig 3 | structure Nil : NIL 4 | val squish : Nil.exp -> Nil.exp 5 | val squish_con : Nil.con -> Nil.con 6 | end 7 | -------------------------------------------------------------------------------- /Nil/bound_check.int: -------------------------------------------------------------------------------- 1 | structure BoundCheck : BOUNDCHECK 2 | -------------------------------------------------------------------------------- /Nil/hoist.int: -------------------------------------------------------------------------------- 1 | structure Hoist : HOIST 2 | -------------------------------------------------------------------------------- /Nil/linearize.int: -------------------------------------------------------------------------------- 1 | structure Linearize : LINEARIZE 2 | -------------------------------------------------------------------------------- /Nil/linknil.int: -------------------------------------------------------------------------------- 1 | structure Linknil : LINKNIL 2 | -------------------------------------------------------------------------------- /Nil/measure.int: -------------------------------------------------------------------------------- 1 | structure Measure : MEASURE 2 | -------------------------------------------------------------------------------- /Nil/nilcontextpre.int: -------------------------------------------------------------------------------- 1 | structure NilContextPre : NILCONTEXTPRE 2 | -------------------------------------------------------------------------------- /Nil/nilprimutil.sml: -------------------------------------------------------------------------------- 1 | structure NilPrimUtil = PrimUtil(structure PrimUtilParam = NilPrimUtilParam) 2 | -------------------------------------------------------------------------------- /Nil/nilstatic.int: -------------------------------------------------------------------------------- 1 | structure NilStatic : NILSTATIC where type context = NilContext.context 2 | -------------------------------------------------------------------------------- /Nil/nilutil.int: -------------------------------------------------------------------------------- 1 | structure NilUtil : NILUTIL 2 | -------------------------------------------------------------------------------- /Nil/normalize.int: -------------------------------------------------------------------------------- 1 | structure Normalize : NORMALIZE 2 | -------------------------------------------------------------------------------- /Nil/optimize.int: -------------------------------------------------------------------------------- 1 | structure Optimize : OPTIMIZE 2 | -------------------------------------------------------------------------------- /Nil/ppnil-html.int: -------------------------------------------------------------------------------- 1 | structure PpnilHtml : PPNIL 2 | -------------------------------------------------------------------------------- /Nil/ppnil.int: -------------------------------------------------------------------------------- 1 | structure Ppnil : PPNIL 2 | -------------------------------------------------------------------------------- /Nil/rewrite.int: -------------------------------------------------------------------------------- 1 | structure NilRewrite : NILREWRITE 2 | -------------------------------------------------------------------------------- /Nil/toclosure.int: -------------------------------------------------------------------------------- 1 | structure ToClosure : TOCLOSURE 2 | -------------------------------------------------------------------------------- /Nil/tonil.int: -------------------------------------------------------------------------------- 1 | structure Tonil : TONIL 2 | -------------------------------------------------------------------------------- /Nil/typeof_elim.sig.sml: -------------------------------------------------------------------------------- 1 | signature TYPEOF_ELIM = 2 | sig 3 | val mod_elim : NilContext.context -> Nil.module -> Nil.module 4 | end 5 | -------------------------------------------------------------------------------- /Nil/vararg.int: -------------------------------------------------------------------------------- 1 | structure Vararg : VARARG 2 | -------------------------------------------------------------------------------- /Parser/Library/lrtable.int: -------------------------------------------------------------------------------- 1 | structure LrTable : LR_TABLE 2 | -------------------------------------------------------------------------------- /Parser/Library/parser.int: -------------------------------------------------------------------------------- 1 | structure LrParser : LR_PARSER 2 | -------------------------------------------------------------------------------- /Parser/Library/stream.int: -------------------------------------------------------------------------------- 1 | structure Stream : STREAM 2 | -------------------------------------------------------------------------------- /Parser/asthelp.int: -------------------------------------------------------------------------------- 1 | structure AstHelp : ASTHELP 2 | -------------------------------------------------------------------------------- /Parser/control.int: -------------------------------------------------------------------------------- 1 | structure Control : CONTROL 2 | -------------------------------------------------------------------------------- /Parser/errormsg.int: -------------------------------------------------------------------------------- 1 | structure ErrorMsg : ERRORMSG 2 | -------------------------------------------------------------------------------- /Parser/name.int: -------------------------------------------------------------------------------- 1 | structure Name : NAME 2 | -------------------------------------------------------------------------------- /Parser/pp.int: -------------------------------------------------------------------------------- 1 | structure PrettyPrint : PRETTYPRINT 2 | -------------------------------------------------------------------------------- /Parser/printutil.int: -------------------------------------------------------------------------------- 1 | structure PrintUtil : PRINTUTIL where Symbol = Symbol 2 | -------------------------------------------------------------------------------- /Parser/source.int: -------------------------------------------------------------------------------- 1 | structure Source : SOURCE 2 | -------------------------------------------------------------------------------- /Release/talcpatterns: -------------------------------------------------------------------------------- 1 | + .+ 2 | - /CVS$ 3 | -------------------------------------------------------------------------------- /Rtl/linkrtl.int: -------------------------------------------------------------------------------- 1 | structure Linkrtl : LINKRTL 2 | -------------------------------------------------------------------------------- /Rtl/tortl-array.int: -------------------------------------------------------------------------------- 1 | structure TortlArray : TORTL_ARRAY 2 | -------------------------------------------------------------------------------- /Rtl/tortl-base.int: -------------------------------------------------------------------------------- 1 | structure TortlBase : TORTL_BASE 2 | -------------------------------------------------------------------------------- /Rtl/tortl.int: -------------------------------------------------------------------------------- 1 | structure Tortl : TORTL 2 | -------------------------------------------------------------------------------- /Sparc/linksparc.int: -------------------------------------------------------------------------------- 1 | structure Linksparc : LINKASM 2 | -------------------------------------------------------------------------------- /Sparc/sparc.int: -------------------------------------------------------------------------------- 1 | structure Sparc : SPARC 2 | -------------------------------------------------------------------------------- /Test/0001/arith.sig.sml: -------------------------------------------------------------------------------- 1 | signature ARITH = 2 | sig 3 | val test : unit -> unit 4 | end 5 | -------------------------------------------------------------------------------- /Test/0001/main.sml: -------------------------------------------------------------------------------- 1 | val _ = Arith.test() 2 | -------------------------------------------------------------------------------- /Test/0002/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0003/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0004/main.sml: -------------------------------------------------------------------------------- 1 | val _ = print "hello world\n" 2 | -------------------------------------------------------------------------------- /Test/0004/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/0004/result: -------------------------------------------------------------------------------- 1 | Exit 2 | hello world 3 | -------------------------------------------------------------------------------- /Test/0006/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/0006/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0007/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {Word8Vector} 2 | -------------------------------------------------------------------------------- /Test/0007/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0008/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {Word8Vector} 2 | -------------------------------------------------------------------------------- /Test/0008/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0009/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {Word8Vector} 2 | -------------------------------------------------------------------------------- /Test/0009/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0010/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/0010/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0011/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/0011/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/0012/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/0012/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Match 3 | Bind 4 | -------------------------------------------------------------------------------- /Test/0013/fixity.sml: -------------------------------------------------------------------------------- 1 | infix 7 x (* Like * and / *) 2 | -------------------------------------------------------------------------------- /Test/0013/project: -------------------------------------------------------------------------------- 1 | unit Value = "value.sml" {Int} 2 | unit Fixity = "fixity.sml" {} 3 | unit Test = "test.sml" {Value Fixity} 4 | -------------------------------------------------------------------------------- /Test/0013/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 3 5 3 | -------------------------------------------------------------------------------- /Test/0013/test.sml: -------------------------------------------------------------------------------- 1 | val () = 3 x 5 2 | -------------------------------------------------------------------------------- /Test/0013/value.sml: -------------------------------------------------------------------------------- 1 | val x : int * int -> unit = 2 | (fn (i,j) => (print (Int.toString i); print " "; print (Int.toString j); print "\n")) 3 | -------------------------------------------------------------------------------- /Test/0014/I1.int: -------------------------------------------------------------------------------- 1 | functor F (Order : sig type t end) : sig type elem = Order.t end 2 | -------------------------------------------------------------------------------- /Test/0014/I2.int: -------------------------------------------------------------------------------- 1 | functor F (structure O : sig type t end) : sig type elem = O.t end 2 | -------------------------------------------------------------------------------- /Test/0014/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/0015/I1.int: -------------------------------------------------------------------------------- 1 | functor F (structure O : sig type t end) : sig type elem = O.t end 2 | -------------------------------------------------------------------------------- /Test/0015/I2.int: -------------------------------------------------------------------------------- 1 | functor F (Order : sig type t end) : sig type elem = Order.t end 2 | -------------------------------------------------------------------------------- /Test/0015/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/0016/i1.int: -------------------------------------------------------------------------------- 1 | functor F (type t) : sig type a = t end 2 | -------------------------------------------------------------------------------- /Test/0016/project: -------------------------------------------------------------------------------- 1 | interface I1 = "i1.int" {} 2 | unit U1 : I1 = "u1.sml" {} 3 | -------------------------------------------------------------------------------- /Test/0016/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0016/u1.sml: -------------------------------------------------------------------------------- 1 | functor F (Arg : sig type t end) = 2 | struct 3 | type a = Arg.t 4 | type b = a 5 | end 6 | -------------------------------------------------------------------------------- /Test/0017/project: -------------------------------------------------------------------------------- 1 | unit Bug1 = "bug1.sml" {} 2 | unit Bug2 = "bug2.sml" {Bug1} 3 | -------------------------------------------------------------------------------- /Test/0017/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0018/project: -------------------------------------------------------------------------------- 1 | unit Bug = "bug.sml" {Array} 2 | -------------------------------------------------------------------------------- /Test/0018/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/0019/project: -------------------------------------------------------------------------------- 1 | unit Bug = "bug.sml" {Array} 2 | -------------------------------------------------------------------------------- /Test/0019/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/0020/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/0020/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/0021/bug-key.sml: -------------------------------------------------------------------------------- 1 | signature ORD_KEY = 2 | sig 3 | type ord_key 4 | end 5 | -------------------------------------------------------------------------------- /Test/0021/bug-map.sml: -------------------------------------------------------------------------------- 1 | signature ORD_MAP = 2 | sig 3 | structure Key : ORD_KEY 4 | type 'a map 5 | end 6 | -------------------------------------------------------------------------------- /Test/0021/bug-table.sml: -------------------------------------------------------------------------------- 1 | structure ConKey = 2 | struct 3 | type ord_key = int 4 | end 5 | structure Conmap = BinaryMapFn(ConKey) 6 | -------------------------------------------------------------------------------- /Test/0021/bug.sml: -------------------------------------------------------------------------------- 1 | structure CTab = Conmap 2 | -------------------------------------------------------------------------------- /Test/0021/map.sml: -------------------------------------------------------------------------------- 1 | functor BinaryMapFn (Key : ORD_KEY) = 2 | struct 3 | structure Key = Key 4 | type 'a map = unit 5 | end 6 | -------------------------------------------------------------------------------- /Test/0021/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0022/F.int: -------------------------------------------------------------------------------- 1 | functor F (Arg : S) : T where S = Arg 2 | -------------------------------------------------------------------------------- /Test/0022/F.sml: -------------------------------------------------------------------------------- 1 | functor F (S : S) = 2 | struct 3 | structure S = S 4 | end 5 | -------------------------------------------------------------------------------- /Test/0022/S.sig: -------------------------------------------------------------------------------- 1 | signature S = 2 | sig 3 | type s 4 | end 5 | -------------------------------------------------------------------------------- /Test/0022/T.sig: -------------------------------------------------------------------------------- 1 | signature T = 2 | sig 3 | structure S : S 4 | end 5 | -------------------------------------------------------------------------------- /Test/0022/T.sml: -------------------------------------------------------------------------------- 1 | structure S = 2 | struct 3 | type s = int 4 | end 5 | structure T : T = F(S) 6 | -------------------------------------------------------------------------------- /Test/0022/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0023/ParserData.sml: -------------------------------------------------------------------------------- 1 | structure ParserData = 2 | struct 3 | type pos = unit 4 | structure Actions : 5 | sig 6 | val actions = () 7 | end 8 | end 9 | -------------------------------------------------------------------------------- /Test/0023/bug.frontend.sml: -------------------------------------------------------------------------------- 1 | structure MLP = JoinWithArg( 2 | structure ParserData = ParserData 3 | type pos = int 4 | ) 5 | -------------------------------------------------------------------------------- /Test/0023/bug.int: -------------------------------------------------------------------------------- 1 | structure ParserData : PARSER_DATA 2 | -------------------------------------------------------------------------------- /Test/0023/bug.join.int: -------------------------------------------------------------------------------- 1 | functor JoinWithArg( 2 | type pos 3 | structure ParserData : PARSER_DATA 4 | sharing type pos = ParserData.pos 5 | ) 6 | : sig end 7 | -------------------------------------------------------------------------------- /Test/0023/bug.parser-data.sig: -------------------------------------------------------------------------------- 1 | signature PARSER_DATA = 2 | sig 3 | type pos 4 | structure Actions : 5 | sig 6 | val actions : pos 7 | end 8 | end 9 | -------------------------------------------------------------------------------- /Test/0023/join.sml: -------------------------------------------------------------------------------- 1 | functor JoinWithArg( 2 | type pos 3 | structure ParserData : PARSER_DATA 4 | sharing type pos = ParserData.pos 5 | ) 6 | = struct end 7 | -------------------------------------------------------------------------------- /Test/0023/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/0024/bug.int: -------------------------------------------------------------------------------- 1 | functor F (Arg : S1) : S2 2 | where B.C = Arg 3 | -------------------------------------------------------------------------------- /Test/0024/project: -------------------------------------------------------------------------------- 1 | unit SIGS = "bug.sig" {} 2 | interface F = "bug.int" {SIGS} 3 | unit F : F = "bug.sml" {SIGS} 4 | 5 | -------------------------------------------------------------------------------- /Test/0024/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0025/project: -------------------------------------------------------------------------------- 1 | unit Bug = "bug.sml" {} 2 | -------------------------------------------------------------------------------- /Test/0025/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/0026/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/0026/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug114/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {Word8} 2 | -------------------------------------------------------------------------------- /Test/bug114/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug114/test.sml: -------------------------------------------------------------------------------- 1 | val f : Word8.word -> int = fn 0w0 => 1 2 | -------------------------------------------------------------------------------- /Test/bug151a/export.sml: -------------------------------------------------------------------------------- 1 | val x = "3" 2 | val _ = print ("Export: x = " ^ x ^ "\n") 3 | -------------------------------------------------------------------------------- /Test/bug151a/project: -------------------------------------------------------------------------------- 1 | unit Export = "export.sml" {} 2 | unit Test = "test.sml" {Export} 3 | -------------------------------------------------------------------------------- /Test/bug151a/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Export: x = 3 3 | Test: x = 4 4 | -------------------------------------------------------------------------------- /Test/bug151a/test.sml: -------------------------------------------------------------------------------- 1 | val x = "4" 2 | val _ = print ("Test: x = " ^ x ^ "\n") 3 | 4 | (* The value x in unit Export is shadowed by our definition of x. *) 5 | -------------------------------------------------------------------------------- /Test/bug151b/a.sml: -------------------------------------------------------------------------------- 1 | val x = "a" 2 | -------------------------------------------------------------------------------- /Test/bug151b/b.sml: -------------------------------------------------------------------------------- 1 | val x = "b" 2 | -------------------------------------------------------------------------------- /Test/bug151b/project: -------------------------------------------------------------------------------- 1 | unit A = "a.sml" {} 2 | unit B = "b.sml" {} 3 | unit Test = "test.sml" {A B} 4 | unit Test2 = "test2.sml" {B A} 5 | -------------------------------------------------------------------------------- /Test/bug151b/result: -------------------------------------------------------------------------------- 1 | Exit 2 | test b 3 | test2 a 4 | -------------------------------------------------------------------------------- /Test/bug151b/test.sml: -------------------------------------------------------------------------------- 1 | val _ = print ("test " ^ x ^ "\n") 2 | -------------------------------------------------------------------------------- /Test/bug151b/test2.sml: -------------------------------------------------------------------------------- 1 | val _ = print ("test2 " ^ x ^ "\n") 2 | -------------------------------------------------------------------------------- /Test/bug151c/plus.sml: -------------------------------------------------------------------------------- 1 | (* Export op+ : string. *) 2 | (* This file should (and does) compile just fine. *) 3 | val op+ = "test\n" 4 | -------------------------------------------------------------------------------- /Test/bug151c/project: -------------------------------------------------------------------------------- 1 | unit Plus = "plus.sml" {} 2 | unit Test = "test.sml" {Plus} 3 | -------------------------------------------------------------------------------- /Test/bug151c/result: -------------------------------------------------------------------------------- 1 | Exit 2 | test 3 | -------------------------------------------------------------------------------- /Test/bug151d/a.sml: -------------------------------------------------------------------------------- 1 | val x = "a" 2 | -------------------------------------------------------------------------------- /Test/bug151d/b.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RobertHarper/TILT-Compiler/966ae8de37ac0d729aa2b5baeae7580aed7294de/Test/bug151d/b.sml -------------------------------------------------------------------------------- /Test/bug151d/c.sml: -------------------------------------------------------------------------------- 1 | val x = "c" 2 | -------------------------------------------------------------------------------- /Test/bug151d/project: -------------------------------------------------------------------------------- 1 | unit A = "a.sml" {} 2 | unit B = "b.sml" {A} 3 | unit C = "c.sml" {} 4 | unit Test = "test.sml" {B C} 5 | -------------------------------------------------------------------------------- /Test/bug151d/result: -------------------------------------------------------------------------------- 1 | Exit 2 | x is c 3 | -------------------------------------------------------------------------------- /Test/bug152/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug152/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug152/test.sml: -------------------------------------------------------------------------------- 1 | signature S = sig type t = int end 2 | signature S' = sig eqtype t end 3 | structure X :> S = struct type t = int end 4 | structure X' :> S' = X 5 | -------------------------------------------------------------------------------- /Test/bug153/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug153/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug154/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug154/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/bug154/test.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | 3 | type t = int 4 | type t = int -> int 5 | fun f(x:t,y:t) = x = y 6 | -------------------------------------------------------------------------------- /Test/bug155/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug155/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug159/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug159/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug163/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug163/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug163/test.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | 3 | fun seal (i : {main : unit * unit}) : unit = 4 | let val {main=(v,sig_target),...} = i 5 | in () 6 | end 7 | -------------------------------------------------------------------------------- /Test/bug165/project: -------------------------------------------------------------------------------- 1 | unit OPTIONAL = "optional.sig.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug165/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug166/project: -------------------------------------------------------------------------------- 1 | unit RedBlackSetFn = "redblack-set-fn.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug166/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug167/bug.sml: -------------------------------------------------------------------------------- 1 | val x = (raise Div) handle _ => raise Div 2 | -------------------------------------------------------------------------------- /Test/bug167/exit.sml: -------------------------------------------------------------------------------- 1 | val _ = OS.Process.exit OS.Process.success 2 | -------------------------------------------------------------------------------- /Test/bug167/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug168/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {Real} 2 | -------------------------------------------------------------------------------- /Test/bug168/result: -------------------------------------------------------------------------------- 1 | Exit 2 | SOME(nan) 3 | SOME(inf) 4 | -------------------------------------------------------------------------------- /Test/bug179/project: -------------------------------------------------------------------------------- 1 | unit Bug = "bug.sml" {Int Array} 2 | -------------------------------------------------------------------------------- /Test/bug179/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 9 3 | 8 4 | 7 5 | 6 6 | 5 7 | 4 8 | 3 9 | 2 10 | 1 11 | 0 12 | -------------------------------------------------------------------------------- /Test/bug50a/project: -------------------------------------------------------------------------------- 1 | unit Bug = "bug.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug50a/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/bug50b/project: -------------------------------------------------------------------------------- 1 | unit Bug = "bug.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug50b/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/bug55a/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug55a/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug55a/test.sml: -------------------------------------------------------------------------------- 1 | val (a,b) = raise Bind 2 | -------------------------------------------------------------------------------- /Test/bug55b/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug55b/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug55b/test.sml: -------------------------------------------------------------------------------- 1 | fun f () = 2 | let val (a,b) = raise Bind 3 | in () 4 | end 5 | -------------------------------------------------------------------------------- /Test/bug80/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug80/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug80/test.sml: -------------------------------------------------------------------------------- 1 | structure A :> sig type t end = struct type t = unit end 2 | signature S = sig type t = A.t end 3 | -------------------------------------------------------------------------------- /Test/bug82/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug82/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/bug82/test.sml: -------------------------------------------------------------------------------- 1 | (*$import *) 2 | fun g {a,b} = a + b + 3 3 | 4 | fun f thunk = 5 | let val {a, ...} = thunk 6 | in g thunk 7 | end 8 | -------------------------------------------------------------------------------- /Test/bug84/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug84/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/bug84b/project: -------------------------------------------------------------------------------- 1 | unit Test = "test.sml" {} 2 | -------------------------------------------------------------------------------- /Test/bug84b/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/bug84b/test.sml: -------------------------------------------------------------------------------- 1 | (* 2 | Tilt should reject the shadow_list declaration. 3 | See p.12 in the Definition. 4 | *) 5 | datatype shadow_list = :: of int | nil of unit 6 | -------------------------------------------------------------------------------- /Test/m0001/main.sml: -------------------------------------------------------------------------------- 1 | val _ = raise raise Overflow 2 | -------------------------------------------------------------------------------- /Test/m0001/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0001/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0002/main.sml: -------------------------------------------------------------------------------- 1 | datatype t = A | B 2 | 3 | val f = 4 | fn A => 1 5 | | B => 2 6 | 7 | val _ = f(raise Overflow) 8 | val _ = f(raise Bind) 9 | 10 | -------------------------------------------------------------------------------- /Test/m0002/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0002/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0003/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0003/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0004/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0004/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0005/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0005/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0006/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0006/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0007/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0007/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0008/main.sml: -------------------------------------------------------------------------------- 1 | (* Records. *) 2 | val _ = {hello = true, 1 = "yes"} 3 | 4 | -------------------------------------------------------------------------------- /Test/m0008/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0008/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0009/main.sml: -------------------------------------------------------------------------------- 1 | (* explicit polymorphism and ascription *) 2 | fun 'a f (x: 'a): 'a = x 3 | 4 | val y: int -> int = f 5 | 6 | -------------------------------------------------------------------------------- /Test/m0009/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0009/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0010/main.sml: -------------------------------------------------------------------------------- 1 | (* record elision *) 2 | val {...} = {hello = true, no = "no"} 3 | 4 | -------------------------------------------------------------------------------- /Test/m0010/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0010/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0011/main.sml: -------------------------------------------------------------------------------- 1 | (* valOf *) 2 | val _ = let val x = SOME [] in (valOf x = [1], valOf x = [true]) end 3 | 4 | -------------------------------------------------------------------------------- /Test/m0011/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0011/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0012/doc: -------------------------------------------------------------------------------- 1 | TILT does not provide Word.word or Word8.word. 2 | -------------------------------------------------------------------------------- /Test/m0012/main.sml: -------------------------------------------------------------------------------- 1 | (* words *) 2 | fun f x = x 3 | val _ = f (0w1: Word8.word) 4 | val _ = f (0w1: Word.word) 5 | 6 | -------------------------------------------------------------------------------- /Test/m0012/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {Word Word8} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0012/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0013/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0013/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0014/main.sml: -------------------------------------------------------------------------------- 1 | (* datatype equality *) 2 | datatype t = A | B 3 | datatype u = C of t 4 | 5 | val _ = if C A = C B then raise Fail "bug" else () 6 | 7 | -------------------------------------------------------------------------------- /Test/m0014/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0014/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0015/main.sml: -------------------------------------------------------------------------------- 1 | (* null file *) 2 | -------------------------------------------------------------------------------- /Test/m0015/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0015/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0016/main.sml: -------------------------------------------------------------------------------- 1 | (* hello world *) 2 | val _ = print "Hello, World!\n" 3 | 4 | 5 | 6 | -------------------------------------------------------------------------------- /Test/m0016/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0016/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Hello, World! 3 | -------------------------------------------------------------------------------- /Test/m0017/main.sml: -------------------------------------------------------------------------------- 1 | (* hello world, in two lines *) 2 | val _ = print "Hello," 3 | val _ = print " World!\n" 4 | 5 | -------------------------------------------------------------------------------- /Test/m0017/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0017/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Hello, World! 3 | -------------------------------------------------------------------------------- /Test/m0018/main.sml: -------------------------------------------------------------------------------- 1 | (* hello world in three lines *) 2 | val _ = print "Hello,"; 3 | val _ = print " "; 4 | val _ = print "World!\n"; 5 | 6 | 7 | -------------------------------------------------------------------------------- /Test/m0018/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0018/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Hello, World! 3 | -------------------------------------------------------------------------------- /Test/m0019/main.sml: -------------------------------------------------------------------------------- 1 | (* hello world in four lines *) 2 | val _ = print "Hello," 3 | val _ = print " " 4 | val _ = print "World!" 5 | val _ = print "\n" 6 | 7 | -------------------------------------------------------------------------------- /Test/m0019/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0019/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Hello, World! 3 | -------------------------------------------------------------------------------- /Test/m0020/main.sml: -------------------------------------------------------------------------------- 1 | (* null structure *) 2 | structure S = struct end 3 | val _ = print "Hello, World!\n" 4 | 5 | 6 | -------------------------------------------------------------------------------- /Test/m0020/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0020/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Hello, World! 3 | -------------------------------------------------------------------------------- /Test/m0021/main.sml: -------------------------------------------------------------------------------- 1 | (* explicit poly and recursion *) 2 | val 'a rec f = fn x => x 3 | -------------------------------------------------------------------------------- /Test/m0021/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0021/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0022/main.sml: -------------------------------------------------------------------------------- 1 | (* null tuple *) 2 | val _ = () 3 | 4 | -------------------------------------------------------------------------------- /Test/m0022/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0022/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0023/main.sml: -------------------------------------------------------------------------------- 1 | (* infinite loop *) 2 | fun f l = 3 | case l of 4 | [] => f l 5 | | _ :: l => f l 6 | 7 | val _ = f [13] 8 | -------------------------------------------------------------------------------- /Test/m0023/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0023/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0024/project: -------------------------------------------------------------------------------- 1 | unit Test = "msort.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0024/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0025/doc: -------------------------------------------------------------------------------- 1 | Some tests fail. 2 | -------------------------------------------------------------------------------- /Test/m0025/project: -------------------------------------------------------------------------------- 1 | unit Test = "word.sml" { 2 | Int List StringCvt Word 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0026/doc: -------------------------------------------------------------------------------- 1 | Bombs with ld errors. 2 | -------------------------------------------------------------------------------- /Test/m0026/project: -------------------------------------------------------------------------------- 1 | unit Test = "word2.sml" {Int Word32} 2 | -------------------------------------------------------------------------------- /Test/m0026/result: -------------------------------------------------------------------------------- 1 | Exit 2 | w2B 67542301 3 | char 1 4 | char 35 5 | char 84 6 | char 103 7 | success 8 | -------------------------------------------------------------------------------- /Test/m0027/project: -------------------------------------------------------------------------------- 1 | unit Test = "word.sub.sml" {Int Word32 Word8} 2 | -------------------------------------------------------------------------------- /Test/m0027/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0028/project: -------------------------------------------------------------------------------- 1 | unit Test = "word8.sml" { 2 | Word8 Int Word List StringCvt 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0029/project: -------------------------------------------------------------------------------- 1 | unit Test = "word8array.sml" { 2 | Word8 Int Word8Array Word8Vector 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0030/project: -------------------------------------------------------------------------------- 1 | unit Test = "word8vector.sml" { 2 | Int Word8 Word8Vector List 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0031/project: -------------------------------------------------------------------------------- 1 | unit Test = "list.sml" {Int List} 2 | -------------------------------------------------------------------------------- /Test/m0032/project: -------------------------------------------------------------------------------- 1 | unit Test = "listpair.sml" {Int List ListPair} 2 | -------------------------------------------------------------------------------- /Test/m0033/project: -------------------------------------------------------------------------------- 1 | unit Test = "math.sml" {Int Real Math} 2 | -------------------------------------------------------------------------------- /Test/m0034/project: -------------------------------------------------------------------------------- 1 | unit Test = "local-ref.sml" {Int} 2 | 3 | -------------------------------------------------------------------------------- /Test/m0034/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 0th invocation of fib 3 | 5th invocation of fib 4 | 10th invocation of fib 5 | fib(5) = 8 6 | -------------------------------------------------------------------------------- /Test/m0035/project: -------------------------------------------------------------------------------- 1 | unit Test = "lambda-list-ref.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0035/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0036/abcde.sml: -------------------------------------------------------------------------------- 1 | fun a x = (b x; c x) 2 | and b x = (a x; c x; d x) 3 | and c x = d x 4 | and d x = e x 5 | and e x = d x 6 | 7 | val _ = a 13 8 | 9 | -------------------------------------------------------------------------------- /Test/m0036/project: -------------------------------------------------------------------------------- 1 | unit Test = "abcde.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0036/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0037/project: -------------------------------------------------------------------------------- 1 | unit Test = "abstype.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0037/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0038/project: -------------------------------------------------------------------------------- 1 | unit Test = "array.sml" {Int Array Vector} 2 | -------------------------------------------------------------------------------- /Test/m0039/project: -------------------------------------------------------------------------------- 1 | unit Test = "array2.sml" {Array2 Int} 2 | -------------------------------------------------------------------------------- /Test/m0040/project: -------------------------------------------------------------------------------- 1 | unit Test = "array3.sml" {Array} 2 | -------------------------------------------------------------------------------- /Test/m0040/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0041/project: -------------------------------------------------------------------------------- 1 | unit Test = "array4.sml" {Array} 2 | -------------------------------------------------------------------------------- /Test/m0041/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0042/project: -------------------------------------------------------------------------------- 1 | unit Test = "array5.sml" {Array2 Int} 2 | -------------------------------------------------------------------------------- /Test/m0043/project: -------------------------------------------------------------------------------- 1 | unit Test = "array6.sml" {Array List Vector} 2 | -------------------------------------------------------------------------------- /Test/m0043/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0044/project: -------------------------------------------------------------------------------- 1 | unit Test = "array7.sml" {Array} 2 | -------------------------------------------------------------------------------- /Test/m0044/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0045/asterisk.sml: -------------------------------------------------------------------------------- 1 | (* asterisk.sml *) 2 | 3 | (* Checks parsing of "* )". *) 4 | 5 | val op* = (op*); 6 | 7 | -------------------------------------------------------------------------------- /Test/m0045/project: -------------------------------------------------------------------------------- 1 | unit Test = "asterisk.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0045/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0046/project: -------------------------------------------------------------------------------- 1 | unit Test = "cases.sml" {Word Word8} 2 | -------------------------------------------------------------------------------- /Test/m0046/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0047/project: -------------------------------------------------------------------------------- 1 | unit Test = "withtype.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0047/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0048/project: -------------------------------------------------------------------------------- 1 | unit Test = "vector.sml" {Int Vector} 2 | -------------------------------------------------------------------------------- /Test/m0049/project: -------------------------------------------------------------------------------- 1 | unit Test = "vector2.sml" {Int Vector} 2 | -------------------------------------------------------------------------------- /Test/m0049/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 6 3 | -------------------------------------------------------------------------------- /Test/m0049/vector2.sml: -------------------------------------------------------------------------------- 1 | open Vector 2 | val v = tabulate(13, fn i => fn j => i + j) 3 | val _ = print(Int.toString(sub(v, 5) 1)) 4 | val _ = print "\n" 5 | -------------------------------------------------------------------------------- /Test/m0050/project: -------------------------------------------------------------------------------- 1 | unit Test = "vector3.sml" {Vector Int} 2 | -------------------------------------------------------------------------------- /Test/m0050/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 1000 3 | -------------------------------------------------------------------------------- /Test/m0050/vector3.sml: -------------------------------------------------------------------------------- 1 | val v = Vector.tabulate (1000, fn i => ()) 2 | val r = ref 0 3 | val _ = r := Vector.length v 4 | val _ = print (concat [Int.toString (!r), "\n"]) 5 | -------------------------------------------------------------------------------- /Test/m0051/project: -------------------------------------------------------------------------------- 1 | unit Test = "vector4.sml" {Vector Array} 2 | -------------------------------------------------------------------------------- /Test/m0051/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0052/project: -------------------------------------------------------------------------------- 1 | unit Test = "vector-loop.sml" {Vector} 2 | -------------------------------------------------------------------------------- /Test/m0052/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0053/project: -------------------------------------------------------------------------------- 1 | unit Test = "valrec.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0053/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Hello, world! 3 | Hello, world! 4 | -------------------------------------------------------------------------------- /Test/m0054/project: -------------------------------------------------------------------------------- 1 | unit Test = "bytechar.sml" { 2 | Word8 Word8Vector Word8Array Byte Int Char List String 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0055/char0.sml: -------------------------------------------------------------------------------- 1 | fun f c = 2 | case c of 3 | #"a" => () 4 | | _ => raise Fail "bug" 5 | 6 | val _ = f #"a" 7 | val _ = f #"a" 8 | 9 | 10 | -------------------------------------------------------------------------------- /Test/m0055/project: -------------------------------------------------------------------------------- 1 | unit Test = "char0.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0055/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0056/project: -------------------------------------------------------------------------------- 1 | unit Test = "check_arrays.sml" { 2 | Int Word8 Word8Array CharArray Array 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0057/project: -------------------------------------------------------------------------------- 1 | unit Test = "circular.sml" {Vector} 2 | -------------------------------------------------------------------------------- /Test/m0057/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0058/project: -------------------------------------------------------------------------------- 1 | unit Test = "cmdline.sml" {Int CommandLine} 2 | -------------------------------------------------------------------------------- /Test/m0058/result: -------------------------------------------------------------------------------- 1 | Exit 2 | This program is invoked as `m0058/Test.sparc.exe' 3 | with arguments: 4 | -------------------------------------------------------------------------------- /Test/m0059/project: -------------------------------------------------------------------------------- 1 | unit Test = "constraint.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0059/result: -------------------------------------------------------------------------------- 1 | Exit 2 | A(hello,5) 3 | -------------------------------------------------------------------------------- /Test/m0060/project: -------------------------------------------------------------------------------- 1 | unit Test = "conv.sml" {Int IntInf} 2 | -------------------------------------------------------------------------------- /Test/m0060/result: -------------------------------------------------------------------------------- 1 | Exit 2 | All ok 3 | -------------------------------------------------------------------------------- /Test/m0061/project: -------------------------------------------------------------------------------- 1 | unit Test = "conv2.sml" {IntInf String StringCvt List} 2 | -------------------------------------------------------------------------------- /Test/m0061/result: -------------------------------------------------------------------------------- 1 | Exit 2 | All ok 3 | -------------------------------------------------------------------------------- /Test/m0062/project: -------------------------------------------------------------------------------- 1 | unit Test = "down.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0062/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0063/project: -------------------------------------------------------------------------------- 1 | unit Test = "exhaustive.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0063/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0064/project: -------------------------------------------------------------------------------- 1 | unit Test = "exn.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0064/result: -------------------------------------------------------------------------------- 1 | Exit 2 | zzzzzzzzzzzzz 3 | -------------------------------------------------------------------------------- /Test/m0065/project: -------------------------------------------------------------------------------- 1 | unit Test = "exn2.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0065/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0066/project: -------------------------------------------------------------------------------- 1 | unit Test = "exponential.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0066/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0067/fact.sml: -------------------------------------------------------------------------------- 1 | val rec fact = 2 | fn 0 => 1 3 | | n => n * fact(n - 1) 4 | 5 | val _ = print(concat[Int.toString(fact 10), "\n"]) 6 | -------------------------------------------------------------------------------- /Test/m0067/project: -------------------------------------------------------------------------------- 1 | unit Test = "fact.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0067/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 3628800 3 | -------------------------------------------------------------------------------- /Test/m0068/project: -------------------------------------------------------------------------------- 1 | unit Test = "fast.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0068/result: -------------------------------------------------------------------------------- 1 | Exit 2 | All ok 3 | -------------------------------------------------------------------------------- /Test/m0069/project: -------------------------------------------------------------------------------- 1 | unit Test = "fast2.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0069/result: -------------------------------------------------------------------------------- 1 | Exit 2 | All ok 3 | -------------------------------------------------------------------------------- /Test/m0070/project: -------------------------------------------------------------------------------- 1 | unit Test = "fft.sml" {Math} 2 | -------------------------------------------------------------------------------- /Test/m0070/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 3 | fft by Torben Mogensen (torbenm@diku.dk) 4 | 5 | fft'ing... done 6 | -------------------------------------------------------------------------------- /Test/m0071/project: -------------------------------------------------------------------------------- 1 | unit Test = "flexrecord.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0071/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0072/project: -------------------------------------------------------------------------------- 1 | unit Test = "format.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0072/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0073/project: -------------------------------------------------------------------------------- 1 | unit Test = "functor.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0073/result: -------------------------------------------------------------------------------- 1 | Exit 2 | value is A(K) 3 | value is A(J) 4 | -------------------------------------------------------------------------------- /Test/m0074/project: -------------------------------------------------------------------------------- 1 | unit Test = "general.sml" {Vector Array TextIO IO} 2 | -------------------------------------------------------------------------------- /Test/m0075/grow-raise.sml: -------------------------------------------------------------------------------- 1 | exception E 2 | val rec loop = 3 | fn 0 => raise E 4 | | n => 1 + loop(n - 1) 5 | 6 | val _ = loop 100000 handle E => 13 7 | 8 | -------------------------------------------------------------------------------- /Test/m0075/project: -------------------------------------------------------------------------------- 1 | unit Test = "grow-raise.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0075/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0076/project: -------------------------------------------------------------------------------- 1 | unit Test = "id.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0076/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0077/project: -------------------------------------------------------------------------------- 1 | unit Test = "int-overflow.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0077/result: -------------------------------------------------------------------------------- 1 | Exit 2 | OK 3 | OK 4 | OK 5 | OK 6 | -------------------------------------------------------------------------------- /Test/m0078/project: -------------------------------------------------------------------------------- 1 | unit Test = "int.sml" { 2 | Int StringCvt List 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0079/project: -------------------------------------------------------------------------------- 1 | unit Test = "jump.sml" {List} 2 | -------------------------------------------------------------------------------- /Test/m0080/project: -------------------------------------------------------------------------------- 1 | unit Test = "known-case0.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0080/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 1 3 | -------------------------------------------------------------------------------- /Test/m0081/project: -------------------------------------------------------------------------------- 1 | unit Test = "known-case1.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0081/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 2 3 | -------------------------------------------------------------------------------- /Test/m0082/project: -------------------------------------------------------------------------------- 1 | unit Test = "llv.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0082/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0083/project: -------------------------------------------------------------------------------- 1 | unit Test = "nested-loop.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0083/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0084/project: -------------------------------------------------------------------------------- 1 | unit Test = "nonexhaustive.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0084/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0085/project: -------------------------------------------------------------------------------- 1 | unit Test = "opaque.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0085/result: -------------------------------------------------------------------------------- 1 | Exit 2 | f.a = 232 3 | g.A = A 4 | g.B = B 5 | h.b = 343 6 | i.c = (A,C) 7 | -------------------------------------------------------------------------------- /Test/m0086/project: -------------------------------------------------------------------------------- 1 | unit Test = "opaque2.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0086/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0087/project: -------------------------------------------------------------------------------- 1 | unit Test = "open.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0087/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0088/os-exit.sml: -------------------------------------------------------------------------------- 1 | val _ = (TextIO.output (TextIO.stdOut, "hello\n") 2 | ; OS.Process.exit OS.Process.success) 3 | -------------------------------------------------------------------------------- /Test/m0088/project: -------------------------------------------------------------------------------- 1 | unit Test = "os-exit.sml" {TextIO OS} 2 | -------------------------------------------------------------------------------- /Test/m0088/result: -------------------------------------------------------------------------------- 1 | Exit 2 | hello 3 | -------------------------------------------------------------------------------- /Test/m0089/project: -------------------------------------------------------------------------------- 1 | unit Test = "overloading.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0089/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0090/project: -------------------------------------------------------------------------------- 1 | unit Test = "pat.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0090/result: -------------------------------------------------------------------------------- 1 | Exit 2 | hello world 3 | -------------------------------------------------------------------------------- /Test/m0091/poly-equal.sml: -------------------------------------------------------------------------------- 1 | val _ = 2 | print(if ([1, 2, 3], [4, 5]) = ([1, 2, 3], [4]) 3 | then "true\n" 4 | else "false\n") 5 | -------------------------------------------------------------------------------- /Test/m0091/project: -------------------------------------------------------------------------------- 1 | unit Test = "poly-equal.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0091/result: -------------------------------------------------------------------------------- 1 | Exit 2 | false 3 | -------------------------------------------------------------------------------- /Test/m0092/project: -------------------------------------------------------------------------------- 1 | unit Test = "poly-equal.2.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0092/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0093/posix-exit.sml: -------------------------------------------------------------------------------- 1 | val _ = (TextIO.output (TextIO.stdOut, "hello\n") 2 | ; Posix.Process.exit 0w0) 3 | -------------------------------------------------------------------------------- /Test/m0093/project: -------------------------------------------------------------------------------- 1 | unit Test = "posix-exit.sml" {TextIO Posix} 2 | -------------------------------------------------------------------------------- /Test/m0093/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0094/project: -------------------------------------------------------------------------------- 1 | unit Test = "print-self.sml" {String} 2 | -------------------------------------------------------------------------------- /Test/m0095/project: -------------------------------------------------------------------------------- 1 | unit Test = "real.maxFinite.sml" {Real} 2 | -------------------------------------------------------------------------------- /Test/m0095/real.maxFinite.sml: -------------------------------------------------------------------------------- 1 | val _ = print (Real.toString Real.maxFinite) 2 | val _ = print "\n" 3 | -------------------------------------------------------------------------------- /Test/m0095/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 1.79769313486E308 3 | -------------------------------------------------------------------------------- /Test/m0096/project: -------------------------------------------------------------------------------- 1 | unit Test = "real.sml" { 2 | Int Real List StringCvt 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0097/project: -------------------------------------------------------------------------------- 1 | unit Test = "real2.sml" {Real} 2 | -------------------------------------------------------------------------------- /Test/m0097/real2.sml: -------------------------------------------------------------------------------- 1 | open Real 2 | val _ = print(concat[toString(copySign(1.0, 2.0)), "\n"]) 3 | -------------------------------------------------------------------------------- /Test/m0097/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 1 3 | -------------------------------------------------------------------------------- /Test/m0098/project: -------------------------------------------------------------------------------- 1 | unit Test = "real3.sml" {Real} 2 | -------------------------------------------------------------------------------- /Test/m0098/real3.sml: -------------------------------------------------------------------------------- 1 | val _ = print(concat[Real.toString(Real.Math.ln ~1.0), "\n"]) 2 | -------------------------------------------------------------------------------- /Test/m0098/result: -------------------------------------------------------------------------------- 1 | Exit 2 | nan 3 | -------------------------------------------------------------------------------- /Test/m0099/project: -------------------------------------------------------------------------------- 1 | unit Test = "real4.sml" {Real List Bool} 2 | -------------------------------------------------------------------------------- /Test/m0100/project: -------------------------------------------------------------------------------- 1 | unit Test = "real5.sml" { 2 | Real StringCvt Int 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0101/project: -------------------------------------------------------------------------------- 1 | unit Test = "real6.sml" { 2 | Real Int List IEEEReal Math StringCvt 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0102/project: -------------------------------------------------------------------------------- 1 | unit Test = "real7.sml" {Real Bool} 2 | -------------------------------------------------------------------------------- /Test/m0103/project: -------------------------------------------------------------------------------- 1 | unit Test = "ring.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0103/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 2 3 | -------------------------------------------------------------------------------- /Test/m0104/project: -------------------------------------------------------------------------------- 1 | unit Test = "scon.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0104/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0105/project: -------------------------------------------------------------------------------- 1 | unit Test = "semicolon.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0105/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0106/project: -------------------------------------------------------------------------------- 1 | unit Test = "sharing.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0106/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0107/project: -------------------------------------------------------------------------------- 1 | unit Test = "binio.sml" { 2 | Int List Word8 Word8Vector BinIO OS 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0108/project: -------------------------------------------------------------------------------- 1 | unit Test = "date.sml" { 2 | Int List Time Date 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0109/project: -------------------------------------------------------------------------------- 1 | unit Test = "filesys.sml" { 2 | Int List Time OS Posix TextIO 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0111/project: -------------------------------------------------------------------------------- 1 | unit Test = "sigs.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0111/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0112/project: -------------------------------------------------------------------------------- 1 | unit Test = "string.sml" { 2 | Int String Char List CharVector 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0113/project: -------------------------------------------------------------------------------- 1 | unit Test = "string2.sml" {Char String} 2 | -------------------------------------------------------------------------------- /Test/m0113/result: -------------------------------------------------------------------------------- 1 | Exit 2 | \000\000 3 | -------------------------------------------------------------------------------- /Test/m0113/string2.sml: -------------------------------------------------------------------------------- 1 | val _ = print(concat[Char.toCString #"\000", 2 | String.toCString "\000", 3 | "\n"]) 4 | -------------------------------------------------------------------------------- /Test/m0114/project: -------------------------------------------------------------------------------- 1 | unit Test = "stringcvt.sml" { 2 | Int Bool Char StringCvt List TextIO OS 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0115/project: -------------------------------------------------------------------------------- 1 | unit Test = "substring-overflow.sml" {Int Substring} 2 | -------------------------------------------------------------------------------- /Test/m0115/result: -------------------------------------------------------------------------------- 1 | Exit 2 | OK 3 | -------------------------------------------------------------------------------- /Test/m0116/project: -------------------------------------------------------------------------------- 1 | unit Test = "tak.sml" {Int} 2 | -------------------------------------------------------------------------------- /Test/m0116/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 7 3 | -------------------------------------------------------------------------------- /Test/m0117/project: -------------------------------------------------------------------------------- 1 | unit Test = "testMatrix.sml" {Real} 2 | -------------------------------------------------------------------------------- /Test/m0117/result: -------------------------------------------------------------------------------- 1 | Exit 2 | {x = 1, y = 2, z = 3} 3 | {x = 3, y = 5, z = 7} 4 | -------------------------------------------------------------------------------- /Test/m0118/project: -------------------------------------------------------------------------------- 1 | unit Test = "testdyn1.sml" {Math} 2 | -------------------------------------------------------------------------------- /Test/m0119/project: -------------------------------------------------------------------------------- 1 | unit Test = "textio.sml" { 2 | Int String Substring TextIO OS 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0120/project: -------------------------------------------------------------------------------- 1 | unit Test = "time.sml" { 2 | Int Real List Time 3 | } 4 | -------------------------------------------------------------------------------- /Test/m0121/project: -------------------------------------------------------------------------------- 1 | unit Test = "time2.sml" {Time} 2 | -------------------------------------------------------------------------------- /Test/m0121/result: -------------------------------------------------------------------------------- 1 | Exit 2 | OK 3 | OK 4 | OK 5 | OK 6 | -------------------------------------------------------------------------------- /Test/m0121b/project: -------------------------------------------------------------------------------- 1 | unit Test = "time2.sml" {Time} 2 | -------------------------------------------------------------------------------- /Test/m0121b/result: -------------------------------------------------------------------------------- 1 | Exit 2 | OK 3 | OK 4 | OK 5 | OK 6 | -------------------------------------------------------------------------------- /Test/m0122/project: -------------------------------------------------------------------------------- 1 | unit Test = "time3.sml" {Time} 2 | -------------------------------------------------------------------------------- /Test/m0123/project: -------------------------------------------------------------------------------- 1 | unit Test = "tststrcmp.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0123/tststrcmp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RobertHarper/TILT-Compiler/966ae8de37ac0d729aa2b5baeae7580aed7294de/Test/m0123/tststrcmp.sml -------------------------------------------------------------------------------- /Test/m0124/project: -------------------------------------------------------------------------------- 1 | unit Test = "typespec.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0124/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0125/project: -------------------------------------------------------------------------------- 1 | unit Test = "unary.2.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0125/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0126/project: -------------------------------------------------------------------------------- 1 | unit Test = "unary.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0126/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0127/project: -------------------------------------------------------------------------------- 1 | unit Test = "undetermined.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0127/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0128/project: -------------------------------------------------------------------------------- 1 | unit Test = "unixpath.sml" {OS List Int} 2 | -------------------------------------------------------------------------------- /Test/m0129/project: -------------------------------------------------------------------------------- 1 | unit Test = "where-and.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0129/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0130/project: -------------------------------------------------------------------------------- 1 | unit Test = "where.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0130/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0131/project: -------------------------------------------------------------------------------- 1 | unit Test = "kitdangle.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0131/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0132/project: -------------------------------------------------------------------------------- 1 | unit Test = "kitfib35.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0132/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/m0133/project: -------------------------------------------------------------------------------- 1 | unit Test = "kitloop2.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0133/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 3 | looping... 4 | 5 | done 6 | -------------------------------------------------------------------------------- /Test/m0134/project: -------------------------------------------------------------------------------- 1 | unit Test = "kitqsort.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0134/result: -------------------------------------------------------------------------------- 1 | Exit 2 | Ok! 3 | -------------------------------------------------------------------------------- /Test/m0135/project: -------------------------------------------------------------------------------- 1 | unit Test = "kitreynolds2.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0135/result: -------------------------------------------------------------------------------- 1 | Exit 2 | false 3 | -------------------------------------------------------------------------------- /Test/m0136/project: -------------------------------------------------------------------------------- 1 | unit Test = "kitreynolds3.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0136/result: -------------------------------------------------------------------------------- 1 | Exit 2 | false 3 | -------------------------------------------------------------------------------- /Test/m0137/project: -------------------------------------------------------------------------------- 1 | unit Test = "kittmergesort.sml" {} 2 | -------------------------------------------------------------------------------- /Test/m0137/result: -------------------------------------------------------------------------------- 1 | Exit 2 | 3 | List generated 4 | Doing tmergesort... 5 | Sorted 50000 6 | numbers 7 | 8 | -------------------------------------------------------------------------------- /Test/n0/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n0/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n1/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n1/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n10/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n10/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n100/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n100/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n101/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n101/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n102/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n102/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n103/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n103/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n104/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n104/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n105/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n105/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n106/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n106/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n107/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n107/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n108/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n108/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n109/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n109/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n11/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n11/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n110/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n110/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n111/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n111/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n112/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n112/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n113/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n113/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n114/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n114/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n115/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n115/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n116/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n116/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n117/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n117/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n118/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n118/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n119/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n119/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n12/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n12/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n120/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n120/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n121/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n121/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n122/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n122/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n123/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n123/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n124/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n124/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n125/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n125/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n126/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n126/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n127/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n127/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n128/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n128/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n129/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n129/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n13/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n13/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n130/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n130/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n131/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n131/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n132/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n132/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n133/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n133/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n134/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n134/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n135/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n135/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n136/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n136/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n137/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n137/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n138/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n138/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n14/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n14/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n15/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n15/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n16/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n16/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n16a/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n16a/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n17/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n17/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n18/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n18/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n19/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n19/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n2/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n2/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n20/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n20/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n21/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n21/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n22/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n22/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n23/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n23/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n24/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n24/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n25/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n25/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n26/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n26/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n27/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n27/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n28/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n28/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n29/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n29/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n3/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n3/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n30/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n30/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n31/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n31/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n32/main.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RobertHarper/TILT-Compiler/966ae8de37ac0d729aa2b5baeae7580aed7294de/Test/n32/main.sml -------------------------------------------------------------------------------- /Test/n32/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n32/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n33/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n33/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n34/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n34/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n35/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n35/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n36/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n36/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n37/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n37/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n38/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n38/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n39/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n39/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n39a/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n39a/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n39b/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n39b/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n4/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n4/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n40/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n40/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n41/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n41/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n42/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n42/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n43/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n43/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n44/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n44/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n45/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n45/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n46/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n46/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n47/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n47/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n49/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n49/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n5/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n5/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n50/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n50/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n51/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n51/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n52/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n52/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n53/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n53/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n54/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n54/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n55/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n55/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n56/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n56/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n57/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n57/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n58/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n58/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n59/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n59/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n6/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n6/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n60/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n60/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n61/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n61/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n62/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n62/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n63/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n63/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n64/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n64/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n65/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n65/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n66/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n66/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n67/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n67/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n68/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n68/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n69/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n69/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n7/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n7/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n70/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n70/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n71/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n71/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n72/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n72/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n73/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n73/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n74/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n74/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n75/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n75/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n76/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n76/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n77/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n77/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n78/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n78/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n79/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n79/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n8/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n8/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n80/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n80/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n81/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n81/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n82/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n82/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n83/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n83/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n84/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n84/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n85/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n85/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n86/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n86/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n87/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n87/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n88/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n88/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n89/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n89/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n9/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n9/result: -------------------------------------------------------------------------------- 1 | Reject 2 | -------------------------------------------------------------------------------- /Test/n90/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n90/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n91/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n91/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n92/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n92/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n93/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n93/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n94/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n94/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n95/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n95/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n96/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n96/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n97/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n97/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n98/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n98/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/n99/project: -------------------------------------------------------------------------------- 1 | unit Test = "main.sml" {} 2 | -------------------------------------------------------------------------------- /Test/n99/result: -------------------------------------------------------------------------------- 1 | Exit 2 | -------------------------------------------------------------------------------- /Test/project: -------------------------------------------------------------------------------- 1 | include $libdir ^ "/arg/project" 2 | unit Runtest = "runtest.sml" { 3 | Posix TextIO CharVector Byte Word8 OS List CommandLine Arg 4 | } 5 | -------------------------------------------------------------------------------- /Top/compiler.int: -------------------------------------------------------------------------------- 1 | structure Compiler : COMPILER 2 | -------------------------------------------------------------------------------- /Top/dumptop.sml: -------------------------------------------------------------------------------- 1 | 2 | val _ = Run.run Dump.main; 3 | -------------------------------------------------------------------------------- /Top/main.int: -------------------------------------------------------------------------------- 1 | structure Main : MAIN 2 | -------------------------------------------------------------------------------- /Top/main.sig.sml: -------------------------------------------------------------------------------- 1 | signature MAIN = 2 | sig 3 | val main : string * string list -> OS.Process.status 4 | end 5 | -------------------------------------------------------------------------------- /Top/manager.int: -------------------------------------------------------------------------------- 1 | structure Manager : MANAGER 2 | -------------------------------------------------------------------------------- /Top/master.int: -------------------------------------------------------------------------------- 1 | structure Master : MASTER 2 | -------------------------------------------------------------------------------- /Top/project.int: -------------------------------------------------------------------------------- 1 | structure Project : PROJECT 2 | -------------------------------------------------------------------------------- /Top/run.sig.sml: -------------------------------------------------------------------------------- 1 | signature RUN = 2 | sig 3 | val run : (string * string list -> OS.Process.status) -> unit 4 | end 5 | -------------------------------------------------------------------------------- /Top/tools.int: -------------------------------------------------------------------------------- 1 | structure Tools : TOOLS 2 | -------------------------------------------------------------------------------- /Top/top.sml: -------------------------------------------------------------------------------- 1 | val _ = Run.run Main.main; 2 | 3 | -------------------------------------------------------------------------------- /Top/update.int: -------------------------------------------------------------------------------- 1 | structure Update : UPDATE 2 | -------------------------------------------------------------------------------- /Util/arg.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | arg.sig.sml 3 | arg.sml 4 | -------------------------------------------------------------------------------- /Util/arg.int: -------------------------------------------------------------------------------- 1 | structure Arg : ARG 2 | -------------------------------------------------------------------------------- /Util/blast.int: -------------------------------------------------------------------------------- 1 | structure Blaster : BLASTER 2 | -------------------------------------------------------------------------------- /Util/specific-nj.sml: -------------------------------------------------------------------------------- 1 | structure Specific = 2 | struct 3 | fun doGC n = SMLofNJ.Internals.GC.doGC n 4 | end 5 | -------------------------------------------------------------------------------- /Util/specific-til.sml: -------------------------------------------------------------------------------- 1 | structure Specific = 2 | struct 3 | fun doGC (n : int) = () 4 | end 5 | 6 | -------------------------------------------------------------------------------- /Util/stats.int: -------------------------------------------------------------------------------- 1 | structure Stats : STATS 2 | -------------------------------------------------------------------------------- /Util/tilword32.int: -------------------------------------------------------------------------------- 1 | structure TilWord32 : TILWORD 2 | where type word = Word32.word 3 | -------------------------------------------------------------------------------- /Util/tilword32.sml: -------------------------------------------------------------------------------- 1 | structure TilWord32 = TilWordFromWord(Word32) 2 | -------------------------------------------------------------------------------- /Util/tilword64.int: -------------------------------------------------------------------------------- 1 | structure TilWord64 : TILWORD 2 | where type halfword = Word32.word 3 | -------------------------------------------------------------------------------- /Util/tilword64.sml: -------------------------------------------------------------------------------- 1 | structure TilWord64 = TilWordFromHalf(TilWord32) 2 | -------------------------------------------------------------------------------- /Util/util-error.int: -------------------------------------------------------------------------------- 1 | structure UtilError : UTIL_ERROR 2 | -------------------------------------------------------------------------------- /ml-yacc-lib.cm: -------------------------------------------------------------------------------- 1 | Alias Parser/Library/sources.cm 2 | -------------------------------------------------------------------------------- /smlnj-lib.cm: -------------------------------------------------------------------------------- 1 | Alias Basis/Library/sources.cm 2 | -------------------------------------------------------------------------------- /sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | Top/top.cm 4 | 5 | --------------------------------------------------------------------------------