├── .github └── workflows │ └── buildAndTest.yml ├── .gitignore ├── .travis.yml ├── README ├── bin └── .gitignore ├── copyrght ├── copyrght.att ├── copyrght.cl └── gpl2 ├── debian ├── changelog ├── compat ├── control ├── copyright ├── docs ├── mosml.examples ├── mosml.manpages ├── rules └── source │ └── format ├── doc ├── .gitignore ├── bugs ├── garbagecollector.txt ├── memory.txt ├── recomp └── releases.txt ├── examples ├── Makefile ├── Makefile.w32 ├── README ├── Readme.w32 ├── calc │ ├── Lexer.lex │ ├── Makefile │ ├── Makefile.w32 │ ├── Parser.grm │ └── calc.sml ├── cgi │ ├── Makefile │ ├── Makefile.w32 │ ├── README │ ├── README1 │ ├── README2 │ ├── cgiex1.sml │ ├── cgiex2.sml │ ├── cgitest.sml │ ├── htmlform.html │ └── upload.html ├── lexyacc │ ├── Data.sml │ ├── Lexer.lex │ ├── Main.sml │ ├── Makefile │ ├── Makefile.w32 │ ├── Parser.grm │ ├── README │ ├── cl │ │ ├── append.cl │ │ ├── edigits.cl │ │ ├── error1.cl │ │ ├── error2.cl │ │ ├── error3.cl │ │ ├── fib.cl │ │ ├── fibs.cl │ │ ├── hamming.cl │ │ ├── lists.cl │ │ ├── nats.cl │ │ ├── sieve.cl │ │ └── takefrom.cl │ └── load ├── manual │ ├── Evaluate.sig │ ├── Evaluate.sml │ ├── Expr.sml │ ├── Makefile │ ├── Makefile.w32 │ ├── Reduce.sig │ ├── Reduce.sml │ └── load ├── mls │ ├── Makefile │ ├── Makefile.w32 │ └── mls.sml ├── modules │ ├── README │ ├── array.sml │ ├── bootstrap.sml │ ├── choice.sml │ ├── collect.sml │ ├── matrix.sml │ ├── poly.sml │ ├── recursion.sml │ └── sieve.sml ├── msp │ ├── Makefile │ ├── README.md │ ├── calendar.msp │ ├── database.msp │ ├── dbquery.msp │ ├── dbrequestform.msp │ ├── fileindex.msp │ ├── getcookies.msp │ ├── hello.msp │ ├── index.msp │ ├── logtofile.msp │ ├── msp.conf │ ├── mspcompile.sml │ ├── script1.msp │ ├── script2.msp │ ├── script3.msp │ └── test.msp ├── parsercomb │ ├── Makefile │ ├── Parsercomb.sig │ ├── Parsercomb.sml │ ├── README │ └── exprparser.sml ├── paulson │ ├── README │ ├── sample.sml │ ├── sample10.sml │ ├── sample2.sml │ ├── sample3.sml │ ├── sample4.sml │ ├── sample5.sml │ ├── sample7.sml │ ├── sample8.sml │ ├── sample9.sml │ └── test10.sml ├── pretty │ ├── Makefile │ ├── Makefile.w32 │ ├── ppexpr.sml │ └── pproman.sml ├── small │ ├── README │ ├── countperms.sml │ ├── countqueens.sml │ ├── perms.sml │ ├── queens.sml │ ├── roman.sml │ ├── subsets.sml │ └── subsum.sml ├── units │ ├── Evaluate.sig │ ├── Evaluate.sm │ ├── Evaluate.sml │ ├── Expr.sml │ ├── Makefile │ ├── Makefile.w32 │ ├── Reduce.sig │ ├── Reduce.sml │ ├── Test.sml │ └── load ├── weak │ ├── Makefile │ ├── Makefile.w32 │ ├── README │ └── hashcons.sml └── webserver │ ├── Makefile │ ├── README │ ├── echoserver.sml │ ├── minimalserver.sml │ ├── mosmlserver.sml │ └── useit.sml ├── include └── .gitignore ├── install.txt ├── install.txt.w32 ├── lib └── .gitignore ├── man ├── mosml.1 ├── mosmlc.1 ├── mosmllex.1 └── mosmlyac.1 ├── mosml.spec ├── readme.w32 ├── roadmap ├── src ├── .gitignore ├── Makedefs.bin ├── Makedefs.w32 ├── Makefile ├── Makefile.inc ├── Makefile.w32 ├── compiler.cminusminus │ ├── .gitignore │ ├── Arg.sig │ ├── Arg.sml │ ├── Asynt.sml │ ├── Asyntfn.sig │ ├── Asyntfn.sml │ ├── Back.sig │ ├── Back.sml │ ├── Buffcode.sml │ ├── CmmAST.sml │ ├── CmmBack.sml │ ├── CmmEmitcode.sml │ ├── CmmPrint.sig │ ├── CmmPrint.sml │ ├── Code_dec.sml │ ├── Compiler.sig │ ├── Compiler.sml │ ├── Config.mlp │ ├── Const.sml │ ├── Elab.sig │ ├── Elab.sml │ ├── Emit_phr.sml │ ├── Emitcode.sig │ ├── Emitcode.sml │ ├── Exec_phr.sig │ ├── Exec_phr.sml │ ├── Filename.mlp │ ├── Filename.sig │ ├── Fnlib.sig │ ├── Fnlib.sml │ ├── Front.sig │ ├── Front.sml │ ├── Globals.sml │ ├── Hasht.sig │ ├── Hasht.sml │ ├── Infixres.sig │ ├── Infixres.sml │ ├── Infixst.sig │ ├── Infixst.sml │ ├── Instruct.sml │ ├── Labels.sml │ ├── Lambda.sml │ ├── Lexer.lex │ ├── Lexer.sig │ ├── Link.sig │ ├── Link.sml │ ├── Load_phr.sig │ ├── Load_phr.sml │ ├── Location.sig │ ├── Location.sml │ ├── Mainc.sig │ ├── Mainc.sml │ ├── Mainl.sml │ ├── Maint.sig │ ├── Maint.sml │ ├── Makefile │ ├── Makefile.w32 │ ├── Match.sig │ ├── Match.sml │ ├── Memory.sml │ ├── Miscsys.sig │ ├── Miscsys.sml │ ├── Mixture.sig │ ├── Mixture.sml │ ├── Ovlres.sig │ ├── Ovlres.sml │ ├── Parser.grm │ ├── Patch.sml │ ├── Pr_lam.sig │ ├── Pr_lam.sml │ ├── Pr_zam.sml │ ├── Prim.sml │ ├── Prim_opc.sml │ ├── Primdec.sml │ ├── Printexc.sig │ ├── Printexc.sml │ ├── Readword.sml │ ├── Reloc.sml │ ├── Rtvals.sig │ ├── Rtvals.sml │ ├── Sigmtch.sig │ ├── Sigmtch.sml │ ├── Smlexc.sml │ ├── Smlperv.sig │ ├── Smlperv.sml │ ├── Smlprim.sml │ ├── Smltop.sig │ ├── Smltop.sml │ ├── Sort.sig │ ├── Sort.sml │ ├── Stack.sig │ ├── Stack.sml │ ├── Symtable.sig │ ├── Symtable.sml │ ├── Synchk.sig │ ├── Synchk.sml │ ├── Tr_const.sml │ ├── Tr_env.sig │ ├── Tr_env.sml │ ├── Types.sig │ ├── Types.sml │ ├── Units.sig │ ├── Units.sml │ ├── Wpp.sig │ ├── Wpp.sml │ ├── cmm-test │ │ └── buildlist.sml │ ├── cmmbackend.txt │ ├── makefile.dos │ └── mosmlc-- ├── compiler │ ├── .gitignore │ ├── Arg.sig │ ├── Arg.sml │ ├── Asynt.sml │ ├── Asyntfn.sig │ ├── Asyntfn.sml │ ├── Back.sig │ ├── Back.sml │ ├── Buffcode.sml │ ├── Code_dec.sml │ ├── Compiler.sig │ ├── Compiler.sml │ ├── Config.mlp │ ├── Const.sml │ ├── Elab.sig │ ├── Elab.sml │ ├── Emit_phr.sml │ ├── Emitcode.sig │ ├── Emitcode.sml │ ├── Exec_phr.sig │ ├── Exec_phr.sml │ ├── Filename.mlp │ ├── Filename.sig │ ├── Fnlib.sig │ ├── Fnlib.sml │ ├── Front.sig │ ├── Front.sml │ ├── Globals.sml │ ├── Hasht.sig │ ├── Hasht.sml │ ├── Infixres.sig │ ├── Infixres.sml │ ├── Infixst.sig │ ├── Infixst.sml │ ├── Instruct.sml │ ├── Labels.sml │ ├── Lambda.sml │ ├── Lexer.lex │ ├── Lexer.sig │ ├── Link.sig │ ├── Link.sml │ ├── Load_phr.sig │ ├── Load_phr.sml │ ├── Location.sig │ ├── Location.sml │ ├── Mainc.sig │ ├── Mainc.sml │ ├── Mainl.sml │ ├── Maint.sig │ ├── Maint.sml │ ├── Makefile │ ├── Makefile.w32 │ ├── Match.sig │ ├── Match.sml │ ├── Memory.sml │ ├── Miscsys.sig │ ├── Miscsys.sml │ ├── Mixture.sig │ ├── Mixture.sml │ ├── Ovlres.sig │ ├── Ovlres.sml │ ├── Parser.grm │ ├── Patch.sml │ ├── Pr_lam.sig │ ├── Pr_lam.sml │ ├── Pr_zam.sml │ ├── Prim.sml │ ├── Prim_opc.sml │ ├── Primdec.sml │ ├── Printexc.sig │ ├── Printexc.sml │ ├── README │ ├── Readword.sml │ ├── Reloc.sml │ ├── Rtvals.sig │ ├── Rtvals.sml │ ├── Sigmtch.sig │ ├── Sigmtch.sml │ ├── Smlexc.sml │ ├── Smlperv.sig │ ├── Smlperv.sml │ ├── Smlprim.sml │ ├── Smltop.sig │ ├── Smltop.sml │ ├── Sort.sig │ ├── Sort.sml │ ├── Stack.sig │ ├── Stack.sml │ ├── Symtable.sig │ ├── Symtable.sml │ ├── Synchk.sig │ ├── Synchk.sml │ ├── TODO.txt │ ├── Tr_const.sml │ ├── Tr_env.sig │ ├── Tr_env.sml │ ├── Types.sig │ ├── Types.sml │ ├── Units.sig │ ├── Units.sml │ ├── makefile.dos │ └── test │ │ ├── A.sml │ │ ├── B.sml │ │ ├── C.sml │ │ ├── Makefile │ │ ├── applic.sml │ │ ├── array.sml │ │ ├── array2.sml │ │ ├── church-functors-mosml.sml │ │ ├── coerce.sml │ │ ├── eq.sml │ │ ├── evalorder.sml │ │ ├── fcmodulebug.sml │ │ ├── gnvsap.sml │ │ ├── greederr.sml │ │ ├── hiorder.sml │ │ ├── inf.sml │ │ ├── link.sml │ │ ├── loophole.sml │ │ ├── lvlbug.sml │ │ ├── matchbug.sml │ │ ├── matcherr.sml │ │ ├── matchsuc.sml │ │ ├── modres.sml │ │ ├── okasaki.sml │ │ ├── opnlcl.sml │ │ ├── opntop.sml │ │ ├── poly.sml │ │ ├── recmod.sml │ │ ├── refeq.sml │ │ ├── result.ok │ │ ├── sample10.sml │ │ ├── sample2.sml │ │ ├── sample3.sml │ │ ├── sample4.sml │ │ ├── sample5.sml │ │ ├── sample7.sml │ │ ├── sample8.sml │ │ ├── sample9.sml │ │ ├── scope.sml │ │ ├── sharing.sml │ │ ├── sieve.sml │ │ ├── sigcon.sml │ │ ├── test.sml │ │ ├── test10.sml │ │ ├── where.sml │ │ └── wheretyp.sml ├── config.w32 │ ├── m.h │ └── s.h ├── config │ ├── .gitignore │ ├── Makefile │ ├── auto-aux │ │ ├── align.c │ │ ├── bytecopy.c │ │ ├── dblalign.c │ │ ├── endian.c │ │ ├── hasgot │ │ ├── runtest │ │ ├── schar.c │ │ ├── schar2.c │ │ ├── setjmp.c │ │ ├── sighandler.c │ │ ├── signals.c │ │ └── sizes.c │ ├── autoconf │ ├── m-templ.h │ └── s-templ.h ├── convert │ ├── Convert.sml │ ├── Deplex.lex │ ├── Deppars.grm │ ├── GenPm.sml │ ├── Makefile │ ├── Parser.grm │ └── Scanner.lex ├── cutdeps ├── cutdeps.w32 ├── doc │ ├── .gitignore │ ├── Makefile │ ├── books.bib │ ├── helpsigs │ │ ├── .gitignore │ │ ├── Asynt.sml │ │ ├── Database.sig │ │ ├── Database.sml │ │ ├── Hasht.sig │ │ ├── Hasht.sml │ │ ├── Htmlsigs.sig │ │ ├── Htmlsigs.sml │ │ ├── Lexer.lex │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── Parser.grm │ │ ├── Parsspec.sml │ │ ├── Printbase.sml │ │ ├── README │ │ ├── Stack.sig │ │ ├── Stack.sml │ │ ├── Texsigs.sig │ │ ├── Texsigs.sml │ │ ├── helpsigs.val │ │ ├── htmlsigs │ │ │ ├── AppleScript.html │ │ │ ├── Array.html │ │ │ ├── Array2.html │ │ │ ├── ArraySlice.html │ │ │ ├── Arraysort.html │ │ │ ├── BasicIO.html │ │ │ ├── BinIO.html │ │ │ ├── Binarymap.html │ │ │ ├── Binaryset.html │ │ │ ├── Bool.html │ │ │ ├── Buffer.html │ │ │ ├── Byte.html │ │ │ ├── Callback.html │ │ │ ├── Char.html │ │ │ ├── CharArray.html │ │ │ ├── CharArraySlice.html │ │ │ ├── CharVector.html │ │ │ ├── CharVectorSlice.html │ │ │ ├── CommandLine.html │ │ │ ├── Date.html │ │ │ ├── Dynarray.html │ │ │ ├── Dynlib.html │ │ │ ├── FileSys.html │ │ │ ├── Gdbm.html │ │ │ ├── Gdimage.html │ │ │ ├── General.html │ │ │ ├── Hashset.html │ │ │ ├── Help.html │ │ │ ├── Int.html │ │ │ ├── IntInf.html │ │ │ ├── Intmap.html │ │ │ ├── Intset.html │ │ │ ├── Lexing.html │ │ │ ├── List.html │ │ │ ├── ListPair.html │ │ │ ├── Listsort.html │ │ │ ├── Location.html │ │ │ ├── Math.html │ │ │ ├── Meta.html │ │ │ ├── Mosml.html │ │ │ ├── Mosmlcgi.html │ │ │ ├── Mosmlcookie.html │ │ │ ├── Msp.html │ │ │ ├── Mysql.html │ │ │ ├── NJ93.html │ │ │ ├── Nonstdio.html │ │ │ ├── OS.html │ │ │ ├── Option.html │ │ │ ├── PP.html │ │ │ ├── Parsing.html │ │ │ ├── Path.html │ │ │ ├── Polygdbm.html │ │ │ ├── Polyhash.html │ │ │ ├── Postgres.html │ │ │ ├── Process.html │ │ │ ├── Random.html │ │ │ ├── Rbset.html │ │ │ ├── Real.html │ │ │ ├── Redblackmap.html │ │ │ ├── Regex.html │ │ │ ├── SML90.html │ │ │ ├── Signal.html │ │ │ ├── Socket.html │ │ │ ├── Splaymap.html │ │ │ ├── Splayset.html │ │ │ ├── String.html │ │ │ ├── StringCvt.html │ │ │ ├── Substring.html │ │ │ ├── Susp.html │ │ │ ├── TextIO.html │ │ │ ├── Time.html │ │ │ ├── Timer.html │ │ │ ├── Unix.html │ │ │ ├── Vector.html │ │ │ ├── VectorSlice.html │ │ │ ├── Weak.html │ │ │ ├── Word.html │ │ │ ├── Word8.html │ │ │ ├── Word8Array.html │ │ │ ├── Word8ArraySlice.html │ │ │ ├── Word8Vector.html │ │ │ ├── Word8VectorSlice.html │ │ │ └── idIndex.html │ │ ├── index.html │ │ └── makebase.sml │ ├── macmosml.tex │ ├── manual.pdf │ ├── manual.tex │ ├── mosml.bib │ ├── mosml.sty │ ├── mosmllib.pdf │ ├── mosmllib.tex │ ├── mosmlnet.txt │ ├── mosmlref.pdf │ ├── mosmlref.tex │ └── program.sty ├── dynlibs │ ├── Makefile │ ├── Makefile.w32 │ ├── crypt │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── README │ │ ├── crypt.c │ │ └── crypt.sml │ ├── interface │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── cside.c │ │ ├── result.mac │ │ ├── smlside.sml │ │ └── smlside_mac.sml │ ├── intinf │ │ ├── .gitignore │ │ ├── IntInf.sig │ │ ├── IntInf.sml │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── README │ │ ├── fac.sml │ │ ├── intinf.c │ │ ├── result.mac │ │ ├── testintinf.sml │ │ └── testintinf_mac.sml │ ├── mgd │ │ ├── Graphs.sml │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── README │ │ ├── fonts.txt │ │ ├── makefonts │ │ ├── mgd.c │ │ └── testgdimage.sml │ ├── mgdbm │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── README │ │ ├── example1.sml │ │ ├── example2.sml │ │ ├── mgdbm.c │ │ └── testgdbm.sml │ ├── mmysql │ │ ├── Changes │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── README │ │ ├── mmysql.c │ │ ├── result.ok │ │ └── testmysql.sml │ ├── mpq │ │ ├── Makefile │ │ ├── README │ │ ├── mpq.c │ │ ├── result.ok │ │ └── testpsql.sml │ ├── mregex │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── README │ │ ├── mregex.c │ │ ├── notes │ │ ├── regex-0.12 │ │ │ ├── AUTHORS │ │ │ ├── COPYING │ │ │ ├── INSTALL │ │ │ ├── Makefile.in │ │ │ ├── NEWS │ │ │ ├── README │ │ │ ├── configure │ │ │ ├── configure.in │ │ │ ├── regex.c │ │ │ └── regex.h │ │ ├── result.mac │ │ ├── testregex.sml │ │ └── testregex_mac.sml │ ├── msocket │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── README │ │ ├── msocket.c │ │ ├── testclient.sml │ │ ├── testserver.sml │ │ └── testsocket.sml │ ├── munix │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── README │ │ ├── munix.c │ │ ├── sieve.c │ │ └── testunix.sml │ └── result.ok ├── launch.w32 │ ├── .gitignore │ ├── Makefile │ ├── Makefile.w32 │ ├── camlrunm.c │ ├── driver.c │ ├── driver.h │ ├── mosml.c │ ├── mosml.dsp │ ├── mosml.dsw │ ├── mosml.ncb │ ├── mosml.opt │ ├── mosml.plg │ ├── mosmlc.c │ └── mosmlexe.c ├── launch │ ├── .gitignore │ ├── Makefile │ ├── camlexec.tpl │ ├── mosml.tpl │ ├── mosmlc.tpl │ ├── mosmllex.tpl │ └── testprog.sml ├── lex │ ├── .gitignore │ ├── Gram_aux.sml │ ├── Grammar.grm │ ├── Lexgen.sml │ ├── Mainlex.sml │ ├── Makefile │ ├── Makefile.w32 │ ├── Output.sml │ ├── README │ ├── Scan_aux.sml │ ├── Scanner.lex │ ├── Scanner.sig │ ├── Syntax.sml │ ├── makefile.dos │ └── test │ │ ├── Makefile │ │ ├── abbrev.lex │ │ ├── expanded.lex │ │ ├── recursive.lex │ │ ├── result.ok │ │ └── undef.lex ├── mktounx ├── mktounx.bat ├── mktow32 ├── mktow32.bat ├── mosmlb │ ├── Arg.sig │ ├── Arg.sml │ ├── Log.sml │ ├── Makefile │ ├── Mlb.sml │ ├── Mlb_functions.sml │ ├── Options.sml │ ├── Parser.grm │ ├── README.md │ ├── Scanner.lex │ ├── mosmlb-test.sml │ ├── mosmlb.mlb │ ├── mosmlb.sml │ └── tests │ │ ├── empty.mlb │ │ ├── escaped.mlb │ │ ├── folder │ │ └── in_folder.mlb │ │ ├── sources.mlb │ │ ├── test.mlb │ │ ├── test.sh │ │ └── to_folder.mlb ├── mosmlcmp ├── mosmlcmp.w32 ├── mosmldep ├── mosmldep.w32 ├── mosmllex ├── mosmllex.w32 ├── mosmllib │ ├── .gitignore │ ├── AppleScript.sig │ ├── AppleScript.sml │ ├── Array.mlp │ ├── Array.sig │ ├── Array2.sig │ ├── Array2.sml │ ├── ArraySlice.sig │ ├── ArraySlice.sml │ ├── Arraysort.sig │ ├── Arraysort.sml │ ├── BasicIO.sig │ ├── BasicIO.sml │ ├── BinIO.sig │ ├── BinIO.sml │ ├── Binarymap.sig │ ├── Binarymap.sml │ ├── Binaryset.sig │ ├── Binaryset.sml │ ├── Bool.sig │ ├── Bool.sml │ ├── Buffer.sig │ ├── Buffer.sml │ ├── Byte.sig │ ├── Byte.sml │ ├── Callback.sig │ ├── Callback.sml │ ├── Char.sig │ ├── Char.sml │ ├── CharArray.sig │ ├── CharArray.sml │ ├── CharArraySlice.sig │ ├── CharArraySlice.sml │ ├── CharVector.sig │ ├── CharVector.sml │ ├── CharVectorSlice.sig │ ├── CharVectorSlice.sml │ ├── CommandLine.sig │ ├── CommandLine.sml │ ├── Date.sig │ ├── Date.sml │ ├── Dynarray.sig │ ├── Dynarray.sml │ ├── Dynlib.sig │ ├── Dynlib.sml │ ├── FileSys.mlp │ ├── FileSys.sig │ ├── Gdbm.sig │ ├── Gdbm.sml │ ├── Gdimage.sig │ ├── Gdimage.sml │ ├── General.fke │ ├── Hashset.sig │ ├── Hashset.sml │ ├── Help.mlp │ ├── Help.sig │ ├── IO.sml │ ├── Int.mlp │ ├── Int.sig │ ├── Intmap.sig │ ├── Intmap.sml │ ├── Intset.sig │ ├── Intset.sml │ ├── Lexing.sig │ ├── Lexing.sml │ ├── List.sig │ ├── List.sml │ ├── ListPair.sig │ ├── ListPair.sml │ ├── Listsort.sig │ ├── Listsort.sml │ ├── Location.sig │ ├── Location.sml │ ├── Makefile │ ├── Makefile.w32 │ ├── Math.sig │ ├── Math.sml │ ├── Meta.fke │ ├── Misc.sig │ ├── Misc.sml │ ├── Mosml.mlp │ ├── Mosml.sig │ ├── Mosmlcgi.sig │ ├── Mosmlcgi.sml │ ├── Mosmlcookie.sig │ ├── Mosmlcookie.sml │ ├── Msp.sig │ ├── Msp.sml │ ├── Mysql.sig │ ├── Mysql.sml │ ├── NJ93.sig │ ├── NJ93.sml │ ├── Nonstdio.sig │ ├── Nonstdio.sml │ ├── OS.sig │ ├── OS.sml │ ├── Obj.sml │ ├── Option.sig │ ├── Option.sml │ ├── PP.sig │ ├── PP.sml │ ├── PackRealBig.sig │ ├── PackRealBig.sml │ ├── PackRealLittle.sig │ ├── PackRealLittle.sml │ ├── Parsing.sig │ ├── Parsing.sml │ ├── Path.mlp │ ├── Path.sig │ ├── Polygdbm.sig │ ├── Polygdbm.sml │ ├── Polyhash.sig │ ├── Polyhash.sml │ ├── Postgres.sig │ ├── Postgres.sml │ ├── Process.mlp │ ├── Process.sig │ ├── README │ ├── README.src │ ├── Random.sig │ ├── Random.sml │ ├── Rbset.sig │ ├── Rbset.sml │ ├── Real.sig │ ├── Real.sml │ ├── Redblackmap.sig │ ├── Redblackmap.sml │ ├── Regex.sig │ ├── Regex.sml │ ├── SML90.sig │ ├── SML90.sml │ ├── Signal.sig │ ├── Signal.sml │ ├── Socket.sig │ ├── Socket.sml │ ├── Splaymap.sig │ ├── Splaymap.sml │ ├── Splayset.sig │ ├── Splayset.sml │ ├── Splaytree.sig │ ├── Splaytree.sml │ ├── Strbase.mlp │ ├── Strbase.sig │ ├── String.sig │ ├── String.sml │ ├── StringCvt.sig │ ├── StringCvt.sml │ ├── Substring.sig │ ├── Substring.sml │ ├── Susp.sig │ ├── Susp.sml │ ├── TextIO.sig │ ├── TextIO.sml │ ├── Time.sig │ ├── Time.sml │ ├── Timer.sig │ ├── Timer.sml │ ├── Unix.sig │ ├── Unix.sml │ ├── Vector.mlp │ ├── Vector.sig │ ├── VectorSlice.sig │ ├── VectorSlice.sml │ ├── Weak.mlp │ ├── Weak.sig │ ├── Word.mlp │ ├── Word.sig │ ├── Word8.sig │ ├── Word8.sml │ ├── Word8Array.mlp │ ├── Word8Array.sig │ ├── Word8ArraySlice.sig │ ├── Word8ArraySlice.sml │ ├── Word8Vector.mlp │ ├── Word8Vector.sig │ ├── Word8VectorSlice.sig │ ├── Word8VectorSlice.sml │ ├── makefile.dos │ └── test │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── Makefile.w32 │ │ ├── README │ │ ├── array.sml │ │ ├── array2.sml │ │ ├── arrayslice.sml │ │ ├── arraysort.sml │ │ ├── auxil.sml │ │ ├── bytechar.sml │ │ ├── bytecmac.sml │ │ ├── callback.sml │ │ ├── callback │ │ ├── Makefile │ │ ├── cside.c │ │ ├── result.mac │ │ ├── result.ok │ │ ├── testcallback.sml │ │ └── testcallbackmac.sml │ │ ├── cmdline.sml │ │ ├── date.sml │ │ ├── dospath.sml │ │ ├── filesmac.sml │ │ ├── filesys.sml │ │ ├── general.sml │ │ ├── generalmac.sml │ │ ├── int.sml │ │ ├── list.sml │ │ ├── listpair.sml │ │ ├── listsort.sml │ │ ├── macpath.sml │ │ ├── makefile.dos │ │ ├── math.sml │ │ ├── mosml.sml │ │ ├── packrealbig.sml │ │ ├── packreallittle.sml │ │ ├── polyhash.sml │ │ ├── process.sml │ │ ├── random.sml │ │ ├── rbset.sml │ │ ├── real.sml │ │ ├── result.mac68kemu │ │ ├── result.macppc │ │ ├── result.ok │ │ ├── string.sml │ │ ├── stringcvt.sml │ │ ├── stringmac.sml │ │ ├── substring.sml │ │ ├── susp.sml │ │ ├── test.sml │ │ ├── test.sml.dos │ │ ├── testmac.sml │ │ ├── testrun.sml │ │ ├── textio.sml │ │ ├── time.sml │ │ ├── timer.sml │ │ ├── unixpath.sml │ │ ├── vector.sml │ │ ├── vectorslice.sml │ │ ├── weak.sml │ │ ├── word.sml │ │ ├── word8.sml │ │ ├── word8array.sml │ │ ├── word8arrayslice.sml │ │ ├── word8vector.sml │ │ └── word8vectorslice.sml ├── mosmllnk ├── mosmllnk.w32 ├── mosmlpm │ ├── .gitignore │ ├── ArgParse.pm │ ├── ArgParse.sig │ ├── ArgParse.sml │ ├── Compilerinterface.pm │ ├── Compilerinterface.sml │ ├── Makefile │ ├── PMBasic.sml │ ├── PMCompile.sml │ ├── Parsercomb.pm │ ├── Parsercomb.sig │ ├── Parsercomb.sml │ ├── README │ ├── Systemcompile.pm │ ├── Systemcompile.sml │ ├── TECHNICAL │ ├── mosmlpm.pm │ ├── mosmlpm.sml │ ├── pmnotes.txt │ └── test │ │ ├── A.sig │ │ ├── A.sml │ │ ├── B-sig.sml │ │ ├── B.sml │ │ ├── C.sml │ │ ├── D.sig │ │ ├── D.sml │ │ ├── loop1.pm │ │ ├── loop2.pm │ │ ├── selfloop.pm │ │ └── simple.pm ├── mosmlyac │ ├── .gitignore │ ├── Makefile │ ├── Makefile.w32 │ ├── README │ ├── closure.c │ ├── defs.h │ ├── error.c │ ├── lalr.c │ ├── lr0.c │ ├── main.c │ ├── makefile.dos │ ├── mkpar.c │ ├── output.c │ ├── parsing.c │ ├── reader.c │ ├── skeleton.c │ ├── symtab.c │ ├── verbose.c │ └── warshall.c ├── notes │ ├── TODO │ ├── TODO.ken │ ├── a.out │ ├── dynamicexn.txt │ ├── largematch.sml │ ├── longjump.sml │ ├── macosx-log │ ├── manycons.sml │ ├── manylocals.sml │ ├── mosml.net.txt │ ├── mosml2 │ ├── mosmlrpm │ ├── print.sml │ ├── skowron-bug.sml │ └── ud ├── runtime │ ├── .gitignore │ ├── COPYRGHT │ ├── Makefile │ ├── Makefile.w32 │ ├── alloc.c │ ├── alloc.h │ ├── callback.c │ ├── callback.h │ ├── compare.c │ ├── config.h │ ├── debugger.c │ ├── debugger.h │ ├── dynlib.c │ ├── exec.h │ ├── expand.c │ ├── expand.h │ ├── extern.c │ ├── externcp.c │ ├── fail.c │ ├── fail.h │ ├── fix_code.c │ ├── floats.c │ ├── freelist.c │ ├── freelist.h │ ├── gc.h │ ├── gc_ctrl.c │ ├── gc_ctrl.h │ ├── globals.h │ ├── graph.c │ ├── hash.c │ ├── instruct.h │ ├── intern.c │ ├── interncp.c │ ├── interp.c │ ├── interp.h │ ├── intext.h │ ├── ints.c │ ├── io.c │ ├── io.h │ ├── lexing.c │ ├── main.c │ ├── major_gc.c │ ├── major_gc.h │ ├── makefile.dos │ ├── md5sum.c │ ├── md5sum.h │ ├── memory.c │ ├── memory.h │ ├── meta.c │ ├── minor_gc.c │ ├── minor_gc.h │ ├── misc.c │ ├── misc.h │ ├── mlvalues.h │ ├── mosml.c │ ├── mosml.h │ ├── msdos.c │ ├── parsing.c │ ├── prims.h │ ├── reverse.h │ ├── roots.c │ ├── roots.h │ ├── runtime.c │ ├── runtime.h │ ├── signals.c │ ├── signals.h │ ├── stacks.c │ ├── stacks.h │ ├── str.c │ ├── str.h │ ├── sys.c │ ├── sys.h │ ├── unalignd.h │ ├── unix.c │ └── version.h ├── test │ ├── .gitignore │ ├── Makefile │ ├── Makefile.w32 │ ├── constfai.sml │ ├── constsuc.sml │ ├── makefile.dos │ ├── maxconst.sml │ ├── mosmlyac │ │ ├── Makefile │ │ ├── test1.grm │ │ ├── test3.grm │ │ ├── test3.lam │ │ ├── test3aux.sml │ │ ├── test3lex.lex │ │ ├── test3load │ │ └── test3main.sml │ ├── ovlfail.sml │ ├── ovlsucc.sml │ ├── recfail.sml │ ├── recsucc.sml │ ├── result.ok │ ├── test.sml │ ├── test1.sml │ ├── test2.sml │ ├── test3.sml │ ├── test4.sml │ ├── test5.sml │ ├── test6.sml │ ├── test7.sml │ ├── test8.sml │ ├── test9.sml │ ├── testa.sml │ ├── testb.sml │ ├── testc.sml │ ├── testcon.sml │ ├── testcon1.sig │ ├── testcon2.sig │ ├── testcon3.sig │ ├── testd.sml │ ├── teste.sml │ ├── testint.sml │ ├── testmatc.sml │ ├── testpp.sml │ ├── testprs.sml │ ├── testsyn.sml │ ├── testty.sml │ └── typerr.sml ├── tools │ ├── cutdepsp │ ├── findprim │ ├── installb.bat │ ├── installer │ │ ├── .gitignore │ │ ├── README │ │ ├── README.inno │ │ └── mosml.iss │ ├── make-jumptbl │ ├── make-opcodes │ ├── mkjumptb │ ├── mkopnam │ ├── mkprims │ ├── mksmlopc │ ├── mksmlprc │ ├── mksmlpre │ └── travis └── toolssrc │ ├── .gitignore │ ├── Deplex.lex │ ├── Deppars.grm │ ├── Maine.sig │ ├── Maine.sml │ ├── Makefile │ ├── Makefile.w32 │ ├── Mosmldep.mlp │ ├── Smltope.sig │ ├── Smltope.sml │ ├── cutdeps.sml │ └── makefile.dos └── tools ├── Makefile.stub ├── cutdeps └── mosmldep /.github/workflows/buildAndTest.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/.github/workflows/buildAndTest.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /config 2 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/.travis.yml -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/README -------------------------------------------------------------------------------- /bin/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/bin/.gitignore -------------------------------------------------------------------------------- /copyrght/copyrght.att: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/copyrght/copyrght.att -------------------------------------------------------------------------------- /copyrght/copyrght.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/copyrght/copyrght.cl -------------------------------------------------------------------------------- /copyrght/gpl2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/copyrght/gpl2 -------------------------------------------------------------------------------- /debian/changelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/debian/changelog -------------------------------------------------------------------------------- /debian/compat: -------------------------------------------------------------------------------- 1 | 9 2 | -------------------------------------------------------------------------------- /debian/control: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/debian/control -------------------------------------------------------------------------------- /debian/copyright: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/debian/copyright -------------------------------------------------------------------------------- /debian/docs: -------------------------------------------------------------------------------- 1 | README 2 | -------------------------------------------------------------------------------- /debian/mosml.examples: -------------------------------------------------------------------------------- 1 | examples -------------------------------------------------------------------------------- /debian/mosml.manpages: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/debian/mosml.manpages -------------------------------------------------------------------------------- /debian/rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/debian/rules -------------------------------------------------------------------------------- /debian/source/format: -------------------------------------------------------------------------------- 1 | 3.0 (quilt) 2 | -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/doc/.gitignore -------------------------------------------------------------------------------- /doc/bugs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/doc/bugs -------------------------------------------------------------------------------- /doc/garbagecollector.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/doc/garbagecollector.txt -------------------------------------------------------------------------------- /doc/memory.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/doc/memory.txt -------------------------------------------------------------------------------- /doc/recomp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/doc/recomp -------------------------------------------------------------------------------- /doc/releases.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/doc/releases.txt -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/Makefile.w32 -------------------------------------------------------------------------------- /examples/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/README -------------------------------------------------------------------------------- /examples/Readme.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/Readme.w32 -------------------------------------------------------------------------------- /examples/calc/Lexer.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/calc/Lexer.lex -------------------------------------------------------------------------------- /examples/calc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/calc/Makefile -------------------------------------------------------------------------------- /examples/calc/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/calc/Makefile.w32 -------------------------------------------------------------------------------- /examples/calc/Parser.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/calc/Parser.grm -------------------------------------------------------------------------------- /examples/calc/calc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/calc/calc.sml -------------------------------------------------------------------------------- /examples/cgi/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/Makefile -------------------------------------------------------------------------------- /examples/cgi/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/Makefile.w32 -------------------------------------------------------------------------------- /examples/cgi/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/README -------------------------------------------------------------------------------- /examples/cgi/README1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/README1 -------------------------------------------------------------------------------- /examples/cgi/README2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/README2 -------------------------------------------------------------------------------- /examples/cgi/cgiex1.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/cgiex1.sml -------------------------------------------------------------------------------- /examples/cgi/cgiex2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/cgiex2.sml -------------------------------------------------------------------------------- /examples/cgi/cgitest.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/cgitest.sml -------------------------------------------------------------------------------- /examples/cgi/htmlform.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/htmlform.html -------------------------------------------------------------------------------- /examples/cgi/upload.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/cgi/upload.html -------------------------------------------------------------------------------- /examples/lexyacc/Data.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/Data.sml -------------------------------------------------------------------------------- /examples/lexyacc/Lexer.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/Lexer.lex -------------------------------------------------------------------------------- /examples/lexyacc/Main.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/Main.sml -------------------------------------------------------------------------------- /examples/lexyacc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/Makefile -------------------------------------------------------------------------------- /examples/lexyacc/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/Makefile.w32 -------------------------------------------------------------------------------- /examples/lexyacc/Parser.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/Parser.grm -------------------------------------------------------------------------------- /examples/lexyacc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/README -------------------------------------------------------------------------------- /examples/lexyacc/cl/append.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/append.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/edigits.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/edigits.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/error1.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/error1.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/error2.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/error2.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/error3.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/error3.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/fib.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/fib.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/fibs.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/fibs.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/hamming.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/hamming.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/lists.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/lists.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/nats.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/nats.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/sieve.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/sieve.cl -------------------------------------------------------------------------------- /examples/lexyacc/cl/takefrom.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/cl/takefrom.cl -------------------------------------------------------------------------------- /examples/lexyacc/load: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/lexyacc/load -------------------------------------------------------------------------------- /examples/manual/Evaluate.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/manual/Evaluate.sig -------------------------------------------------------------------------------- /examples/manual/Evaluate.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/manual/Evaluate.sml -------------------------------------------------------------------------------- /examples/manual/Expr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/manual/Expr.sml -------------------------------------------------------------------------------- /examples/manual/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/manual/Makefile -------------------------------------------------------------------------------- /examples/manual/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/manual/Makefile.w32 -------------------------------------------------------------------------------- /examples/manual/Reduce.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/manual/Reduce.sig -------------------------------------------------------------------------------- /examples/manual/Reduce.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/manual/Reduce.sml -------------------------------------------------------------------------------- /examples/manual/load: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/manual/load -------------------------------------------------------------------------------- /examples/mls/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/mls/Makefile -------------------------------------------------------------------------------- /examples/mls/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/mls/Makefile.w32 -------------------------------------------------------------------------------- /examples/mls/mls.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/mls/mls.sml -------------------------------------------------------------------------------- /examples/modules/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/README -------------------------------------------------------------------------------- /examples/modules/array.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/array.sml -------------------------------------------------------------------------------- /examples/modules/bootstrap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/bootstrap.sml -------------------------------------------------------------------------------- /examples/modules/choice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/choice.sml -------------------------------------------------------------------------------- /examples/modules/collect.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/collect.sml -------------------------------------------------------------------------------- /examples/modules/matrix.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/matrix.sml -------------------------------------------------------------------------------- /examples/modules/poly.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/poly.sml -------------------------------------------------------------------------------- /examples/modules/recursion.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/recursion.sml -------------------------------------------------------------------------------- /examples/modules/sieve.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/modules/sieve.sml -------------------------------------------------------------------------------- /examples/msp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/Makefile -------------------------------------------------------------------------------- /examples/msp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/README.md -------------------------------------------------------------------------------- /examples/msp/calendar.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/calendar.msp -------------------------------------------------------------------------------- /examples/msp/database.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/database.msp -------------------------------------------------------------------------------- /examples/msp/dbquery.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/dbquery.msp -------------------------------------------------------------------------------- /examples/msp/dbrequestform.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/dbrequestform.msp -------------------------------------------------------------------------------- /examples/msp/fileindex.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/fileindex.msp -------------------------------------------------------------------------------- /examples/msp/getcookies.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/getcookies.msp -------------------------------------------------------------------------------- /examples/msp/hello.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/hello.msp -------------------------------------------------------------------------------- /examples/msp/index.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/index.msp -------------------------------------------------------------------------------- /examples/msp/logtofile.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/logtofile.msp -------------------------------------------------------------------------------- /examples/msp/msp.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/msp.conf -------------------------------------------------------------------------------- /examples/msp/mspcompile.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/mspcompile.sml -------------------------------------------------------------------------------- /examples/msp/script1.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/script1.msp -------------------------------------------------------------------------------- /examples/msp/script2.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/script2.msp -------------------------------------------------------------------------------- /examples/msp/script3.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/script3.msp -------------------------------------------------------------------------------- /examples/msp/test.msp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/msp/test.msp -------------------------------------------------------------------------------- /examples/parsercomb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/parsercomb/Makefile -------------------------------------------------------------------------------- /examples/parsercomb/Parsercomb.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/parsercomb/Parsercomb.sig -------------------------------------------------------------------------------- /examples/parsercomb/Parsercomb.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/parsercomb/Parsercomb.sml -------------------------------------------------------------------------------- /examples/parsercomb/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/parsercomb/README -------------------------------------------------------------------------------- /examples/parsercomb/exprparser.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/parsercomb/exprparser.sml -------------------------------------------------------------------------------- /examples/paulson/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/README -------------------------------------------------------------------------------- /examples/paulson/sample.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample.sml -------------------------------------------------------------------------------- /examples/paulson/sample10.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample10.sml -------------------------------------------------------------------------------- /examples/paulson/sample2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample2.sml -------------------------------------------------------------------------------- /examples/paulson/sample3.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample3.sml -------------------------------------------------------------------------------- /examples/paulson/sample4.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample4.sml -------------------------------------------------------------------------------- /examples/paulson/sample5.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample5.sml -------------------------------------------------------------------------------- /examples/paulson/sample7.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample7.sml -------------------------------------------------------------------------------- /examples/paulson/sample8.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample8.sml -------------------------------------------------------------------------------- /examples/paulson/sample9.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/sample9.sml -------------------------------------------------------------------------------- /examples/paulson/test10.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/paulson/test10.sml -------------------------------------------------------------------------------- /examples/pretty/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | mosml ppexpr.sml 3 | clean: 4 | -------------------------------------------------------------------------------- /examples/pretty/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/pretty/Makefile.w32 -------------------------------------------------------------------------------- /examples/pretty/ppexpr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/pretty/ppexpr.sml -------------------------------------------------------------------------------- /examples/pretty/pproman.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/pretty/pproman.sml -------------------------------------------------------------------------------- /examples/small/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/small/README -------------------------------------------------------------------------------- /examples/small/countperms.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/small/countperms.sml -------------------------------------------------------------------------------- /examples/small/countqueens.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/small/countqueens.sml -------------------------------------------------------------------------------- /examples/small/perms.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/small/perms.sml -------------------------------------------------------------------------------- /examples/small/queens.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/small/queens.sml -------------------------------------------------------------------------------- /examples/small/roman.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/small/roman.sml -------------------------------------------------------------------------------- /examples/small/subsets.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/small/subsets.sml -------------------------------------------------------------------------------- /examples/small/subsum.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/small/subsum.sml -------------------------------------------------------------------------------- /examples/units/Evaluate.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/Evaluate.sig -------------------------------------------------------------------------------- /examples/units/Evaluate.sm: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/units/Evaluate.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/Evaluate.sml -------------------------------------------------------------------------------- /examples/units/Expr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/Expr.sml -------------------------------------------------------------------------------- /examples/units/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/Makefile -------------------------------------------------------------------------------- /examples/units/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/Makefile.w32 -------------------------------------------------------------------------------- /examples/units/Reduce.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/Reduce.sig -------------------------------------------------------------------------------- /examples/units/Reduce.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/Reduce.sml -------------------------------------------------------------------------------- /examples/units/Test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/Test.sml -------------------------------------------------------------------------------- /examples/units/load: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/units/load -------------------------------------------------------------------------------- /examples/weak/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/weak/Makefile -------------------------------------------------------------------------------- /examples/weak/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/weak/Makefile.w32 -------------------------------------------------------------------------------- /examples/weak/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/weak/README -------------------------------------------------------------------------------- /examples/weak/hashcons.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/weak/hashcons.sml -------------------------------------------------------------------------------- /examples/webserver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/webserver/Makefile -------------------------------------------------------------------------------- /examples/webserver/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/webserver/README -------------------------------------------------------------------------------- /examples/webserver/echoserver.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/webserver/echoserver.sml -------------------------------------------------------------------------------- /examples/webserver/mosmlserver.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/webserver/mosmlserver.sml -------------------------------------------------------------------------------- /examples/webserver/useit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/examples/webserver/useit.sml -------------------------------------------------------------------------------- /include/.gitignore: -------------------------------------------------------------------------------- 1 | *.h 2 | -------------------------------------------------------------------------------- /install.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/install.txt -------------------------------------------------------------------------------- /install.txt.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/install.txt.w32 -------------------------------------------------------------------------------- /lib/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/lib/.gitignore -------------------------------------------------------------------------------- /man/mosml.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/man/mosml.1 -------------------------------------------------------------------------------- /man/mosmlc.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/man/mosmlc.1 -------------------------------------------------------------------------------- /man/mosmllex.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/man/mosmllex.1 -------------------------------------------------------------------------------- /man/mosmlyac.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/man/mosmlyac.1 -------------------------------------------------------------------------------- /mosml.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/mosml.spec -------------------------------------------------------------------------------- /readme.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/readme.w32 -------------------------------------------------------------------------------- /roadmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/roadmap -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/.gitignore -------------------------------------------------------------------------------- /src/Makedefs.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/Makedefs.bin -------------------------------------------------------------------------------- /src/Makedefs.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/Makedefs.w32 -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/Makefile.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/Makefile.inc -------------------------------------------------------------------------------- /src/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/Makefile.w32 -------------------------------------------------------------------------------- /src/compiler.cminusminus/Arg.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler.cminusminus/Arg.sig -------------------------------------------------------------------------------- /src/compiler.cminusminus/Arg.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler.cminusminus/Arg.sml -------------------------------------------------------------------------------- /src/compiler.cminusminus/Mainc.sig: -------------------------------------------------------------------------------- 1 | (* Main.sig *) 2 | 3 | (* Nothing to export! *) 4 | -------------------------------------------------------------------------------- /src/compiler.cminusminus/Maint.sig: -------------------------------------------------------------------------------- 1 | (* Main.sig *) 2 | 3 | (* Nothing to export! *) 4 | -------------------------------------------------------------------------------- /src/compiler.cminusminus/Smlperv.sig: -------------------------------------------------------------------------------- 1 | (* Nothing to export *) 2 | -------------------------------------------------------------------------------- /src/compiler/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/.gitignore -------------------------------------------------------------------------------- /src/compiler/Arg.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Arg.sig -------------------------------------------------------------------------------- /src/compiler/Arg.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Arg.sml -------------------------------------------------------------------------------- /src/compiler/Asynt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Asynt.sml -------------------------------------------------------------------------------- /src/compiler/Asyntfn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Asyntfn.sig -------------------------------------------------------------------------------- /src/compiler/Asyntfn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Asyntfn.sml -------------------------------------------------------------------------------- /src/compiler/Back.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Back.sig -------------------------------------------------------------------------------- /src/compiler/Back.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Back.sml -------------------------------------------------------------------------------- /src/compiler/Buffcode.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Buffcode.sml -------------------------------------------------------------------------------- /src/compiler/Code_dec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Code_dec.sml -------------------------------------------------------------------------------- /src/compiler/Compiler.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Compiler.sig -------------------------------------------------------------------------------- /src/compiler/Compiler.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Compiler.sml -------------------------------------------------------------------------------- /src/compiler/Config.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Config.mlp -------------------------------------------------------------------------------- /src/compiler/Const.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Const.sml -------------------------------------------------------------------------------- /src/compiler/Elab.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Elab.sig -------------------------------------------------------------------------------- /src/compiler/Elab.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Elab.sml -------------------------------------------------------------------------------- /src/compiler/Emit_phr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Emit_phr.sml -------------------------------------------------------------------------------- /src/compiler/Emitcode.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Emitcode.sig -------------------------------------------------------------------------------- /src/compiler/Emitcode.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Emitcode.sml -------------------------------------------------------------------------------- /src/compiler/Exec_phr.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Exec_phr.sig -------------------------------------------------------------------------------- /src/compiler/Exec_phr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Exec_phr.sml -------------------------------------------------------------------------------- /src/compiler/Filename.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Filename.mlp -------------------------------------------------------------------------------- /src/compiler/Filename.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Filename.sig -------------------------------------------------------------------------------- /src/compiler/Fnlib.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Fnlib.sig -------------------------------------------------------------------------------- /src/compiler/Fnlib.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Fnlib.sml -------------------------------------------------------------------------------- /src/compiler/Front.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Front.sig -------------------------------------------------------------------------------- /src/compiler/Front.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Front.sml -------------------------------------------------------------------------------- /src/compiler/Globals.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Globals.sml -------------------------------------------------------------------------------- /src/compiler/Hasht.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Hasht.sig -------------------------------------------------------------------------------- /src/compiler/Hasht.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Hasht.sml -------------------------------------------------------------------------------- /src/compiler/Infixres.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Infixres.sig -------------------------------------------------------------------------------- /src/compiler/Infixres.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Infixres.sml -------------------------------------------------------------------------------- /src/compiler/Infixst.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Infixst.sig -------------------------------------------------------------------------------- /src/compiler/Infixst.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Infixst.sml -------------------------------------------------------------------------------- /src/compiler/Instruct.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Instruct.sml -------------------------------------------------------------------------------- /src/compiler/Labels.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Labels.sml -------------------------------------------------------------------------------- /src/compiler/Lambda.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Lambda.sml -------------------------------------------------------------------------------- /src/compiler/Lexer.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Lexer.lex -------------------------------------------------------------------------------- /src/compiler/Lexer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Lexer.sig -------------------------------------------------------------------------------- /src/compiler/Link.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Link.sig -------------------------------------------------------------------------------- /src/compiler/Link.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Link.sml -------------------------------------------------------------------------------- /src/compiler/Load_phr.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Load_phr.sig -------------------------------------------------------------------------------- /src/compiler/Load_phr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Load_phr.sml -------------------------------------------------------------------------------- /src/compiler/Location.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Location.sig -------------------------------------------------------------------------------- /src/compiler/Location.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Location.sml -------------------------------------------------------------------------------- /src/compiler/Mainc.sig: -------------------------------------------------------------------------------- 1 | (* Main.sig *) 2 | 3 | (* Nothing to export! *) 4 | -------------------------------------------------------------------------------- /src/compiler/Mainc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Mainc.sml -------------------------------------------------------------------------------- /src/compiler/Mainl.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Mainl.sml -------------------------------------------------------------------------------- /src/compiler/Maint.sig: -------------------------------------------------------------------------------- 1 | (* Main.sig *) 2 | 3 | (* Nothing to export! *) 4 | -------------------------------------------------------------------------------- /src/compiler/Maint.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Maint.sml -------------------------------------------------------------------------------- /src/compiler/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Makefile -------------------------------------------------------------------------------- /src/compiler/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Makefile.w32 -------------------------------------------------------------------------------- /src/compiler/Match.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Match.sig -------------------------------------------------------------------------------- /src/compiler/Match.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Match.sml -------------------------------------------------------------------------------- /src/compiler/Memory.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Memory.sml -------------------------------------------------------------------------------- /src/compiler/Miscsys.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Miscsys.sig -------------------------------------------------------------------------------- /src/compiler/Miscsys.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Miscsys.sml -------------------------------------------------------------------------------- /src/compiler/Mixture.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Mixture.sig -------------------------------------------------------------------------------- /src/compiler/Mixture.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Mixture.sml -------------------------------------------------------------------------------- /src/compiler/Ovlres.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Ovlres.sig -------------------------------------------------------------------------------- /src/compiler/Ovlres.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Ovlres.sml -------------------------------------------------------------------------------- /src/compiler/Parser.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Parser.grm -------------------------------------------------------------------------------- /src/compiler/Patch.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Patch.sml -------------------------------------------------------------------------------- /src/compiler/Pr_lam.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Pr_lam.sig -------------------------------------------------------------------------------- /src/compiler/Pr_lam.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Pr_lam.sml -------------------------------------------------------------------------------- /src/compiler/Pr_zam.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Pr_zam.sml -------------------------------------------------------------------------------- /src/compiler/Prim.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Prim.sml -------------------------------------------------------------------------------- /src/compiler/Prim_opc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Prim_opc.sml -------------------------------------------------------------------------------- /src/compiler/Primdec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Primdec.sml -------------------------------------------------------------------------------- /src/compiler/Printexc.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Printexc.sig -------------------------------------------------------------------------------- /src/compiler/Printexc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Printexc.sml -------------------------------------------------------------------------------- /src/compiler/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/README -------------------------------------------------------------------------------- /src/compiler/Readword.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Readword.sml -------------------------------------------------------------------------------- /src/compiler/Reloc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Reloc.sml -------------------------------------------------------------------------------- /src/compiler/Rtvals.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Rtvals.sig -------------------------------------------------------------------------------- /src/compiler/Rtvals.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Rtvals.sml -------------------------------------------------------------------------------- /src/compiler/Sigmtch.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Sigmtch.sig -------------------------------------------------------------------------------- /src/compiler/Sigmtch.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Sigmtch.sml -------------------------------------------------------------------------------- /src/compiler/Smlexc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Smlexc.sml -------------------------------------------------------------------------------- /src/compiler/Smlperv.sig: -------------------------------------------------------------------------------- 1 | (* Nothing to export *) 2 | -------------------------------------------------------------------------------- /src/compiler/Smlperv.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Smlperv.sml -------------------------------------------------------------------------------- /src/compiler/Smlprim.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Smlprim.sml -------------------------------------------------------------------------------- /src/compiler/Smltop.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Smltop.sig -------------------------------------------------------------------------------- /src/compiler/Smltop.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Smltop.sml -------------------------------------------------------------------------------- /src/compiler/Sort.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Sort.sig -------------------------------------------------------------------------------- /src/compiler/Sort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Sort.sml -------------------------------------------------------------------------------- /src/compiler/Stack.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Stack.sig -------------------------------------------------------------------------------- /src/compiler/Stack.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Stack.sml -------------------------------------------------------------------------------- /src/compiler/Symtable.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Symtable.sig -------------------------------------------------------------------------------- /src/compiler/Symtable.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Symtable.sml -------------------------------------------------------------------------------- /src/compiler/Synchk.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Synchk.sig -------------------------------------------------------------------------------- /src/compiler/Synchk.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Synchk.sml -------------------------------------------------------------------------------- /src/compiler/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/TODO.txt -------------------------------------------------------------------------------- /src/compiler/Tr_const.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Tr_const.sml -------------------------------------------------------------------------------- /src/compiler/Tr_env.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Tr_env.sig -------------------------------------------------------------------------------- /src/compiler/Tr_env.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Tr_env.sml -------------------------------------------------------------------------------- /src/compiler/Types.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Types.sig -------------------------------------------------------------------------------- /src/compiler/Types.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Types.sml -------------------------------------------------------------------------------- /src/compiler/Units.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Units.sig -------------------------------------------------------------------------------- /src/compiler/Units.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/Units.sml -------------------------------------------------------------------------------- /src/compiler/makefile.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/makefile.dos -------------------------------------------------------------------------------- /src/compiler/test/A.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/A.sml -------------------------------------------------------------------------------- /src/compiler/test/B.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/B.sml -------------------------------------------------------------------------------- /src/compiler/test/C.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/C.sml -------------------------------------------------------------------------------- /src/compiler/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/Makefile -------------------------------------------------------------------------------- /src/compiler/test/applic.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/applic.sml -------------------------------------------------------------------------------- /src/compiler/test/array.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/array.sml -------------------------------------------------------------------------------- /src/compiler/test/array2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/array2.sml -------------------------------------------------------------------------------- /src/compiler/test/coerce.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/coerce.sml -------------------------------------------------------------------------------- /src/compiler/test/eq.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/eq.sml -------------------------------------------------------------------------------- /src/compiler/test/evalorder.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/evalorder.sml -------------------------------------------------------------------------------- /src/compiler/test/gnvsap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/gnvsap.sml -------------------------------------------------------------------------------- /src/compiler/test/greederr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/greederr.sml -------------------------------------------------------------------------------- /src/compiler/test/hiorder.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/hiorder.sml -------------------------------------------------------------------------------- /src/compiler/test/inf.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/inf.sml -------------------------------------------------------------------------------- /src/compiler/test/link.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/link.sml -------------------------------------------------------------------------------- /src/compiler/test/loophole.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/loophole.sml -------------------------------------------------------------------------------- /src/compiler/test/lvlbug.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/lvlbug.sml -------------------------------------------------------------------------------- /src/compiler/test/matchbug.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/matchbug.sml -------------------------------------------------------------------------------- /src/compiler/test/matcherr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/matcherr.sml -------------------------------------------------------------------------------- /src/compiler/test/matchsuc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/matchsuc.sml -------------------------------------------------------------------------------- /src/compiler/test/modres.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/modres.sml -------------------------------------------------------------------------------- /src/compiler/test/okasaki.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/okasaki.sml -------------------------------------------------------------------------------- /src/compiler/test/opnlcl.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/opnlcl.sml -------------------------------------------------------------------------------- /src/compiler/test/opntop.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/opntop.sml -------------------------------------------------------------------------------- /src/compiler/test/poly.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/poly.sml -------------------------------------------------------------------------------- /src/compiler/test/recmod.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/recmod.sml -------------------------------------------------------------------------------- /src/compiler/test/refeq.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/refeq.sml -------------------------------------------------------------------------------- /src/compiler/test/result.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/result.ok -------------------------------------------------------------------------------- /src/compiler/test/sample10.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sample10.sml -------------------------------------------------------------------------------- /src/compiler/test/sample2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sample2.sml -------------------------------------------------------------------------------- /src/compiler/test/sample3.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sample3.sml -------------------------------------------------------------------------------- /src/compiler/test/sample4.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sample4.sml -------------------------------------------------------------------------------- /src/compiler/test/sample5.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sample5.sml -------------------------------------------------------------------------------- /src/compiler/test/sample7.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sample7.sml -------------------------------------------------------------------------------- /src/compiler/test/sample8.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sample8.sml -------------------------------------------------------------------------------- /src/compiler/test/sample9.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sample9.sml -------------------------------------------------------------------------------- /src/compiler/test/scope.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/scope.sml -------------------------------------------------------------------------------- /src/compiler/test/sharing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sharing.sml -------------------------------------------------------------------------------- /src/compiler/test/sieve.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sieve.sml -------------------------------------------------------------------------------- /src/compiler/test/sigcon.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/sigcon.sml -------------------------------------------------------------------------------- /src/compiler/test/test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/test.sml -------------------------------------------------------------------------------- /src/compiler/test/test10.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/test10.sml -------------------------------------------------------------------------------- /src/compiler/test/where.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/where.sml -------------------------------------------------------------------------------- /src/compiler/test/wheretyp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/compiler/test/wheretyp.sml -------------------------------------------------------------------------------- /src/config.w32/m.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config.w32/m.h -------------------------------------------------------------------------------- /src/config.w32/s.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config.w32/s.h -------------------------------------------------------------------------------- /src/config/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/.gitignore -------------------------------------------------------------------------------- /src/config/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/Makefile -------------------------------------------------------------------------------- /src/config/auto-aux/align.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/align.c -------------------------------------------------------------------------------- /src/config/auto-aux/bytecopy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/bytecopy.c -------------------------------------------------------------------------------- /src/config/auto-aux/dblalign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/dblalign.c -------------------------------------------------------------------------------- /src/config/auto-aux/endian.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/endian.c -------------------------------------------------------------------------------- /src/config/auto-aux/hasgot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/hasgot -------------------------------------------------------------------------------- /src/config/auto-aux/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/runtest -------------------------------------------------------------------------------- /src/config/auto-aux/schar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/schar.c -------------------------------------------------------------------------------- /src/config/auto-aux/schar2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/schar2.c -------------------------------------------------------------------------------- /src/config/auto-aux/setjmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/setjmp.c -------------------------------------------------------------------------------- /src/config/auto-aux/signals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/signals.c -------------------------------------------------------------------------------- /src/config/auto-aux/sizes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/auto-aux/sizes.c -------------------------------------------------------------------------------- /src/config/autoconf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/autoconf -------------------------------------------------------------------------------- /src/config/m-templ.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/m-templ.h -------------------------------------------------------------------------------- /src/config/s-templ.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/config/s-templ.h -------------------------------------------------------------------------------- /src/convert/Convert.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/convert/Convert.sml -------------------------------------------------------------------------------- /src/convert/Deplex.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/convert/Deplex.lex -------------------------------------------------------------------------------- /src/convert/Deppars.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/convert/Deppars.grm -------------------------------------------------------------------------------- /src/convert/GenPm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/convert/GenPm.sml -------------------------------------------------------------------------------- /src/convert/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/convert/Makefile -------------------------------------------------------------------------------- /src/convert/Parser.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/convert/Parser.grm -------------------------------------------------------------------------------- /src/convert/Scanner.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/convert/Scanner.lex -------------------------------------------------------------------------------- /src/cutdeps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/cutdeps -------------------------------------------------------------------------------- /src/cutdeps.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/cutdeps.w32 -------------------------------------------------------------------------------- /src/doc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/.gitignore -------------------------------------------------------------------------------- /src/doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/Makefile -------------------------------------------------------------------------------- /src/doc/books.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/books.bib -------------------------------------------------------------------------------- /src/doc/helpsigs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/.gitignore -------------------------------------------------------------------------------- /src/doc/helpsigs/Asynt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Asynt.sml -------------------------------------------------------------------------------- /src/doc/helpsigs/Database.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Database.sig -------------------------------------------------------------------------------- /src/doc/helpsigs/Database.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Database.sml -------------------------------------------------------------------------------- /src/doc/helpsigs/Hasht.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Hasht.sig -------------------------------------------------------------------------------- /src/doc/helpsigs/Hasht.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Hasht.sml -------------------------------------------------------------------------------- /src/doc/helpsigs/Htmlsigs.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Htmlsigs.sig -------------------------------------------------------------------------------- /src/doc/helpsigs/Htmlsigs.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Htmlsigs.sml -------------------------------------------------------------------------------- /src/doc/helpsigs/Lexer.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Lexer.lex -------------------------------------------------------------------------------- /src/doc/helpsigs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Makefile -------------------------------------------------------------------------------- /src/doc/helpsigs/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Makefile.w32 -------------------------------------------------------------------------------- /src/doc/helpsigs/Parser.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Parser.grm -------------------------------------------------------------------------------- /src/doc/helpsigs/Parsspec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Parsspec.sml -------------------------------------------------------------------------------- /src/doc/helpsigs/Printbase.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Printbase.sml -------------------------------------------------------------------------------- /src/doc/helpsigs/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/README -------------------------------------------------------------------------------- /src/doc/helpsigs/Stack.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Stack.sig -------------------------------------------------------------------------------- /src/doc/helpsigs/Stack.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Stack.sml -------------------------------------------------------------------------------- /src/doc/helpsigs/Texsigs.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Texsigs.sig -------------------------------------------------------------------------------- /src/doc/helpsigs/Texsigs.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/Texsigs.sml -------------------------------------------------------------------------------- /src/doc/helpsigs/helpsigs.val: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/helpsigs.val -------------------------------------------------------------------------------- /src/doc/helpsigs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/index.html -------------------------------------------------------------------------------- /src/doc/helpsigs/makebase.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/helpsigs/makebase.sml -------------------------------------------------------------------------------- /src/doc/macmosml.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/macmosml.tex -------------------------------------------------------------------------------- /src/doc/manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/manual.pdf -------------------------------------------------------------------------------- /src/doc/manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/manual.tex -------------------------------------------------------------------------------- /src/doc/mosml.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/mosml.bib -------------------------------------------------------------------------------- /src/doc/mosml.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/mosml.sty -------------------------------------------------------------------------------- /src/doc/mosmllib.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/mosmllib.pdf -------------------------------------------------------------------------------- /src/doc/mosmllib.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/mosmllib.tex -------------------------------------------------------------------------------- /src/doc/mosmlnet.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/mosmlnet.txt -------------------------------------------------------------------------------- /src/doc/mosmlref.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/mosmlref.pdf -------------------------------------------------------------------------------- /src/doc/mosmlref.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/mosmlref.tex -------------------------------------------------------------------------------- /src/doc/program.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/doc/program.sty -------------------------------------------------------------------------------- /src/dynlibs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/Makefile -------------------------------------------------------------------------------- /src/dynlibs/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/Makefile.w32 -------------------------------------------------------------------------------- /src/dynlibs/crypt/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/crypt/Makefile -------------------------------------------------------------------------------- /src/dynlibs/crypt/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/crypt/Makefile.w32 -------------------------------------------------------------------------------- /src/dynlibs/crypt/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/crypt/README -------------------------------------------------------------------------------- /src/dynlibs/crypt/crypt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/crypt/crypt.c -------------------------------------------------------------------------------- /src/dynlibs/crypt/crypt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/crypt/crypt.sml -------------------------------------------------------------------------------- /src/dynlibs/interface/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/interface/Makefile -------------------------------------------------------------------------------- /src/dynlibs/interface/cside.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/interface/cside.c -------------------------------------------------------------------------------- /src/dynlibs/intinf/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/.gitignore -------------------------------------------------------------------------------- /src/dynlibs/intinf/IntInf.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/IntInf.sig -------------------------------------------------------------------------------- /src/dynlibs/intinf/IntInf.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/IntInf.sml -------------------------------------------------------------------------------- /src/dynlibs/intinf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/Makefile -------------------------------------------------------------------------------- /src/dynlibs/intinf/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/Makefile.w32 -------------------------------------------------------------------------------- /src/dynlibs/intinf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/README -------------------------------------------------------------------------------- /src/dynlibs/intinf/fac.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/fac.sml -------------------------------------------------------------------------------- /src/dynlibs/intinf/intinf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/intinf.c -------------------------------------------------------------------------------- /src/dynlibs/intinf/result.mac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/intinf/result.mac -------------------------------------------------------------------------------- /src/dynlibs/mgd/Graphs.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgd/Graphs.sml -------------------------------------------------------------------------------- /src/dynlibs/mgd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgd/Makefile -------------------------------------------------------------------------------- /src/dynlibs/mgd/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgd/Makefile.w32 -------------------------------------------------------------------------------- /src/dynlibs/mgd/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgd/README -------------------------------------------------------------------------------- /src/dynlibs/mgd/fonts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgd/fonts.txt -------------------------------------------------------------------------------- /src/dynlibs/mgd/makefonts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgd/makefonts -------------------------------------------------------------------------------- /src/dynlibs/mgd/mgd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgd/mgd.c -------------------------------------------------------------------------------- /src/dynlibs/mgd/testgdimage.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgd/testgdimage.sml -------------------------------------------------------------------------------- /src/dynlibs/mgdbm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgdbm/Makefile -------------------------------------------------------------------------------- /src/dynlibs/mgdbm/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgdbm/Makefile.w32 -------------------------------------------------------------------------------- /src/dynlibs/mgdbm/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgdbm/README -------------------------------------------------------------------------------- /src/dynlibs/mgdbm/example1.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgdbm/example1.sml -------------------------------------------------------------------------------- /src/dynlibs/mgdbm/example2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgdbm/example2.sml -------------------------------------------------------------------------------- /src/dynlibs/mgdbm/mgdbm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgdbm/mgdbm.c -------------------------------------------------------------------------------- /src/dynlibs/mgdbm/testgdbm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mgdbm/testgdbm.sml -------------------------------------------------------------------------------- /src/dynlibs/mmysql/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mmysql/Changes -------------------------------------------------------------------------------- /src/dynlibs/mmysql/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mmysql/Makefile -------------------------------------------------------------------------------- /src/dynlibs/mmysql/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mmysql/Makefile.w32 -------------------------------------------------------------------------------- /src/dynlibs/mmysql/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mmysql/README -------------------------------------------------------------------------------- /src/dynlibs/mmysql/mmysql.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mmysql/mmysql.c -------------------------------------------------------------------------------- /src/dynlibs/mmysql/result.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mmysql/result.ok -------------------------------------------------------------------------------- /src/dynlibs/mpq/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mpq/Makefile -------------------------------------------------------------------------------- /src/dynlibs/mpq/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mpq/README -------------------------------------------------------------------------------- /src/dynlibs/mpq/mpq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mpq/mpq.c -------------------------------------------------------------------------------- /src/dynlibs/mpq/result.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mpq/result.ok -------------------------------------------------------------------------------- /src/dynlibs/mpq/testpsql.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mpq/testpsql.sml -------------------------------------------------------------------------------- /src/dynlibs/mregex/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mregex/Makefile -------------------------------------------------------------------------------- /src/dynlibs/mregex/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mregex/Makefile.w32 -------------------------------------------------------------------------------- /src/dynlibs/mregex/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mregex/README -------------------------------------------------------------------------------- /src/dynlibs/mregex/mregex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mregex/mregex.c -------------------------------------------------------------------------------- /src/dynlibs/mregex/notes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mregex/notes -------------------------------------------------------------------------------- /src/dynlibs/mregex/result.mac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/mregex/result.mac -------------------------------------------------------------------------------- /src/dynlibs/msocket/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/msocket/.gitignore -------------------------------------------------------------------------------- /src/dynlibs/msocket/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/msocket/Makefile -------------------------------------------------------------------------------- /src/dynlibs/msocket/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/msocket/README -------------------------------------------------------------------------------- /src/dynlibs/msocket/msocket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/msocket/msocket.c -------------------------------------------------------------------------------- /src/dynlibs/munix/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/munix/.gitignore -------------------------------------------------------------------------------- /src/dynlibs/munix/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/munix/Makefile -------------------------------------------------------------------------------- /src/dynlibs/munix/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/munix/README -------------------------------------------------------------------------------- /src/dynlibs/munix/munix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/munix/munix.c -------------------------------------------------------------------------------- /src/dynlibs/munix/sieve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/munix/sieve.c -------------------------------------------------------------------------------- /src/dynlibs/munix/testunix.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/munix/testunix.sml -------------------------------------------------------------------------------- /src/dynlibs/result.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/dynlibs/result.ok -------------------------------------------------------------------------------- /src/launch.w32/.gitignore: -------------------------------------------------------------------------------- 1 | /*.exe 2 | /*.o 3 | *~ -------------------------------------------------------------------------------- /src/launch.w32/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/Makefile -------------------------------------------------------------------------------- /src/launch.w32/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/Makefile.w32 -------------------------------------------------------------------------------- /src/launch.w32/camlrunm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/camlrunm.c -------------------------------------------------------------------------------- /src/launch.w32/driver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/driver.c -------------------------------------------------------------------------------- /src/launch.w32/driver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/driver.h -------------------------------------------------------------------------------- /src/launch.w32/mosml.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/mosml.c -------------------------------------------------------------------------------- /src/launch.w32/mosml.dsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/mosml.dsp -------------------------------------------------------------------------------- /src/launch.w32/mosml.dsw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/mosml.dsw -------------------------------------------------------------------------------- /src/launch.w32/mosml.ncb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/mosml.ncb -------------------------------------------------------------------------------- /src/launch.w32/mosml.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/mosml.opt -------------------------------------------------------------------------------- /src/launch.w32/mosml.plg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/mosml.plg -------------------------------------------------------------------------------- /src/launch.w32/mosmlc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/mosmlc.c -------------------------------------------------------------------------------- /src/launch.w32/mosmlexe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch.w32/mosmlexe.c -------------------------------------------------------------------------------- /src/launch/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch/.gitignore -------------------------------------------------------------------------------- /src/launch/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch/Makefile -------------------------------------------------------------------------------- /src/launch/camlexec.tpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch/camlexec.tpl -------------------------------------------------------------------------------- /src/launch/mosml.tpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch/mosml.tpl -------------------------------------------------------------------------------- /src/launch/mosmlc.tpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch/mosmlc.tpl -------------------------------------------------------------------------------- /src/launch/mosmllex.tpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/launch/mosmllex.tpl -------------------------------------------------------------------------------- /src/launch/testprog.sml: -------------------------------------------------------------------------------- 1 | val _ = BasicIO.exit 0; 2 | -------------------------------------------------------------------------------- /src/lex/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/.gitignore -------------------------------------------------------------------------------- /src/lex/Gram_aux.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Gram_aux.sml -------------------------------------------------------------------------------- /src/lex/Grammar.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Grammar.grm -------------------------------------------------------------------------------- /src/lex/Lexgen.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Lexgen.sml -------------------------------------------------------------------------------- /src/lex/Mainlex.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Mainlex.sml -------------------------------------------------------------------------------- /src/lex/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Makefile -------------------------------------------------------------------------------- /src/lex/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Makefile.w32 -------------------------------------------------------------------------------- /src/lex/Output.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Output.sml -------------------------------------------------------------------------------- /src/lex/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/README -------------------------------------------------------------------------------- /src/lex/Scan_aux.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Scan_aux.sml -------------------------------------------------------------------------------- /src/lex/Scanner.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Scanner.lex -------------------------------------------------------------------------------- /src/lex/Scanner.sig: -------------------------------------------------------------------------------- 1 | val main : Lexing.lexbuf -> Grammar.token; 2 | -------------------------------------------------------------------------------- /src/lex/Syntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/Syntax.sml -------------------------------------------------------------------------------- /src/lex/makefile.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/makefile.dos -------------------------------------------------------------------------------- /src/lex/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/test/Makefile -------------------------------------------------------------------------------- /src/lex/test/abbrev.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/test/abbrev.lex -------------------------------------------------------------------------------- /src/lex/test/expanded.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/test/expanded.lex -------------------------------------------------------------------------------- /src/lex/test/recursive.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/test/recursive.lex -------------------------------------------------------------------------------- /src/lex/test/result.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/test/result.ok -------------------------------------------------------------------------------- /src/lex/test/undef.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/lex/test/undef.lex -------------------------------------------------------------------------------- /src/mktounx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mktounx -------------------------------------------------------------------------------- /src/mktounx.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mktounx.bat -------------------------------------------------------------------------------- /src/mktow32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mktow32 -------------------------------------------------------------------------------- /src/mktow32.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mktow32.bat -------------------------------------------------------------------------------- /src/mosmlb/Arg.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Arg.sig -------------------------------------------------------------------------------- /src/mosmlb/Arg.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Arg.sml -------------------------------------------------------------------------------- /src/mosmlb/Log.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Log.sml -------------------------------------------------------------------------------- /src/mosmlb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Makefile -------------------------------------------------------------------------------- /src/mosmlb/Mlb.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Mlb.sml -------------------------------------------------------------------------------- /src/mosmlb/Mlb_functions.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Mlb_functions.sml -------------------------------------------------------------------------------- /src/mosmlb/Options.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Options.sml -------------------------------------------------------------------------------- /src/mosmlb/Parser.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Parser.grm -------------------------------------------------------------------------------- /src/mosmlb/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/README.md -------------------------------------------------------------------------------- /src/mosmlb/Scanner.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/Scanner.lex -------------------------------------------------------------------------------- /src/mosmlb/mosmlb-test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/mosmlb-test.sml -------------------------------------------------------------------------------- /src/mosmlb/mosmlb.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/mosmlb.mlb -------------------------------------------------------------------------------- /src/mosmlb/mosmlb.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/mosmlb.sml -------------------------------------------------------------------------------- /src/mosmlb/tests/empty.mlb: -------------------------------------------------------------------------------- 1 | (* This file is intentionally left empty. *) 2 | -------------------------------------------------------------------------------- /src/mosmlb/tests/escaped.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/tests/escaped.mlb -------------------------------------------------------------------------------- /src/mosmlb/tests/sources.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/tests/sources.mlb -------------------------------------------------------------------------------- /src/mosmlb/tests/test.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/tests/test.mlb -------------------------------------------------------------------------------- /src/mosmlb/tests/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/tests/test.sh -------------------------------------------------------------------------------- /src/mosmlb/tests/to_folder.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlb/tests/to_folder.mlb -------------------------------------------------------------------------------- /src/mosmlcmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlcmp -------------------------------------------------------------------------------- /src/mosmlcmp.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlcmp.w32 -------------------------------------------------------------------------------- /src/mosmldep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmldep -------------------------------------------------------------------------------- /src/mosmldep.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmldep.w32 -------------------------------------------------------------------------------- /src/mosmllex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllex -------------------------------------------------------------------------------- /src/mosmllex.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllex.w32 -------------------------------------------------------------------------------- /src/mosmllib/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/.gitignore -------------------------------------------------------------------------------- /src/mosmllib/AppleScript.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/AppleScript.sig -------------------------------------------------------------------------------- /src/mosmllib/AppleScript.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/AppleScript.sml -------------------------------------------------------------------------------- /src/mosmllib/Array.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Array.mlp -------------------------------------------------------------------------------- /src/mosmllib/Array.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Array.sig -------------------------------------------------------------------------------- /src/mosmllib/Array2.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Array2.sig -------------------------------------------------------------------------------- /src/mosmllib/Array2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Array2.sml -------------------------------------------------------------------------------- /src/mosmllib/ArraySlice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/ArraySlice.sig -------------------------------------------------------------------------------- /src/mosmllib/ArraySlice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/ArraySlice.sml -------------------------------------------------------------------------------- /src/mosmllib/Arraysort.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Arraysort.sig -------------------------------------------------------------------------------- /src/mosmllib/Arraysort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Arraysort.sml -------------------------------------------------------------------------------- /src/mosmllib/BasicIO.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/BasicIO.sig -------------------------------------------------------------------------------- /src/mosmllib/BasicIO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/BasicIO.sml -------------------------------------------------------------------------------- /src/mosmllib/BinIO.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/BinIO.sig -------------------------------------------------------------------------------- /src/mosmllib/BinIO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/BinIO.sml -------------------------------------------------------------------------------- /src/mosmllib/Binarymap.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Binarymap.sig -------------------------------------------------------------------------------- /src/mosmllib/Binarymap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Binarymap.sml -------------------------------------------------------------------------------- /src/mosmllib/Binaryset.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Binaryset.sig -------------------------------------------------------------------------------- /src/mosmllib/Binaryset.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Binaryset.sml -------------------------------------------------------------------------------- /src/mosmllib/Bool.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Bool.sig -------------------------------------------------------------------------------- /src/mosmllib/Bool.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Bool.sml -------------------------------------------------------------------------------- /src/mosmllib/Buffer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Buffer.sig -------------------------------------------------------------------------------- /src/mosmllib/Buffer.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Buffer.sml -------------------------------------------------------------------------------- /src/mosmllib/Byte.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Byte.sig -------------------------------------------------------------------------------- /src/mosmllib/Byte.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Byte.sml -------------------------------------------------------------------------------- /src/mosmllib/Callback.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Callback.sig -------------------------------------------------------------------------------- /src/mosmllib/Callback.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Callback.sml -------------------------------------------------------------------------------- /src/mosmllib/Char.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Char.sig -------------------------------------------------------------------------------- /src/mosmllib/Char.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Char.sml -------------------------------------------------------------------------------- /src/mosmllib/CharArray.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/CharArray.sig -------------------------------------------------------------------------------- /src/mosmllib/CharArray.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/CharArray.sml -------------------------------------------------------------------------------- /src/mosmllib/CharArraySlice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/CharArraySlice.sig -------------------------------------------------------------------------------- /src/mosmllib/CharArraySlice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/CharArraySlice.sml -------------------------------------------------------------------------------- /src/mosmllib/CharVector.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/CharVector.sig -------------------------------------------------------------------------------- /src/mosmllib/CharVector.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/CharVector.sml -------------------------------------------------------------------------------- /src/mosmllib/CommandLine.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/CommandLine.sig -------------------------------------------------------------------------------- /src/mosmllib/CommandLine.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/CommandLine.sml -------------------------------------------------------------------------------- /src/mosmllib/Date.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Date.sig -------------------------------------------------------------------------------- /src/mosmllib/Date.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Date.sml -------------------------------------------------------------------------------- /src/mosmllib/Dynarray.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Dynarray.sig -------------------------------------------------------------------------------- /src/mosmllib/Dynarray.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Dynarray.sml -------------------------------------------------------------------------------- /src/mosmllib/Dynlib.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Dynlib.sig -------------------------------------------------------------------------------- /src/mosmllib/Dynlib.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Dynlib.sml -------------------------------------------------------------------------------- /src/mosmllib/FileSys.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/FileSys.mlp -------------------------------------------------------------------------------- /src/mosmllib/FileSys.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/FileSys.sig -------------------------------------------------------------------------------- /src/mosmllib/Gdbm.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Gdbm.sig -------------------------------------------------------------------------------- /src/mosmllib/Gdbm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Gdbm.sml -------------------------------------------------------------------------------- /src/mosmllib/Gdimage.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Gdimage.sig -------------------------------------------------------------------------------- /src/mosmllib/Gdimage.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Gdimage.sml -------------------------------------------------------------------------------- /src/mosmllib/General.fke: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/General.fke -------------------------------------------------------------------------------- /src/mosmllib/Hashset.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Hashset.sig -------------------------------------------------------------------------------- /src/mosmllib/Hashset.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Hashset.sml -------------------------------------------------------------------------------- /src/mosmllib/Help.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Help.mlp -------------------------------------------------------------------------------- /src/mosmllib/Help.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Help.sig -------------------------------------------------------------------------------- /src/mosmllib/IO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/IO.sml -------------------------------------------------------------------------------- /src/mosmllib/Int.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Int.mlp -------------------------------------------------------------------------------- /src/mosmllib/Int.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Int.sig -------------------------------------------------------------------------------- /src/mosmllib/Intmap.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Intmap.sig -------------------------------------------------------------------------------- /src/mosmllib/Intmap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Intmap.sml -------------------------------------------------------------------------------- /src/mosmllib/Intset.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Intset.sig -------------------------------------------------------------------------------- /src/mosmllib/Intset.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Intset.sml -------------------------------------------------------------------------------- /src/mosmllib/Lexing.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Lexing.sig -------------------------------------------------------------------------------- /src/mosmllib/Lexing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Lexing.sml -------------------------------------------------------------------------------- /src/mosmllib/List.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/List.sig -------------------------------------------------------------------------------- /src/mosmllib/List.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/List.sml -------------------------------------------------------------------------------- /src/mosmllib/ListPair.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/ListPair.sig -------------------------------------------------------------------------------- /src/mosmllib/ListPair.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/ListPair.sml -------------------------------------------------------------------------------- /src/mosmllib/Listsort.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Listsort.sig -------------------------------------------------------------------------------- /src/mosmllib/Listsort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Listsort.sml -------------------------------------------------------------------------------- /src/mosmllib/Location.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Location.sig -------------------------------------------------------------------------------- /src/mosmllib/Location.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Location.sml -------------------------------------------------------------------------------- /src/mosmllib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Makefile -------------------------------------------------------------------------------- /src/mosmllib/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Makefile.w32 -------------------------------------------------------------------------------- /src/mosmllib/Math.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Math.sig -------------------------------------------------------------------------------- /src/mosmllib/Math.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Math.sml -------------------------------------------------------------------------------- /src/mosmllib/Meta.fke: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Meta.fke -------------------------------------------------------------------------------- /src/mosmllib/Misc.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Misc.sig -------------------------------------------------------------------------------- /src/mosmllib/Misc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Misc.sml -------------------------------------------------------------------------------- /src/mosmllib/Mosml.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Mosml.mlp -------------------------------------------------------------------------------- /src/mosmllib/Mosml.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Mosml.sig -------------------------------------------------------------------------------- /src/mosmllib/Mosmlcgi.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Mosmlcgi.sig -------------------------------------------------------------------------------- /src/mosmllib/Mosmlcgi.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Mosmlcgi.sml -------------------------------------------------------------------------------- /src/mosmllib/Mosmlcookie.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Mosmlcookie.sig -------------------------------------------------------------------------------- /src/mosmllib/Mosmlcookie.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Mosmlcookie.sml -------------------------------------------------------------------------------- /src/mosmllib/Msp.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Msp.sig -------------------------------------------------------------------------------- /src/mosmllib/Msp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Msp.sml -------------------------------------------------------------------------------- /src/mosmllib/Mysql.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Mysql.sig -------------------------------------------------------------------------------- /src/mosmllib/Mysql.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Mysql.sml -------------------------------------------------------------------------------- /src/mosmllib/NJ93.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/NJ93.sig -------------------------------------------------------------------------------- /src/mosmllib/NJ93.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/NJ93.sml -------------------------------------------------------------------------------- /src/mosmllib/Nonstdio.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Nonstdio.sig -------------------------------------------------------------------------------- /src/mosmllib/Nonstdio.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Nonstdio.sml -------------------------------------------------------------------------------- /src/mosmllib/OS.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/OS.sig -------------------------------------------------------------------------------- /src/mosmllib/OS.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/OS.sml -------------------------------------------------------------------------------- /src/mosmllib/Obj.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Obj.sml -------------------------------------------------------------------------------- /src/mosmllib/Option.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Option.sig -------------------------------------------------------------------------------- /src/mosmllib/Option.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Option.sml -------------------------------------------------------------------------------- /src/mosmllib/PP.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/PP.sig -------------------------------------------------------------------------------- /src/mosmllib/PP.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/PP.sml -------------------------------------------------------------------------------- /src/mosmllib/PackRealBig.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/PackRealBig.sig -------------------------------------------------------------------------------- /src/mosmllib/PackRealBig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/PackRealBig.sml -------------------------------------------------------------------------------- /src/mosmllib/PackRealLittle.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/PackRealLittle.sig -------------------------------------------------------------------------------- /src/mosmllib/PackRealLittle.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/PackRealLittle.sml -------------------------------------------------------------------------------- /src/mosmllib/Parsing.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Parsing.sig -------------------------------------------------------------------------------- /src/mosmllib/Parsing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Parsing.sml -------------------------------------------------------------------------------- /src/mosmllib/Path.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Path.mlp -------------------------------------------------------------------------------- /src/mosmllib/Path.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Path.sig -------------------------------------------------------------------------------- /src/mosmllib/Polygdbm.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Polygdbm.sig -------------------------------------------------------------------------------- /src/mosmllib/Polygdbm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Polygdbm.sml -------------------------------------------------------------------------------- /src/mosmllib/Polyhash.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Polyhash.sig -------------------------------------------------------------------------------- /src/mosmllib/Polyhash.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Polyhash.sml -------------------------------------------------------------------------------- /src/mosmllib/Postgres.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Postgres.sig -------------------------------------------------------------------------------- /src/mosmllib/Postgres.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Postgres.sml -------------------------------------------------------------------------------- /src/mosmllib/Process.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Process.mlp -------------------------------------------------------------------------------- /src/mosmllib/Process.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Process.sig -------------------------------------------------------------------------------- /src/mosmllib/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/README -------------------------------------------------------------------------------- /src/mosmllib/README.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/README.src -------------------------------------------------------------------------------- /src/mosmllib/Random.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Random.sig -------------------------------------------------------------------------------- /src/mosmllib/Random.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Random.sml -------------------------------------------------------------------------------- /src/mosmllib/Rbset.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Rbset.sig -------------------------------------------------------------------------------- /src/mosmllib/Rbset.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Rbset.sml -------------------------------------------------------------------------------- /src/mosmllib/Real.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Real.sig -------------------------------------------------------------------------------- /src/mosmllib/Real.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Real.sml -------------------------------------------------------------------------------- /src/mosmllib/Redblackmap.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Redblackmap.sig -------------------------------------------------------------------------------- /src/mosmllib/Redblackmap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Redblackmap.sml -------------------------------------------------------------------------------- /src/mosmllib/Regex.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Regex.sig -------------------------------------------------------------------------------- /src/mosmllib/Regex.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Regex.sml -------------------------------------------------------------------------------- /src/mosmllib/SML90.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/SML90.sig -------------------------------------------------------------------------------- /src/mosmllib/SML90.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/SML90.sml -------------------------------------------------------------------------------- /src/mosmllib/Signal.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Signal.sig -------------------------------------------------------------------------------- /src/mosmllib/Signal.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Signal.sml -------------------------------------------------------------------------------- /src/mosmllib/Socket.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Socket.sig -------------------------------------------------------------------------------- /src/mosmllib/Socket.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Socket.sml -------------------------------------------------------------------------------- /src/mosmllib/Splaymap.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Splaymap.sig -------------------------------------------------------------------------------- /src/mosmllib/Splaymap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Splaymap.sml -------------------------------------------------------------------------------- /src/mosmllib/Splayset.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Splayset.sig -------------------------------------------------------------------------------- /src/mosmllib/Splayset.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Splayset.sml -------------------------------------------------------------------------------- /src/mosmllib/Splaytree.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Splaytree.sig -------------------------------------------------------------------------------- /src/mosmllib/Splaytree.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Splaytree.sml -------------------------------------------------------------------------------- /src/mosmllib/Strbase.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Strbase.mlp -------------------------------------------------------------------------------- /src/mosmllib/Strbase.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Strbase.sig -------------------------------------------------------------------------------- /src/mosmllib/String.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/String.sig -------------------------------------------------------------------------------- /src/mosmllib/String.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/String.sml -------------------------------------------------------------------------------- /src/mosmllib/StringCvt.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/StringCvt.sig -------------------------------------------------------------------------------- /src/mosmllib/StringCvt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/StringCvt.sml -------------------------------------------------------------------------------- /src/mosmllib/Substring.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Substring.sig -------------------------------------------------------------------------------- /src/mosmllib/Substring.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Substring.sml -------------------------------------------------------------------------------- /src/mosmllib/Susp.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Susp.sig -------------------------------------------------------------------------------- /src/mosmllib/Susp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Susp.sml -------------------------------------------------------------------------------- /src/mosmllib/TextIO.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/TextIO.sig -------------------------------------------------------------------------------- /src/mosmllib/TextIO.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/TextIO.sml -------------------------------------------------------------------------------- /src/mosmllib/Time.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Time.sig -------------------------------------------------------------------------------- /src/mosmllib/Time.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Time.sml -------------------------------------------------------------------------------- /src/mosmllib/Timer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Timer.sig -------------------------------------------------------------------------------- /src/mosmllib/Timer.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Timer.sml -------------------------------------------------------------------------------- /src/mosmllib/Unix.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Unix.sig -------------------------------------------------------------------------------- /src/mosmllib/Unix.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Unix.sml -------------------------------------------------------------------------------- /src/mosmllib/Vector.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Vector.mlp -------------------------------------------------------------------------------- /src/mosmllib/Vector.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Vector.sig -------------------------------------------------------------------------------- /src/mosmllib/VectorSlice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/VectorSlice.sig -------------------------------------------------------------------------------- /src/mosmllib/VectorSlice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/VectorSlice.sml -------------------------------------------------------------------------------- /src/mosmllib/Weak.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Weak.mlp -------------------------------------------------------------------------------- /src/mosmllib/Weak.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Weak.sig -------------------------------------------------------------------------------- /src/mosmllib/Word.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Word.mlp -------------------------------------------------------------------------------- /src/mosmllib/Word.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Word.sig -------------------------------------------------------------------------------- /src/mosmllib/Word8.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Word8.sig -------------------------------------------------------------------------------- /src/mosmllib/Word8.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Word8.sml -------------------------------------------------------------------------------- /src/mosmllib/Word8Array.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Word8Array.mlp -------------------------------------------------------------------------------- /src/mosmllib/Word8Array.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Word8Array.sig -------------------------------------------------------------------------------- /src/mosmllib/Word8Vector.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Word8Vector.mlp -------------------------------------------------------------------------------- /src/mosmllib/Word8Vector.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/Word8Vector.sig -------------------------------------------------------------------------------- /src/mosmllib/makefile.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/makefile.dos -------------------------------------------------------------------------------- /src/mosmllib/test/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/.gitignore -------------------------------------------------------------------------------- /src/mosmllib/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/Makefile -------------------------------------------------------------------------------- /src/mosmllib/test/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/Makefile.w32 -------------------------------------------------------------------------------- /src/mosmllib/test/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/README -------------------------------------------------------------------------------- /src/mosmllib/test/array.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/array.sml -------------------------------------------------------------------------------- /src/mosmllib/test/array2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/array2.sml -------------------------------------------------------------------------------- /src/mosmllib/test/arraysort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/arraysort.sml -------------------------------------------------------------------------------- /src/mosmllib/test/auxil.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/auxil.sml -------------------------------------------------------------------------------- /src/mosmllib/test/bytechar.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/bytechar.sml -------------------------------------------------------------------------------- /src/mosmllib/test/bytecmac.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/bytecmac.sml -------------------------------------------------------------------------------- /src/mosmllib/test/callback.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/callback.sml -------------------------------------------------------------------------------- /src/mosmllib/test/cmdline.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/cmdline.sml -------------------------------------------------------------------------------- /src/mosmllib/test/date.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/date.sml -------------------------------------------------------------------------------- /src/mosmllib/test/dospath.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/dospath.sml -------------------------------------------------------------------------------- /src/mosmllib/test/filesmac.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/filesmac.sml -------------------------------------------------------------------------------- /src/mosmllib/test/filesys.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/filesys.sml -------------------------------------------------------------------------------- /src/mosmllib/test/general.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/general.sml -------------------------------------------------------------------------------- /src/mosmllib/test/int.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/int.sml -------------------------------------------------------------------------------- /src/mosmllib/test/list.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/list.sml -------------------------------------------------------------------------------- /src/mosmllib/test/listpair.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/listpair.sml -------------------------------------------------------------------------------- /src/mosmllib/test/listsort.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/listsort.sml -------------------------------------------------------------------------------- /src/mosmllib/test/macpath.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/macpath.sml -------------------------------------------------------------------------------- /src/mosmllib/test/makefile.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/makefile.dos -------------------------------------------------------------------------------- /src/mosmllib/test/math.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/math.sml -------------------------------------------------------------------------------- /src/mosmllib/test/mosml.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/mosml.sml -------------------------------------------------------------------------------- /src/mosmllib/test/polyhash.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/polyhash.sml -------------------------------------------------------------------------------- /src/mosmllib/test/process.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/process.sml -------------------------------------------------------------------------------- /src/mosmllib/test/random.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/random.sml -------------------------------------------------------------------------------- /src/mosmllib/test/rbset.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/rbset.sml -------------------------------------------------------------------------------- /src/mosmllib/test/real.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/real.sml -------------------------------------------------------------------------------- /src/mosmllib/test/result.macppc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/result.macppc -------------------------------------------------------------------------------- /src/mosmllib/test/result.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/result.ok -------------------------------------------------------------------------------- /src/mosmllib/test/string.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/string.sml -------------------------------------------------------------------------------- /src/mosmllib/test/stringcvt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/stringcvt.sml -------------------------------------------------------------------------------- /src/mosmllib/test/stringmac.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/stringmac.sml -------------------------------------------------------------------------------- /src/mosmllib/test/substring.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/substring.sml -------------------------------------------------------------------------------- /src/mosmllib/test/susp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/susp.sml -------------------------------------------------------------------------------- /src/mosmllib/test/test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/test.sml -------------------------------------------------------------------------------- /src/mosmllib/test/test.sml.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/test.sml.dos -------------------------------------------------------------------------------- /src/mosmllib/test/testmac.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/testmac.sml -------------------------------------------------------------------------------- /src/mosmllib/test/testrun.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/testrun.sml -------------------------------------------------------------------------------- /src/mosmllib/test/textio.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/textio.sml -------------------------------------------------------------------------------- /src/mosmllib/test/time.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/time.sml -------------------------------------------------------------------------------- /src/mosmllib/test/timer.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/timer.sml -------------------------------------------------------------------------------- /src/mosmllib/test/unixpath.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/unixpath.sml -------------------------------------------------------------------------------- /src/mosmllib/test/vector.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/vector.sml -------------------------------------------------------------------------------- /src/mosmllib/test/weak.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/weak.sml -------------------------------------------------------------------------------- /src/mosmllib/test/word.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/word.sml -------------------------------------------------------------------------------- /src/mosmllib/test/word8.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllib/test/word8.sml -------------------------------------------------------------------------------- /src/mosmllnk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllnk -------------------------------------------------------------------------------- /src/mosmllnk.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmllnk.w32 -------------------------------------------------------------------------------- /src/mosmlpm/.gitignore: -------------------------------------------------------------------------------- 1 | *.u? mosmlpm pm 2 | -------------------------------------------------------------------------------- /src/mosmlpm/ArgParse.pm: -------------------------------------------------------------------------------- 1 | structure ArgParse.sml 2 | -------------------------------------------------------------------------------- /src/mosmlpm/ArgParse.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/ArgParse.sig -------------------------------------------------------------------------------- /src/mosmlpm/ArgParse.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/ArgParse.sml -------------------------------------------------------------------------------- /src/mosmlpm/Compilerinterface.pm: -------------------------------------------------------------------------------- 1 | Compilerinterface.sml 2 | -------------------------------------------------------------------------------- /src/mosmlpm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/Makefile -------------------------------------------------------------------------------- /src/mosmlpm/PMBasic.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/PMBasic.sml -------------------------------------------------------------------------------- /src/mosmlpm/PMCompile.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/PMCompile.sml -------------------------------------------------------------------------------- /src/mosmlpm/Parsercomb.pm: -------------------------------------------------------------------------------- 1 | structure Parsercomb.sml 2 | -------------------------------------------------------------------------------- /src/mosmlpm/Parsercomb.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/Parsercomb.sig -------------------------------------------------------------------------------- /src/mosmlpm/Parsercomb.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/Parsercomb.sml -------------------------------------------------------------------------------- /src/mosmlpm/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/README -------------------------------------------------------------------------------- /src/mosmlpm/Systemcompile.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/Systemcompile.pm -------------------------------------------------------------------------------- /src/mosmlpm/Systemcompile.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/Systemcompile.sml -------------------------------------------------------------------------------- /src/mosmlpm/TECHNICAL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/TECHNICAL -------------------------------------------------------------------------------- /src/mosmlpm/mosmlpm.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/mosmlpm.pm -------------------------------------------------------------------------------- /src/mosmlpm/mosmlpm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/mosmlpm.sml -------------------------------------------------------------------------------- /src/mosmlpm/pmnotes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/pmnotes.txt -------------------------------------------------------------------------------- /src/mosmlpm/test/A.sig: -------------------------------------------------------------------------------- 1 | signature A = 2 | sig 3 | val foo : int 4 | end 5 | -------------------------------------------------------------------------------- /src/mosmlpm/test/A.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/test/A.sml -------------------------------------------------------------------------------- /src/mosmlpm/test/B-sig.sml: -------------------------------------------------------------------------------- 1 | signature B = 2 | sig 3 | val bar : int 4 | end 5 | -------------------------------------------------------------------------------- /src/mosmlpm/test/B.sml: -------------------------------------------------------------------------------- 1 | functor BFun (X : A) :> B = 2 | struct 3 | val bar = X.foo 4 | end 5 | -------------------------------------------------------------------------------- /src/mosmlpm/test/C.sml: -------------------------------------------------------------------------------- 1 | 2 | structure C = BFun(A) 3 | 4 | val main = C.bar 5 | -------------------------------------------------------------------------------- /src/mosmlpm/test/D.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/test/D.sig -------------------------------------------------------------------------------- /src/mosmlpm/test/D.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/test/D.sml -------------------------------------------------------------------------------- /src/mosmlpm/test/loop1.pm: -------------------------------------------------------------------------------- 1 | import loop2.pm 2 | in 3 | structure A.sig 4 | end 5 | -------------------------------------------------------------------------------- /src/mosmlpm/test/loop2.pm: -------------------------------------------------------------------------------- 1 | import loop1.pm 2 | in 3 | structure A.sml 4 | end 5 | -------------------------------------------------------------------------------- /src/mosmlpm/test/selfloop.pm: -------------------------------------------------------------------------------- 1 | import selfloop.pm 2 | in 3 | A.sml 4 | end 5 | -------------------------------------------------------------------------------- /src/mosmlpm/test/simple.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlpm/test/simple.pm -------------------------------------------------------------------------------- /src/mosmlyac/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/.gitignore -------------------------------------------------------------------------------- /src/mosmlyac/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/Makefile -------------------------------------------------------------------------------- /src/mosmlyac/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/Makefile.w32 -------------------------------------------------------------------------------- /src/mosmlyac/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/README -------------------------------------------------------------------------------- /src/mosmlyac/closure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/closure.c -------------------------------------------------------------------------------- /src/mosmlyac/defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/defs.h -------------------------------------------------------------------------------- /src/mosmlyac/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/error.c -------------------------------------------------------------------------------- /src/mosmlyac/lalr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/lalr.c -------------------------------------------------------------------------------- /src/mosmlyac/lr0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/lr0.c -------------------------------------------------------------------------------- /src/mosmlyac/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/main.c -------------------------------------------------------------------------------- /src/mosmlyac/makefile.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/makefile.dos -------------------------------------------------------------------------------- /src/mosmlyac/mkpar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/mkpar.c -------------------------------------------------------------------------------- /src/mosmlyac/output.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/output.c -------------------------------------------------------------------------------- /src/mosmlyac/parsing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/parsing.c -------------------------------------------------------------------------------- /src/mosmlyac/reader.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/reader.c -------------------------------------------------------------------------------- /src/mosmlyac/skeleton.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/skeleton.c -------------------------------------------------------------------------------- /src/mosmlyac/symtab.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/symtab.c -------------------------------------------------------------------------------- /src/mosmlyac/verbose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/verbose.c -------------------------------------------------------------------------------- /src/mosmlyac/warshall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/mosmlyac/warshall.c -------------------------------------------------------------------------------- /src/notes/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/TODO -------------------------------------------------------------------------------- /src/notes/TODO.ken: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/TODO.ken -------------------------------------------------------------------------------- /src/notes/a.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/a.out -------------------------------------------------------------------------------- /src/notes/dynamicexn.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/dynamicexn.txt -------------------------------------------------------------------------------- /src/notes/largematch.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/largematch.sml -------------------------------------------------------------------------------- /src/notes/longjump.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/longjump.sml -------------------------------------------------------------------------------- /src/notes/macosx-log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/macosx-log -------------------------------------------------------------------------------- /src/notes/manycons.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/manycons.sml -------------------------------------------------------------------------------- /src/notes/manylocals.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/manylocals.sml -------------------------------------------------------------------------------- /src/notes/mosml.net.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/mosml.net.txt -------------------------------------------------------------------------------- /src/notes/mosml2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/mosml2 -------------------------------------------------------------------------------- /src/notes/mosmlrpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/mosmlrpm -------------------------------------------------------------------------------- /src/notes/print.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/print.sml -------------------------------------------------------------------------------- /src/notes/skowron-bug.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/skowron-bug.sml -------------------------------------------------------------------------------- /src/notes/ud: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/notes/ud -------------------------------------------------------------------------------- /src/runtime/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/.gitignore -------------------------------------------------------------------------------- /src/runtime/COPYRGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/COPYRGHT -------------------------------------------------------------------------------- /src/runtime/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/Makefile -------------------------------------------------------------------------------- /src/runtime/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/Makefile.w32 -------------------------------------------------------------------------------- /src/runtime/alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/alloc.c -------------------------------------------------------------------------------- /src/runtime/alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/alloc.h -------------------------------------------------------------------------------- /src/runtime/callback.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/callback.c -------------------------------------------------------------------------------- /src/runtime/callback.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/callback.h -------------------------------------------------------------------------------- /src/runtime/compare.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/compare.c -------------------------------------------------------------------------------- /src/runtime/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/config.h -------------------------------------------------------------------------------- /src/runtime/debugger.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/debugger.c -------------------------------------------------------------------------------- /src/runtime/debugger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/debugger.h -------------------------------------------------------------------------------- /src/runtime/dynlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/dynlib.c -------------------------------------------------------------------------------- /src/runtime/exec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/exec.h -------------------------------------------------------------------------------- /src/runtime/expand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/expand.c -------------------------------------------------------------------------------- /src/runtime/expand.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/expand.h -------------------------------------------------------------------------------- /src/runtime/extern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/extern.c -------------------------------------------------------------------------------- /src/runtime/externcp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/externcp.c -------------------------------------------------------------------------------- /src/runtime/fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/fail.c -------------------------------------------------------------------------------- /src/runtime/fail.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/fail.h -------------------------------------------------------------------------------- /src/runtime/fix_code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/fix_code.c -------------------------------------------------------------------------------- /src/runtime/floats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/floats.c -------------------------------------------------------------------------------- /src/runtime/freelist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/freelist.c -------------------------------------------------------------------------------- /src/runtime/freelist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/freelist.h -------------------------------------------------------------------------------- /src/runtime/gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/gc.h -------------------------------------------------------------------------------- /src/runtime/gc_ctrl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/gc_ctrl.c -------------------------------------------------------------------------------- /src/runtime/gc_ctrl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/gc_ctrl.h -------------------------------------------------------------------------------- /src/runtime/globals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/globals.h -------------------------------------------------------------------------------- /src/runtime/graph.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/graph.c -------------------------------------------------------------------------------- /src/runtime/hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/hash.c -------------------------------------------------------------------------------- /src/runtime/instruct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/instruct.h -------------------------------------------------------------------------------- /src/runtime/intern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/intern.c -------------------------------------------------------------------------------- /src/runtime/interncp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/interncp.c -------------------------------------------------------------------------------- /src/runtime/interp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/interp.c -------------------------------------------------------------------------------- /src/runtime/interp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/interp.h -------------------------------------------------------------------------------- /src/runtime/intext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/intext.h -------------------------------------------------------------------------------- /src/runtime/ints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/ints.c -------------------------------------------------------------------------------- /src/runtime/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/io.c -------------------------------------------------------------------------------- /src/runtime/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/io.h -------------------------------------------------------------------------------- /src/runtime/lexing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/lexing.c -------------------------------------------------------------------------------- /src/runtime/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/main.c -------------------------------------------------------------------------------- /src/runtime/major_gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/major_gc.c -------------------------------------------------------------------------------- /src/runtime/major_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/major_gc.h -------------------------------------------------------------------------------- /src/runtime/makefile.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/makefile.dos -------------------------------------------------------------------------------- /src/runtime/md5sum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/md5sum.c -------------------------------------------------------------------------------- /src/runtime/md5sum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/md5sum.h -------------------------------------------------------------------------------- /src/runtime/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/memory.c -------------------------------------------------------------------------------- /src/runtime/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/memory.h -------------------------------------------------------------------------------- /src/runtime/meta.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/meta.c -------------------------------------------------------------------------------- /src/runtime/minor_gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/minor_gc.c -------------------------------------------------------------------------------- /src/runtime/minor_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/minor_gc.h -------------------------------------------------------------------------------- /src/runtime/misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/misc.c -------------------------------------------------------------------------------- /src/runtime/misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/misc.h -------------------------------------------------------------------------------- /src/runtime/mlvalues.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/mlvalues.h -------------------------------------------------------------------------------- /src/runtime/mosml.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/mosml.c -------------------------------------------------------------------------------- /src/runtime/mosml.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/mosml.h -------------------------------------------------------------------------------- /src/runtime/msdos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/msdos.c -------------------------------------------------------------------------------- /src/runtime/parsing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/parsing.c -------------------------------------------------------------------------------- /src/runtime/prims.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/prims.h -------------------------------------------------------------------------------- /src/runtime/reverse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/reverse.h -------------------------------------------------------------------------------- /src/runtime/roots.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/roots.c -------------------------------------------------------------------------------- /src/runtime/roots.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/roots.h -------------------------------------------------------------------------------- /src/runtime/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/runtime.c -------------------------------------------------------------------------------- /src/runtime/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/runtime.h -------------------------------------------------------------------------------- /src/runtime/signals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/signals.c -------------------------------------------------------------------------------- /src/runtime/signals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/signals.h -------------------------------------------------------------------------------- /src/runtime/stacks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/stacks.c -------------------------------------------------------------------------------- /src/runtime/stacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/stacks.h -------------------------------------------------------------------------------- /src/runtime/str.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/str.c -------------------------------------------------------------------------------- /src/runtime/str.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/str.h -------------------------------------------------------------------------------- /src/runtime/sys.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/sys.c -------------------------------------------------------------------------------- /src/runtime/sys.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/sys.h -------------------------------------------------------------------------------- /src/runtime/unalignd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/unalignd.h -------------------------------------------------------------------------------- /src/runtime/unix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/runtime/unix.c -------------------------------------------------------------------------------- /src/runtime/version.h: -------------------------------------------------------------------------------- 1 | #define VERSION "0.8e for Moscow ML" 2 | -------------------------------------------------------------------------------- /src/test/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/.gitignore -------------------------------------------------------------------------------- /src/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/Makefile -------------------------------------------------------------------------------- /src/test/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/Makefile.w32 -------------------------------------------------------------------------------- /src/test/constfai.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/constfai.sml -------------------------------------------------------------------------------- /src/test/constsuc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/constsuc.sml -------------------------------------------------------------------------------- /src/test/makefile.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/makefile.dos -------------------------------------------------------------------------------- /src/test/maxconst.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/maxconst.sml -------------------------------------------------------------------------------- /src/test/mosmlyac/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/mosmlyac/Makefile -------------------------------------------------------------------------------- /src/test/mosmlyac/test1.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/mosmlyac/test1.grm -------------------------------------------------------------------------------- /src/test/mosmlyac/test3.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/mosmlyac/test3.grm -------------------------------------------------------------------------------- /src/test/mosmlyac/test3.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/mosmlyac/test3.lam -------------------------------------------------------------------------------- /src/test/mosmlyac/test3aux.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/mosmlyac/test3aux.sml -------------------------------------------------------------------------------- /src/test/mosmlyac/test3lex.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/mosmlyac/test3lex.lex -------------------------------------------------------------------------------- /src/test/mosmlyac/test3load: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/mosmlyac/test3load -------------------------------------------------------------------------------- /src/test/mosmlyac/test3main.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/mosmlyac/test3main.sml -------------------------------------------------------------------------------- /src/test/ovlfail.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/ovlfail.sml -------------------------------------------------------------------------------- /src/test/ovlsucc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/ovlsucc.sml -------------------------------------------------------------------------------- /src/test/recfail.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/recfail.sml -------------------------------------------------------------------------------- /src/test/recsucc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/recsucc.sml -------------------------------------------------------------------------------- /src/test/result.ok: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/result.ok -------------------------------------------------------------------------------- /src/test/test.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test.sml -------------------------------------------------------------------------------- /src/test/test1.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test1.sml -------------------------------------------------------------------------------- /src/test/test2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test2.sml -------------------------------------------------------------------------------- /src/test/test3.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test3.sml -------------------------------------------------------------------------------- /src/test/test4.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test4.sml -------------------------------------------------------------------------------- /src/test/test5.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test5.sml -------------------------------------------------------------------------------- /src/test/test6.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test6.sml -------------------------------------------------------------------------------- /src/test/test7.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test7.sml -------------------------------------------------------------------------------- /src/test/test8.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test8.sml -------------------------------------------------------------------------------- /src/test/test9.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/test9.sml -------------------------------------------------------------------------------- /src/test/testa.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testa.sml -------------------------------------------------------------------------------- /src/test/testb.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testb.sml -------------------------------------------------------------------------------- /src/test/testc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testc.sml -------------------------------------------------------------------------------- /src/test/testcon.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testcon.sml -------------------------------------------------------------------------------- /src/test/testcon1.sig: -------------------------------------------------------------------------------- 1 | datatype t = true; 2 | -------------------------------------------------------------------------------- /src/test/testcon2.sig: -------------------------------------------------------------------------------- 1 | datatype t = true of int; 2 | -------------------------------------------------------------------------------- /src/test/testcon3.sig: -------------------------------------------------------------------------------- 1 | exception true; 2 | -------------------------------------------------------------------------------- /src/test/testd.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testd.sml -------------------------------------------------------------------------------- /src/test/teste.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/teste.sml -------------------------------------------------------------------------------- /src/test/testint.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testint.sml -------------------------------------------------------------------------------- /src/test/testmatc.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testmatc.sml -------------------------------------------------------------------------------- /src/test/testpp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testpp.sml -------------------------------------------------------------------------------- /src/test/testprs.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testprs.sml -------------------------------------------------------------------------------- /src/test/testsyn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testsyn.sml -------------------------------------------------------------------------------- /src/test/testty.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/testty.sml -------------------------------------------------------------------------------- /src/test/typerr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/test/typerr.sml -------------------------------------------------------------------------------- /src/tools/cutdepsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/cutdepsp -------------------------------------------------------------------------------- /src/tools/findprim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/findprim -------------------------------------------------------------------------------- /src/tools/installb.bat: -------------------------------------------------------------------------------- 1 | @copy /b ..\launch.w32\header+%1 %2.exe 2 | -------------------------------------------------------------------------------- /src/tools/installer/.gitignore: -------------------------------------------------------------------------------- 1 | mosml/* 2 | Output 3 | -------------------------------------------------------------------------------- /src/tools/installer/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/installer/README -------------------------------------------------------------------------------- /src/tools/installer/README.inno: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/installer/README.inno -------------------------------------------------------------------------------- /src/tools/installer/mosml.iss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/installer/mosml.iss -------------------------------------------------------------------------------- /src/tools/make-jumptbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/make-jumptbl -------------------------------------------------------------------------------- /src/tools/make-opcodes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/make-opcodes -------------------------------------------------------------------------------- /src/tools/mkjumptb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/mkjumptb -------------------------------------------------------------------------------- /src/tools/mkopnam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/mkopnam -------------------------------------------------------------------------------- /src/tools/mkprims: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/mkprims -------------------------------------------------------------------------------- /src/tools/mksmlopc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/mksmlopc -------------------------------------------------------------------------------- /src/tools/mksmlprc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/mksmlprc -------------------------------------------------------------------------------- /src/tools/mksmlpre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/mksmlpre -------------------------------------------------------------------------------- /src/tools/travis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/tools/travis -------------------------------------------------------------------------------- /src/toolssrc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/.gitignore -------------------------------------------------------------------------------- /src/toolssrc/Deplex.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/Deplex.lex -------------------------------------------------------------------------------- /src/toolssrc/Deppars.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/Deppars.grm -------------------------------------------------------------------------------- /src/toolssrc/Maine.sig: -------------------------------------------------------------------------------- 1 | (* Main.sig *) 2 | 3 | (* Nothing to export! *) 4 | -------------------------------------------------------------------------------- /src/toolssrc/Maine.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/Maine.sml -------------------------------------------------------------------------------- /src/toolssrc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/Makefile -------------------------------------------------------------------------------- /src/toolssrc/Makefile.w32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/Makefile.w32 -------------------------------------------------------------------------------- /src/toolssrc/Mosmldep.mlp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/Mosmldep.mlp -------------------------------------------------------------------------------- /src/toolssrc/Smltope.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/Smltope.sig -------------------------------------------------------------------------------- /src/toolssrc/Smltope.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/Smltope.sml -------------------------------------------------------------------------------- /src/toolssrc/cutdeps.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/cutdeps.sml -------------------------------------------------------------------------------- /src/toolssrc/makefile.dos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/src/toolssrc/makefile.dos -------------------------------------------------------------------------------- /tools/Makefile.stub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/tools/Makefile.stub -------------------------------------------------------------------------------- /tools/cutdeps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/tools/cutdeps -------------------------------------------------------------------------------- /tools/mosmldep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kfl/mosml/HEAD/tools/mosmldep --------------------------------------------------------------------------------