Brug af src test

Must have

• test6.sml => exceptions og behandling af disse. Interessant
• test5.sml => Refs og funktioner der bruger disse. Funktioner af flere vars i lets.
• test3.sml => datatype og brug af dennes rekursive indlejrede elementer, samt funktioner til at håndtere dette. Interessant test af indlejrede typer.
• recsucc.sml => test af legale rekursive val-bindinger. Kan være interessant for os.
• test2.sml => test af funktioner (non anon) baseret på test1-anon-funcs. Ikke så relevant, men kort.
• test1.sml => test af simple val-bindinger, konstanter, anon fun (med anon rec fun) og append-funktioner m. lister og tupler.
• testa.sml => mutual recursion, datatype

Interessant

• testc.sml => cyclic structures
• test8.sml => 'datattype', 'withtype', 'binary', 'unary'.
• testmatc.sml => test of the match compiler, could be interesting - lshared and such
• test9.sml => type, ..., #, value polymorphism

Interessant (men tester ikke direkte back):

• test7.sml => 'abstype', 'withtype', 'with'. Interessant, kan vi behandle dette?
• testprs.sml => Test af parsing. Irellevant test case, men kan stadig være interessant om det oversætter (mosml kan oversætte det uden fejl).
• testint.sml => test handling of Interrupt

Irellevant:

• maxconst.sml => samling af constfai.sml og constsucc.sml, med fails til sidst (32-bit).
• testd.sml => only for 32-bit implementations (could be rewritten tests Overflow)
• teste.sml => floatinpoint exceptions 64bit
• constfai.sml => test af constants og deres maks/min vals (gaar ud fra at disse skal fejle) (32-bit).
• constsuc.sml => test af constants og deres tilladte vals (max/min). Skal kunne oversættes (32-bit).
• test4.sml => infix operator, brug af denne, rekursive funktioner, '-->', lister og tupler. Interessant.
• ovlfail.sml => test af fails for overload resolution pr 'ny definition'. Indeholder 'ignore', 'before'-statements og 'makestring'.
• ovlsucc.sml => test af succ for overload resolution pr 'ny definition'. Indeholder 'ignore'-statements.
• recfail.sml => test af illegale rekursive val-bindinger. Disse bliver håndteret i typetjek etc.? Bør være håndteret inden back.
• testcon.sml => rebinding not permitted
• testb.sml => raise, handle, Io Match Bind, order and such not relevant
• test.sml => Kalder alle tests.
• testpp.sml => Test af prettyprint. Irellevant.
• testsyn.sml => Syntakstest. Irellevant.
• testty.sml => Typeevalueringstest på fejltyper. Irellevant.
• typerr.sml => Typeerrors, bør kun fejle, men dette sker i typetjek. Irellevant.