root/trunk/ProjectFortress/test_library

Name Size Rev Age Last Change
../
a.b 2191 17 months angelee: [compiler] Just moving test files around.
Zeepf.fss 0.9 KB 1424 20 months sukyoungryu: Added more spec examples.
XXXExplicitImportOfNonExistingName.fsi 0.8 KB 3756 6 months sukyoungryu: [disambiguator] Implemented checking whether imported names are indeed …
TestNative.fss 1.0 KB 3179 12 months sukyoungryu: [library] The language and package bindings in native components should be …
TestNative.fsi 0.8 KB 769 2 years dr2chase: GENERIC native constructors (not necessarily methods) now work. See test …
TestImports4.fss 0.9 KB 1349 21 months dr2chase: Fixed infinite loop after touch of cached API source
TestImports4.fsi 0.8 KB 1341 21 months dr2chase: Added comments to MakeInferenceSpecific?; repaired import-export bug
TestImports3.fss 0.8 KB 1341 21 months dr2chase: Added comments to MakeInferenceSpecific?; repaired import-export bug
TestImports3.fsi 0.8 KB 1341 21 months dr2chase: Added comments to MakeInferenceSpecific?; repaired import-export bug
TestImports2.fss 1.1 KB 941 2 years jdn: Conflicting import-stars (of types, at least -- that is tested) are left …
TestImports2.fsi 0.9 KB 941 2 years jdn: Conflicting import-stars (of types, at least -- that is tested) are left …
TestImports1.fss 1.1 KB 932 2 years jdn: Import * skips non-function names defined in the importer (doesn't fix …
TestImports1.fsi 0.9 KB 932 2 years jdn: Import * skips non-function names defined in the importer (doesn't fix …
SecondAPI.fsi 0.8 KB 3518 9 months sukyoungryu: [export checker] Implemented the new static check: Multiple APIs exported …
RecB.fss 1.0 KB 1112 2 years sukyoungryu: Implemented the new import-statement syntax.
RecB.fsi 0.9 KB 1112 2 years sukyoungryu: Implemented the new import-statement syntax.
RecA.fss 1.0 KB 1112 2 years sukyoungryu: Implemented the new import-statement syntax.
RecA.fsi 0.9 KB 1112 2 years sukyoungryu: Implemented the new import-statement syntax.
oddJuxtComp.fss 0.9 KB 1597 19 months jmaessen: Refactored libraries to move arithmetic operators from top level into the …
oddJuxtComp.fsi 0.9 KB 1531 19 months jmaessen: Fixes bug in type inference reported by Sorin Miklós Zsejki that was …
Foo.fss 0.8 KB 3034 13 months sukyoungryu: [parser] Simplified grammar for dimensions and units. [copyright] Fixed …
Foo.fsi 0.8 KB 3029 13 months jmaessen: Add test for reporting of imported entities that are not present in the …
FirstAPI.fsi 0.8 KB 3518 9 months sukyoungryu: [export checker] Implemented the new static check: Multiple APIs exported …
Compiled5.a.fsi 0.8 KB 3715 7 months sukyoungryu: [export checker] Improved error messages. Added a test.
Compiled3.q.fsi 0.8 KB 3648 7 months sukyoungryu: [static checker] Implemented a simple comprises clause check. Added a …
Compiled3.g.fsi 0.8 KB 3633 8 months sukyoungryu: [export checker] Fixed a bug checking trait/object members in APIs and …
Compiled3.f.fsi 0.8 KB 3633 8 months sukyoungryu: [export checker] Fixed a bug checking trait/object members in APIs and …
Compiled2.a.fsi 0.8 KB 3551 9 months sukyoungryu: [static overloading check] Implemented a very simple overloading check: …
Compiled1.b.fsi 0.8 KB 3604 8 months sukyoungryu: [compiler tests] Moved Compiled1.b to Compiled3.a.
AsciiVal.fss 1.4 KB 2193 17 months angelee: [compiler] more moving files around.
AsciiVal.fsi 1.1 KB 2193 17 months angelee: [compiler] more moving files around.
AbstractDef.fsi 0.8 KB 3757 6 months sukyoungryu: [export checker] Improved the error message format from the export …
  • Property svn:ignore set to
    *.tfi
    *.tfs
Note: See TracBrowser for help on using the browser.