root/trunk/ProjectFortress/compiler_tests

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @4113 [4113] 3 months sukyoungryu [overloading checker] Implementing overloading with renamed imports. (Work …
(edit) @4112 [4112] 3 months jmaessen [compiler, library, tests] Work on getting RR64 to run (seems OK so far …
(edit) @4100 [4100] 3 months jrhil47 [Typechecker] Fixed bug that drops arguments.
(edit) @4095 [4095] 3 months jrhil47 [type checker] Added coercions to function application. Compiled9 works …
(edit) @4093 [4093] 3 months jmaessen [library] Counted loops using # (but not : for now due to testing …
(edit) @4092 [4092] 3 months sukyoungryu [parser] Backed off an error production.
(edit) @4091 [4091] 3 months sukyoungryu [compiler tests] Moved more static tests from not_working_static_tests/ to …
(edit) @4090 [4090] 3 months jmaessen [testing] Uncomment second test in Compiled6.fss, proving that at least …
(edit) @4089 [4089] 3 months jmaessen [testing, libraries] Most of the code required by Compiled7fo.fss now …
(edit) @4087 [4087] 3 months dr2chase Jan's RR64 patches, plus fixes required to make the rest of the system …
(edit) @4086 [4086] 3 months jrhil47 [ast] Added a MethodInfo? object to ArrowType? so that we can keep track of …
(edit) @4082 [4082] 3 months sukyoungryu [parser] Fixed the import collector to handle underscores. [compiler …
(edit) @4081 [4081] 3 months sukyoungryu [compiler tests] Moved some static tests from not_working_static_tests to …
(edit) @4080 [4080] 3 months sukyoungryu [parser] Made the Import Collector fail gracefully. Improved error …
(edit) @4078 [4078] 3 months dr2chase Lambdas and classloader and arrow types are all somewhat working; more …
(edit) @4077 [4077] 3 months EricAllen Implemented hygienic renaming for component linking.
(edit) @4076 [4076] 3 months jrhil47 [Test] Added coercion test.
(edit) @4073 [4073] 3 months jrhil47 [type checker] Implemented type checking of Assignment expressions.
(edit) @4070 [4070] 3 months jmaessen [testing] First-order version of Compiled7. Makes sure we have the …
(edit) @4069 [4069] 3 months jmaessen [tests] Compiled8, a version of Compiled7 with considerably more elaborate …
(edit) @4068 [4068] 3 months jmaessen [tests] Compiled7 uses higher-order functions on no args (short cut or) …
(edit) @4066 [4066] 3 months sukyoungryu [static checker] Implemented that object expressions should not define any …
(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) @4057 [4057] 4 months sukyoungryu [parser] Implemented the new function expression syntax.
(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) @4054 [4054] 4 months sukyoungryu [compiler tests] Cleaning up compiler tests.
(edit) @4053 [4053] 4 months sukyoungryu [compiler tests] Cleaning up compiler tests.
(edit) @4052 [4052] 4 months sukyoungryu [compiler tests] Cleaning up compiler tests.
(edit) @4051 [4051] 4 months sukyoungryu [compiler test] Fixed the accidental renaming of a compiler test.
(edit) @4050 [4050] 4 months sukyoungryu [compiler test] Closed Ticket #339.
(edit) @4048 [4048] 4 months sukyoungryu [copyright] Fixed copyright notices and a .test file.
(edit) @4041 [4041] 4 months jrhil47 [errors] Major overhaul of application expression error messages. Fixed …
(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) @4029 [4029] 4 months sukyoungryu [compiler tests] Added more tests for the getter call syntax.
(edit) @4026 [4026] 4 months sukyoungryu [overloading checker] Fixed a bug handling static arguments of enclosing …
(edit) @4025 [4025] 4 months jrhil47 [type checker] Fixed bug in static instantiation. Comprehensions are one …
(edit) @4021 [4021] 4 months jmaessen [typechecker testing] Some newer versions of desugared comprehensions that …
(edit) @4020 [4020] 4 months jrhil47 [type checker] Inferring FnExpr? parameter types when arguments to operator …
(edit) @4019 [4019] 4 months jmaessen [tests] Fixed missing definition of generate. Result now type checks …
(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) @4014 [4014] 4 months sukyoungryu [type checker] Normalize function argument types before printing error …
(edit) @4011 [4011] 4 months jmaessen [codegen] elif now works.
(edit) @4009 [4009] 4 months sukyoungryu [refactoring] More refactoring of IndexBuilder?.
(edit) @4003 [4003] 4 months sukyoungryu [compiler tests] Moved nyi.Compiled5.d.fss to nyi.Compiled6.w.fss
(edit) @4001 [4001] 4 months jmaessen [tests] New Compiled6: tests a simple higher-order function call. …
(edit) @4000 [4000] 4 months jmaessen [codegen] Local variable bindings. No mutability yet, but we attempt to …
(edit) @3997 [3997] 4 months EricAllen Fixed all plumbing of components and APIs through compiler phases.
(edit) @3996 [3996] 4 months jrhil47 [type checker] Now properly inferring types for component-level variable …
(edit) @3992 [3992] 4 months jrhil47 [index] Made functional indices have much nicer toString(). Type checker …
(edit) @3987 [3987] 4 months sukyoungryu [tests] Eliminated accidentally committed test files.
(edit) @3986 [3986] 4 months sukyoungryu [static checker] Implemented the static check that every type listed in a …
(edit) @3985 [3985] 4 months jrhil47 [type checker] Fixed bug in checking VarDecls?. Parameter types of FnExprs? …
(edit) @3980 [3980] 4 months sukyoungryu [compiler tests] Added Compiled5.bm.fss into the Compiler tests.
(edit) @3978 [3978] 4 months EricAllen Threaded through dependencies properly, so that compound APIs work as …
(edit) @3976 [3976] 4 months jrhil47 [typechecker] Fixed bug that occurred when inferring return types on …
(edit) @3975 [3975] 4 months chf timing stuff
(edit) @3974 [3974] 4 months chf timing stuff
(edit) @3972 [3972] 4 months sukyoungryu [static tests] Moved one test from not_working_static_tests/ to …
(edit) @3971 [3971] 4 months sukyoungryu [Compiled6] Fixed a minor bug.
(edit) @3970 [3970] 4 months sukyoungryu [static checker] Implemented a type extractor from exported APIs. Added a …
(edit) @3967 [3967] 4 months jmaessen [testing] Sequential fib in order to test typecheck and codegen for local …
(edit) @3966 [3966] 4 months jmaessen [testing] Some code for testing the type checking of comprehensions. This …
(edit) @3965 [3965] 4 months chf timing file
(edit) @3962 [3962] 4 months sukyoungryu [static tests] Moved 7 static tests from not_working_static_tests/ to …
(edit) @3959 [3959] 4 months chf start of timing stuff
(edit) @3957 [3957] 4 months sukyoungryu [export checker] Implemented export checking of abstract function …
(edit) @3941 [3941] 4 months EricAllen Incrementally committed some recent changes that are unrelated to the …
(edit) @3918 [3918] 5 months emoken restored Compiled11.fss
(edit) @3917 [3917] 5 months emoken GoGs? for 2D arrays.
(edit) @3913 [3913] 5 months sukyoungryu [parser] Fixed preparsing compound operators. Added a test. [spec …
(edit) @3910 [3910] 5 months sukyoungryu [demos] Fixed demos/newtictactoe.fss to bail out when an exception occurs.
(edit) @3909 [3909] 5 months sukyoungryu [parser] Implemented some simple ASCII conversion. Added a test.
(edit) @3904 [3904] 5 months sukyoungryu [parser] Implemented the static check that if a return type is given in a …
(edit) @3903 [3903] 5 months sukyoungryu [parser] Implemented static checks: 1) The object equivalence operator, …
(edit) @3899 [3899] 5 months sukyoungryu [parser] Implemented checking that 1) operator declarations not allowed in …
(edit) @3898 [3898] 5 months sukyoungryu [tests] Refactored the test harness to handle any Fortress shell commands.
(edit) @3896 [3896] 5 months EricAllen Added more testing for compound APIs. Fixed export checking so that …
(edit) @3894 [3894] 5 months EricAllen Implemented compound APIs.
(edit) @3887 [3887] 5 months sukyoungryu [static checker] Fixed a bug handling symmetric exclusion relationship. …
(edit) @3879 [3879] 5 months sukyoungryu [static checker] Implemented checking that a naked type variable must not …
(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) @3876 [3876] 5 months EricAllen Added API linker and associated hooks (work in progress). Added some …
(edit) @3875 [3875] 5 months sukyoungryu [overloading checker] Fixed the implementation of identifying the …
(edit) @3872 [3872] 5 months sukyoungryu [compiler tests] Renamed some nyi.Compiled5 tests.
(edit) @3871 [3871] 5 months sukyoungryu [overloading checker] Implemented identifying the intersection of types …
(edit) @3868 [3868] 5 months sukyoungryu [overloading checker] Handles self parameters specially when checking for …
(edit) @3866 [3866] 5 months sukyoungryu [static checker] Check that singleton objects must not have contracts. …
(edit) @3865 [3865] 5 months sukyoungryu [static checker] Check that if the comprises clause of trait T includes …
(edit) @3863 [3863] 5 months jrhil47 [typechecker] Cleaned up some of the Typecase code; changed an error …
(edit) @3862 [3862] 5 months sukyoungryu [parser] Provides a clear error message when the caret operator is used as …
(edit) @3860 [3860] 5 months sukyoungryu [parser] Provides a clear error message when is used as a nofix …
(edit) @3856 [3856] 5 months sukyoungryu [type checker] Added more tests for type checking typecase expressions.
(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 …
Note: See TracRevisionLog for help on using the revision log.