Commit Graph

1017 Commits (arrays)
 

Author SHA1 Message Date
Tristan B. V. Kildaire 25147e6773 Fixed filepath for test 'simple_arrays.t' 2 years ago
Tristan B. V. Kildaire 7b411cc9c8 Added CI/CD semantic tests (WIP) for 'simple_arrays2.t' and 'simple_arrays4.t' 2 years ago
Tristan B. V. Kildaire 939699a3d3 Added CI/CD semantic tests (WIP) for 'simple_arrays2.t' and 'simple_arrays4.t' 2 years ago
Tristan B. V. Kildaire a89b9e4f5f Added CI/CD semantic tests (WIP) for 'simple_arrays2.t' and 'simple_arrays4.t' 2 years ago
Tristan B. V. Kildaire 6f99977e5d Added CI/CD semantic tests (WIP) for 'simple_stack_array_coerce.t' and 'complex_stack_arrays1.t' 2 years ago
Tristan B. V. Kildaire e5b56cc7dc Added CI/CD test for 'complex_stack_arrays1.t' 2 years ago
Tristan B. V. Kildaire defaee2731 Added CI/CD test for 'simple_stack_array_coerce.t' 2 years ago
Tristan B. V. Kildaire 0193e1750c Merge branch 'vardec_varass_dependency' into arrays 2 years ago
Tristan B. V. Kildaire 8fc5d96a7a TypeChecker
- Cleaned up commented-out code
2 years ago
Tristan B. V. Kildaire 637c5b7f9c TypeChecker
- Updated `canCoerceStackArray(Type, Type)` to now take in `canCoerceStackArray(Type, Type, ref Type)` to set the newly created coerced type
- Fixed bug whereby if the coercion succeeded we didn't actually add to the list of evaluation-instructions in the `FuncCallInstr` object, hence there would be a `null` Instruction object appearing in the code emit phase.
- Added some NOTEs which we can clean up this code using
2 years ago
Tristan B. V. Kildaire 5f879dcd57 TypeChecker
- Added a seperate check for function call `DNode` processing which now checks if we can coerce the stack-array-based argument to the pointer-based type parameter

Notes

- Emit now fails as we haven't implement an emit for this case, so we need to do that.
- Also, should we change the type of what is being passed in - perhaps that actually makes sense here - we haven't fully coerced it actually
2 years ago
Tristan B. V. Kildaire 5d2cd25cab Typecheck
- Hoisted up `canCoerceStackArray(Type, Type)` to the class-level of `TypeChecker`
- Removed debug prints from `canCoerceStackArray(Type, Type)`
- Added a TODO where the check should be done in the `FunctionCall` branch of the `DNode` processor
2 years ago
Tristan B. V. Kildaire dfeb87eb6c Typecheck
- Fixed `canCoerceStackArray(Type, Type)` to actually coerce the first type first into a pointer type (coercing the stack array's component type to `<compType>*`) and THEN apply the `isSameType(Type, Type)` check
2 years ago
Tristan B. V. Kildaire f899950081 Typecheck
- Added rudimentary check for checking if an argument is a stack array, and if the parameter (to a function call) is a pointer and if so then returns whether they have matching component types in a new function named `canCoerceStackArray(Type, Type)`
2 years ago
Tristan B. V. Kildaire fe625a0e0b Test cases
- WIP: Added `simple_stack_array_coerce.t` as we want to add coercion for this now
2 years ago
Tristan B. V. Kildaire bf2ad84b28
Update README.md 2 years ago
Tristan B. V. Kildaire c78679c297
Update README.md 2 years ago
Tristan B. V. Kildaire 95084ec639
Disabled deployment for now
Permissions problems.
2 years ago
Tristan B. V. Kildaire dd31ae1263
Update d.yml 2 years ago
Tristan B. V. Kildaire 42fe576d33
Update d.yml 2 years ago
Tristan B. V. Kildaire 1e65b2caee
Update d.yml 2 years ago
Tristan B. V. Kildaire 8c588ab52f
Update d.yml 2 years ago
Tristan B. V. Kildaire 98b954009d
Update d.yml 2 years ago
Tristan B. V. Kildaire a734347a89
Update d.yml 2 years ago
Tristan B. V. Kildaire 009c4cf560
Update d.yml 2 years ago
Tristan B. V. Kildaire ea7699bc36
Update d.yml 2 years ago
Tristan B. V. Kildaire 3a8d856fbc
Update d.yml 2 years ago
Tristan B. V. Kildaire 5bdd985428
Update d.yml 2 years ago
Tristan B. V. Kildaire d5e5880f7f
Update d.yml 2 years ago
Tristan B. V. Kildaire 695d7a5045
Update d.yml 2 years ago
Tristan B. V. Kildaire 215f301557
Added 2 more tests for code emit
- Added do-while test
- Added for-loop test
2 years ago
Tristan B. V. Kildaire 4e37078276
Update d.yml 2 years ago
Tristan B. V. Kildaire 64500ea2d2
Update d.yml 2 years ago
Tristan B. V. Kildaire 73b9d8332a
Update d.yml 2 years ago
Tristan B. V. Kildaire 9eeacdb3c4
Update d.yml 2 years ago
Tristan B. V. Kildaire 43677cbcfb
Added code emit tests 2 years ago
Tristan B. V. Kildaire 91e389c4ff
Finished typechecking tests 2 years ago
Tristan B. V. Kildaire 464d30b06c
Update d.yml 2 years ago
Tristan B. V. Kildaire 899f832b36
Added more tests 2 years ago
Tristan B. V. Kildaire 8d86f3618a
Update d.yml 2 years ago
Tristan B. V. Kildaire 46e963e98a
Update d.yml 2 years ago
Tristan B. V. Kildaire 3069878aa6
Update d.yml 2 years ago
Tristan B. V. Kildaire 713d491727
Update d.yml 2 years ago
Tristan B. V. Kildaire c90e25da4e
Update d.yml 2 years ago
Tristan B. V. Kildaire 8675cd0a1c
Update d.yml 2 years ago
Tristan B. V. Kildaire 14c18fd2b4
Update d.yml 2 years ago
Tristan B. V. Kildaire 01a3011c23
Update d.yml 2 years ago
Tristan B. V. Kildaire 6c219d87dd
Update d.yml 2 years ago
Tristan B. V. Kildaire c2d637d952
Update d.yml 2 years ago
Tristan B. V. Kildaire e158e448b5
Update d.yml 2 years ago