tlang/source/tlang
Tristan B. Velloza Kildaire 065c8d5816 Exceptions
- `TypeCheckerException` now inherits from `TError`
- `TypeCheckerException`  now produces a neat error message using an enum `TypecheckError`
- Added new sub-class `TypeMismatchException` to be used when two types do not match

TypeChecker

- Hoisted out the coercion code into two methods, `isCoercibleRange` and `attemptCoercion`
- Make both variabel declarations (with assignments) and standlaone variable assignments call the `attemptCoercion()` method when the call to `isSameType(Type t1, Type t2)` returns `false`

Test cases

- Added new test case `simple_literals2.t`
2023-02-04 14:37:40 +02:00
..
commandline Merge branch 'compiler_object' into literal_encodings 2023-02-04 12:53:25 +02:00
compiler Exceptions 2023-02-04 14:37:40 +02:00
misc Utils 2022-12-12 16:39:57 +02:00
testing Exceptions 2023-02-04 14:37:40 +02:00
app.d App 2022-12-14 19:49:08 +02:00