Guy C
|
e38932a3e8
|
fix: uses correct comment syntax for comments on design justifications
|
2025-02-07 16:36:00 +00:00 |
|
Jonny
|
764e335364
|
refactor: add comments in ast.scala
|
2025-02-07 16:28:58 +00:00 |
|
Guy C
|
09036040d6
|
refactor: further commenting to the parser
|
2025-02-07 16:13:50 +00:00 |
|
Guy C
|
d0324518b6
|
fix: style fixes in parser
|
2025-02-07 15:40:14 +00:00 |
|
Guy C
|
ade1fdaffc
|
refactor: scaladocs-style commenting added in Error.scala
|
2025-02-07 15:38:19 +00:00 |
|
Guy C
|
f9e5ae4d98
|
refactor: scaladocs-style commenting added in parser
|
2025-02-07 15:37:55 +00:00 |
|
Guy C
|
c6b57be2c3
|
refactor: scaladocs-style commenting added in lexer
|
2025-02-07 15:37:33 +00:00 |
|
|
|
af909b1492
|
refactor: remove offset property from position
Merge request lab2425_spring/WACC_37!16
|
2025-02-07 15:07:45 +00:00 |
|
|
|
1f2adf4b82
|
refactor: remove offset property from position
|
2025-02-07 14:51:05 +00:00 |
|
|
|
ba1b7d67c7
|
fix: return proper type in non-array index error (instead of ?)
|
2025-02-07 14:32:15 +00:00 |
|
|
|
88ddca2b98
|
feat: do not include ? type in error messages
|
2025-02-07 14:24:16 +00:00 |
|
|
|
3430299847
|
feat: include operator name in type errors
|
2025-02-07 14:22:36 +00:00 |
|
|
|
319fa606d9
|
fix: foldLeft when type checking, rather than foldRight which is unintuitive
|
2025-02-07 14:16:50 +00:00 |
|
|
|
68e4762b37
|
feat: show expected and got types for TypeMismatch
|
2025-02-07 14:16:20 +00:00 |
|
|
|
4e10fb3fda
|
refactor: fail on ? snd or fst type-check result
|
2025-02-07 13:54:35 +00:00 |
|
|
|
f143f685c4
|
refactor: make functions non-semantic types
|
2025-02-07 13:54:35 +00:00 |
|
Barf-Vader
|
0f87725f62
|
fix: added array literal in LexTokens
|
2025-02-07 13:49:42 +00:00 |
|
Barf-Vader
|
31bb23480b
|
fix: refactored code to use ident.pos
|
2025-02-07 13:36:18 +00:00 |
|
Barf-Vader
|
a09d38a40f
|
fix: cleaned up comments, removed getPosition from ident
|
2025-02-07 13:33:25 +00:00 |
|
Guy C
|
b6d8eb31e3
|
feat: semantic error messages make use of msg strings passed from typeChecker
|
2025-02-07 13:22:13 +00:00 |
|
Barf-Vader
|
c798fdf416
|
fix: made missing func return type error atomic
|
2025-02-07 13:21:13 +00:00 |
|
Guy C
|
731692d95a
|
refactor: bringing in ast and error changes
|
2025-02-07 11:59:28 +00:00 |
|
Guy C
|
8583a815a8
|
refactor: style fixes in lexer and parser
|
2025-02-07 11:52:31 +00:00 |
|
Guy C
|
ee1ea6c63b
|
refactor: created printPosition method for unified error message format
|
2025-02-07 11:52:31 +00:00 |
|
Barf-Vader
|
a65cc01815
|
fix: added error messages for functions missing type, and late function decls
|
2025-02-07 11:52:31 +00:00 |
|
Barf-Vader
|
b3ecae5dbb
|
fix: quotes around char and str errors, added errors for assign and arrayIndex
|
2025-02-07 11:52:31 +00:00 |
|
Barf-Vader
|
f24f8c87d8
|
fix: added explanation for nested pair error, added more errors
|
2025-02-07 11:50:57 +00:00 |
|
Guy C
|
a2c81883f4
|
refactor: improvements to semantic error printing format
Co-authored by: al4423
|
2025-02-07 11:49:31 +00:00 |
|
Guy C
|
2ac7744e68
|
feat: implements error messages for DuplicateDeclaration and UndefinedIdentifier errors
|
2025-02-07 11:49:31 +00:00 |
|
|
|
316500484a
|
Merge branch 'master' into type-checker
|
2025-02-07 00:24:06 +00:00 |
|
|
|
bc5f28ab52
|
fix: disallow unknown type assignments and reads
|
2025-02-07 00:23:41 +00:00 |
|
|
|
277d2f66af
|
fix: check function calls have correct number of args
|
2025-02-07 00:09:10 +00:00 |
|
|
|
e57c89beec
|
fix: extract retType from KnownType.Func when type-checking function bodies
|
2025-02-06 23:59:13 +00:00 |
|
|
|
f6e734937f
|
feat: implement satisfies function in type checker
Co-Authored-By: jt2622
|
2025-02-06 21:04:27 +00:00 |
|
|
|
6548d895d5
|
feat: type checker without satisfies implemented
Co-Authored-By: jt2622
|
2025-02-06 20:26:15 +00:00 |
|
|
|
0e2d1af878
|
refactor: add comments to renamer
|
2025-02-06 19:55:52 +00:00 |
|
|
|
74f62ea933
|
fix: fix merge breaks, add function names to scope before renaming bodies
|
2025-02-06 19:55:52 +00:00 |
|
|
|
ae9625b586
|
fix: use apply() instead of get() for Maps
|
2025-02-06 19:55:52 +00:00 |
|
|
|
30cf42ee3a
|
fix: separate variable and function in scope
|
2025-02-06 19:55:52 +00:00 |
|
|
|
3fbb90322f
|
feat: renamer maybe maybe maybe maybe
|
2025-02-06 19:55:52 +00:00 |
|
|
|
e9ed197782
|
fix: remove unused applyCon from AST
|
2025-02-06 19:55:52 +00:00 |
|
|
|
6d1c0b7a87
|
fix: make parser use only parsley parser bridge apply
|
2025-02-06 19:55:52 +00:00 |
|
|
|
1486296b40
|
refactor: add position tracking to AST, UnaryOp, BinaryOp
|
2025-02-06 19:54:16 +00:00 |
|
Barf-Vader
|
bd779931b6
|
refactor: style fixes in parser
Co-authored-by: gc1523
|
2025-02-06 19:54:16 +00:00 |
|
Barf-Vader
|
8b64f2e352
|
fix: removed redundant labelling in ast
Co-authored-by: gc1523
|
2025-02-06 19:54:16 +00:00 |
|
Barf-Vader
|
19880321d7
|
feat: implemented lexer-backed error builder, error messages are now based on predefined tokens
Co-authored-by: gc1523
|
2025-02-06 19:54:16 +00:00 |
|
Barf-Vader
|
e787d7168f
|
refactor: implemented labelAndExplain(), combining the two, and provided explanations for expr
Co-authored-by: gc1523
|
2025-02-06 19:53:48 +00:00 |
|
Jonny
|
88ec08a023
|
feat: basic type checker skeleton
|
2025-02-06 17:07:55 +00:00 |
|
Guy C
|
ded35dcc6e
|
feat: improved error messages for atom types
|
2025-02-06 15:36:24 +00:00 |
|
|
|
5210a55d9e
|
refactor: add comments to renamer
|
2025-02-05 22:03:26 +00:00 |
|
