root/trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @4305 [4305] 3 weeks jmaessen [codegen, testing] Tweaked ManglingClassWriter to try to recover …
(edit) @4304 [4304] 3 weeks sukyoungryu [abstract method checker] Replaced yet another copy of the old, wrong …
(edit) @4286 [4286] 4 weeks sukyoungryu [self type idiom] Added more tests. [type checker] Moved the …
(edit) @4277 [4277] 5 weeks sukyoungryu [self type idiom] A trait with a comprises ... should not be extended. …
(edit) @4275 [4275] 5 weeks sukyoungryu [self type idiom] Implemented the new self-type idiom proposal.
(edit) @4256 [4256] 6 weeks jmaessen [testing] Remove any file (like, say, Compiled10) from here if we actually …
(edit) @4225 [4225] 7 weeks sukyoungryu [type checker] Implemented type checking of contracts and fixed type …
(edit) @4223 [4223] 7 weeks sukyoungryu [Compiled9] Compiled9 is done.
(edit) @4216 [4216] 7 weeks sukyoungryu [type checker] Implemented type checking of array expressions. Tested by …
(edit) @4214 [4214] 8 weeks sukyoungryu [type checker] Implemented type checking of case expressions. It should …
(edit) @4208 [4208] 8 weeks jmaessen [tests] Tweaked Compiled11 to be type correct, made sure type checker is …
(edit) @4204 [4204] 2 months sukyoungryu [type checker] Implemented type checking of 'try' and 'throw'. Added …
(edit) @4192 [4192] 2 months sukyoungryu [environment] Fixed handling of operators with different fixities as …
(edit) @4190 [4190] 2 months sukyoungryu [environment] Reverted changes in r4187.
(edit) @4188 [4188] 2 months sukyoungryu [tests] Fixed a .test file to include 'link'. Added a .test file for the …
(edit) @4186 [4186] 2 months sukyoungryu [type checker] Implemented type checking of label and exit expressions. …
(edit) @4178 [4178] 2 months sukyoungryu [tests] Moved 10 static tests from not_working_static_tests/ to …
(edit) @4167 [4167] 2 months sukyoungryu [tests] Added more tests.
(edit) @4127 [4127] 3 months sukyoungryu [compiler tests] Renamed Comprehensions tests to CompiledX tests.
(edit) @4122 [4122] 3 months sukyoungryu [static checker] An abstract method can be implemented by concrete methods …
(edit) @4117 [4117] 3 months sukyoungryu [static checker] Abstract method checker handles functional methods too.
(edit) @4095 [4095] 3 months jrhil47 [type checker] Added coercions to function application. Compiled9 works …
(edit) @4089 [4089] 3 months jmaessen [testing, libraries] Most of the code required by Compiled7fo.fss now …
(edit) @4081 [4081] 3 months sukyoungryu [compiler tests] Moved some static tests from not_working_static_tests to …
(edit) @4073 [4073] 3 months jrhil47 [type checker] Implemented type checking of Assignment expressions.
(edit) @4062 [4062] 4 months sukyoungryu [overloading checker] Check that a functional which takes a single …
(edit) @4061 [4061] 4 months jrhil47 [type checker] Fixed bug in type checking a tight juxt. Now it tries to …
(edit) @4060 [4060] 4 months jrhil47 [type checker] Fixed bug in environments. Fixed nyi.Compiled6.u.fss and …
(edit) @4056 [4056] 4 months sukyoungryu [compiler tests] Moved some of now working static tests to the …
(edit) @4055 [4055] 4 months sukyoungryu [compiler tests] Moved some of now working static tests to the …
(edit) @4052 [4052] 4 months sukyoungryu [compiler tests] Cleaning up compiler tests.
(edit) @4050 [4050] 4 months sukyoungryu [compiler test] Closed Ticket #339.
(edit) @4040 [4040] 4 months jmaessen [libraries, test] Bring boolean functions on line (except short cut), …
(edit) @4037 [4037] 4 months EricAllen Renumbered CompiledX programs to make room for wordcount-related tasks.
(edit) @4018 [4018] 4 months jmaessen [testing] Comprehensions1 had been made to typecheck, so I added a couple …
(edit) @4017 [4017] 4 months jrhil47 [type checker] Now inferring parameter types of FnExprs? that are arguments …
(edit) @3996 [3996] 4 months jrhil47 [type checker] Now properly inferring types for component-level variable …
(edit) @3980 [3980] 4 months sukyoungryu [compiler tests] Added Compiled5.bm.fss into the Compiler tests.
(edit) @3962 [3962] 4 months sukyoungryu [static tests] Moved 7 static tests from not_working_static_tests/ to …
(edit) @3878 [3878] 5 months sukyoungryu [type checker] Fixed type checking blocks. Added tests.
(edit) @3877 [3877] 5 months sukyoungryu [type checker] Implemented type checking of local variable declarations. …
(edit) @3875 [3875] 5 months sukyoungryu [overloading checker] Fixed the implementation of identifying the …
(edit) @3871 [3871] 5 months sukyoungryu [overloading checker] Implemented identifying the intersection of types …
(edit) @3855 [3855] 5 months sukyoungryu [type checker] Added more type checking of typecase expressions: multiple …
(edit) @3854 [3854] 5 months sukyoungryu [type checker] Added type checking of Compiled6, Compiled7, and Compiled8 …
(edit) @3848 [3848] 6 months sukyoungryu [compiler tests] Moved three tests from not_working_static_tests to …
(edit) @3837 [3837] 6 months sukyoungryu [compiler tests] Moved five tests from not_working_static_tests to …
(edit) @3815 [3815] 6 months sukyoungryu [compiler tests] Cleaned up some compiler tests. Added some compiler …
(edit) @3796 [3796] 6 months sukyoungryu [static checker] Implemented type well-formedness check. Finished …
(edit) @3692 [3692] 7 months sukyoungryu [Compiled3] Added a comprises clause to CompilerBuiltin?.ZZ32. Made the …
(edit) @3658 [3658] 7 months sukyoungryu [static checker] Implemented inferred exclusion relationships using …
(edit) @3648 [3648] 7 months sukyoungryu [static checker] Implemented a simple comprises clause check. Added a …
(edit) @3639 [3639] 7 months sukyoungryu [static checker] Implemented declared exclusion relationships. Added …
(edit) @3638 [3638] 7 months sukyoungryu [static checker] Implemented the exclusion relationships for type …
(edit) @3633 [3633] 8 months sukyoungryu [export checker] Fixed a bug checking trait/object members in APIs and …
(edit) @3632 [3632] 8 months sukyoungryu [static checker] Implemented declared exclusion relationships between …
(edit) @3567 [3567] 8 months sukyoungryu [overloading checker] Implemented simple overloading rules: exclusion and …
(add) @3525 [3525] 9 months sukyoungryu [type checker] Normalize types before and after type checking. [type …
Note: See TracRevisionLog for help on using the revision log.