Commit Graph

933 Commits (pointers_coerce)
 

Author SHA1 Message Date
Tristan B. V. Kildaire b5e8ba0b31 Typechecker
- When handling `BinaryOperatorExpression` call `attemptPointerAriehmeticCoercion(Value, Value)` with both `(vLhsInstr, vRhsInstr)` before we call `vLhsInstr.getInstrType()` and `vRhsInstr.getInstrType()` before `isSameType(vLhsType, vRhsType)`. By doing so we attempt to coerce the types of both instructions if one is a pointer and another is an integer, else do nothing
1 year ago
Tristan B. V. Kildaire d4fc2904fb Merge branch 'vardec_varass_dependency' into pointers 1 year ago
Tristan B. V. Kildaire a346f60c2e Ensure that 'simple_literals4.t' fails as it tests a range violation during coercion 1 year ago
Tristan B. V. Kildaire ae038c4182 Ensure 'simple_float_constant_bad.t' passes as a failure as it checks for a bad floating point 1 year ago
Tristan B. V. Kildaire a8d244188e Ensure that a failure passes for 'simple_literals2.t' which checks for a failing to coerce due to incompatible types (actually) 1 year ago
Tristan B. V. Kildaire e80571758f Ensure that a failure passes for 'simple_literals2.t' which checks for a failing to coerce due to incompatible types 1 year ago
Tristan B. V. Kildaire d99b23d64c Disabled 'test3.t' as it is not the focus rn 1 year ago
Tristan B. V. Kildaire b4a02addcf Disabled 'simple_oop.t' as it is not the focus rn 1 year ago
Tristan B. V. Kildaire 5e298e599b Else without if test case should fail 1 year ago
Tristan B. V. Kildaire 6dc3c78792 All collision and precedence checks are failing-positives and should be treated as such 1 year ago
Tristan B. V. Kildaire 9ffd3425a0 Removed 'typecheck/simple_array.t' testing as that is old 1 year ago
Tristan B. V. Kildaire 8b97531b71 Try to fix falining-positive test case 'simple_function_call_1.t' 1 year ago
Tristan B. V. Kildaire 59f8b7c01a Try new technique 1 year ago
Tristan B. V. Kildaire ac2fbc86de Allow steps to run even if previous ones failed 1 year ago
Tristan B. V. Kildaire fefaa6e434 Renamed test case 1 year ago
Tristan B. V. Kildaire a973f60d54 When typechecking 'simple_function_call_1.t' we WANT it to fail, hence exiting with 255 is what we want, anything else is an error 1 year ago
Tristan B. V. Kildaire 4144c4accf Fixed emit test for 'Simple conditionals' 1 year ago
Tristan B. V. Kildaire 53062f5ebc Commands
- If the `lex`, `syntaxcheck` or `typecheck` commands fail then exit with an exit status of `-1`
1 year ago
Tristan B. V. Kildaire 3830dd45bc Commands
- On any `ErrnoException` exit with exit code `-2`
1 year ago
Tristan B. V. Kildaire 4d457c2eb3 Disabled 'simple_variables.t' as it uses the now-currently unsupported 'discard' keyword 1 year ago
Tristan B. V. Kildaire 715efb1b14 Compiler
- On `compile` command failure exit with a status of `-1`
1 year ago
Tristan B. V. Kildaire 5ef028af19 Merge branch 'vardec_varass_dependency' into pointers 1 year ago
Tristan B. V. Kildaire f9e1a28296 Compiler
- Documented `CompilerError` and all of its enums
1 year ago
Tristan B. V. Kildaire f43cfb2b9d Test cases
- Added pointer arithmetic in the form of `*(ptr+0)` to `simple_pointer.t` to start testing it out
1 year ago
Tristan B. V. Kildaire 8490f3d7fd Typechecker
- Moved `attemptPointerAriehmeticCoercion(Value, Value)` to class-level and made privately accessible
1 year ago
Tristan B. V. Kildaire 554b9af0da Typecheck
- Added `attemptPointerAriehmeticCoercion(Value, Value)`
1 year ago
Tristan B. V. Kildaire 3b41654e04 Removed temporary file 1 year ago
Tristan B. V. Kildaire 7654e1cbe8 Make branches not identical 1 year ago
Tristan B. V. Kildaire bf2ad84b28
Update README.md 1 year ago
Tristan B. V. Kildaire c78679c297
Update README.md 1 year ago
Tristan B. V. Kildaire 95084ec639
Disabled deployment for now
Permissions problems.
1 year ago
Tristan B. V. Kildaire dd31ae1263
Update d.yml 1 year ago
Tristan B. V. Kildaire 42fe576d33
Update d.yml 1 year ago
Tristan B. V. Kildaire 1e65b2caee
Update d.yml 1 year ago
Tristan B. V. Kildaire 8c588ab52f
Update d.yml 1 year ago
Tristan B. V. Kildaire 98b954009d
Update d.yml 1 year ago
Tristan B. V. Kildaire a734347a89
Update d.yml 1 year ago
Tristan B. V. Kildaire 009c4cf560
Update d.yml 1 year ago
Tristan B. V. Kildaire ea7699bc36
Update d.yml 1 year ago
Tristan B. V. Kildaire 3a8d856fbc
Update d.yml 1 year ago
Tristan B. V. Kildaire 5bdd985428
Update d.yml 1 year ago
Tristan B. V. Kildaire d5e5880f7f
Update d.yml 1 year ago
Tristan B. V. Kildaire 695d7a5045
Update d.yml 1 year ago
Tristan B. V. Kildaire 215f301557
Added 2 more tests for code emit
- Added do-while test
- Added for-loop test
1 year ago
Tristan B. V. Kildaire 4e37078276
Update d.yml 1 year ago
Tristan B. V. Kildaire 64500ea2d2
Update d.yml 1 year ago
Tristan B. V. Kildaire 73b9d8332a
Update d.yml 1 year ago
Tristan B. V. Kildaire 9eeacdb3c4
Update d.yml 1 year ago
Tristan B. V. Kildaire 43677cbcfb
Added code emit tests 1 year ago
Tristan B. V. Kildaire 91e389c4ff
Finished typechecking tests 1 year ago