-
41ed06f91c
refactor: moved frontend files into dedicated folder
Guy C
2025-02-11 21:36:06 +00:00
-
5fce2babc0
fix: removed expired todo in parser
WACC_Front-End
Guy C
2025-02-07 18:48:34 +00:00
-
2a4c2bc993
refactor: comment non-trivial code in typeChecker.scala
Gleb Koval
2025-02-07 18:45:50 +00:00
-
-
84932edb69
refactor: change typo in Unweakenable
Gleb Koval
2025-02-07 18:43:30 +00:00
-
9da2744cb9
refactor: comment non-trivial code in typeChecker.scala
Gleb Koval
2025-02-07 18:41:16 +00:00
-
-
585ba6958a
feat: reduce appearances of unknown-type, catch illegal function calls
Gleb Koval
2025-02-07 18:14:33 +00:00
-
-
5ea3ca5a03
fix: display function type on incorrect number of args
Gleb Koval
2025-02-07 18:09:18 +00:00
-
4d25d7a730
fix: make int binary operators and char binary operators errors consistent
Gleb Koval
2025-02-07 18:02:31 +00:00
-
8a7b37e05f
fix: check both sides are unknown for assign error message
Gleb Koval
2025-02-07 17:32:24 +00:00
-
3d2725be8d
feat: catch indirect function calls
Barf-Vader
2025-02-07 17:22:54 +00:00
-
b5e72660b7
fix: make free error message more clear
Gleb Koval
2025-02-07 17:19:16 +00:00
-
e87e61b152
feat: explicitly disallow non-assigned direct function calls
Gleb Koval
2025-02-07 17:16:23 +00:00
-
-
4631f4370e
Revert "fix: catch function call without keyword with parenscheck"
Gleb Koval
2025-02-07 17:13:06 +00:00
-
2ff7fff7eb
Scaladocs
Connolly, Guy
2025-02-07 16:50:12 +00:00
-
-
c92ae5a707
Merge branch 'master' into 'scaladocs'
Connolly, Guy
2025-02-07 16:47:59 +00:00
-
-
-
-
4ac7917715
feat: explicit invalid syntax checks improvements
Connolly, Guy
2025-02-07 16:42:37 +00:00
-
-
e38932a3e8
fix: uses correct comment syntax for comments on design justifications
Guy C
2025-02-07 16:36:00 +00:00
-
764e335364
refactor: add comments in ast.scala
Jonny
2025-02-07 16:28:58 +00:00
-
cf661e6ac7
Merge remote-tracking branch 'origin/more-explicit-invalid-syntax' into more-explicit-invalid-syntax
Barf-Vader
2025-02-07 16:27:51 +00:00
-
-
4bf63454f4
fix: catch function call without keyword with parenscheck
Barf-Vader
2025-02-07 16:27:32 +00:00
-
4738207523
refactor: make missing return type message more precise
Gleb Koval
2025-02-07 16:22:00 +00:00
-
-
09036040d6
refactor: further commenting to the parser
Guy C
2025-02-07 16:13:50 +00:00
-
d32855cc29
feat: detect pointer operators
Gleb Koval
2025-02-07 15:40:49 +00:00
-
d0324518b6
fix: style fixes in parser
Guy C
2025-02-07 15:40:14 +00:00
-
959c556eae
fix: use verifiedExplain for missing return type check
Gleb Koval
2025-02-07 15:39:50 +00:00
-
0955f19a81
feat: detect function declarations mid-body
Gleb Koval
2025-02-07 15:39:04 +00:00
-
-
ade1fdaffc
refactor: scaladocs-style commenting added in Error.scala
Guy C
2025-02-07 15:38:19 +00:00
-
f9e5ae4d98
refactor: scaladocs-style commenting added in parser
Guy C
2025-02-07 15:37:55 +00:00
-
c6b57be2c3
refactor: scaladocs-style commenting added in lexer
Guy C
2025-02-07 15:37:33 +00:00
-
-
af909b1492
refactor: remove offset property from position
Gleb Koval
2025-02-07 15:07:45 +00:00
-
-
ba5445a4c5
feat: improve semantic errors
Gleb Koval
2025-02-07 15:07:35 +00:00
-
-
1f2adf4b82
refactor: remove offset property from position
Gleb Koval
2025-02-07 14:49:17 +00:00
-
-
-
ba1b7d67c7
fix: return proper type in non-array index error (instead of
?)
Gleb Koval
2025-02-07 14:32:15 +00:00
-
88ddca2b98
feat: do not include
? type in error messages
Gleb Koval
2025-02-07 14:24:16 +00:00
-
3430299847
feat: include operator name in type errors
Gleb Koval
2025-02-07 14:22:36 +00:00
-
319fa606d9
fix: foldLeft when type checking, rather than foldRight which is unintuitive
Gleb Koval
2025-02-07 14:16:50 +00:00
-
68e4762b37
feat: show expected and got types for TypeMismatch
Gleb Koval
2025-02-07 14:16:20 +00:00
-
-
c547a2a37f
refactor: make functions non-semantic types
Gleb Koval
2025-02-07 14:12:58 +00:00
-
-
4e10fb3fda
refactor: fail on
? snd or fst type-check result
Gleb Koval
2025-02-07 12:26:04 +00:00
-
f143f685c4
refactor: make functions non-semantic types
Gleb Koval
2025-02-07 12:19:52 +00:00
-
-
0f87725f62
fix: added array literal in LexTokens
Barf-Vader
2025-02-07 13:49:42 +00:00
-
df4ed93726
refactor: improvements to semantic error printing format
Connolly, Guy
2025-02-07 13:38:34 +00:00
-
-
31bb23480b
fix: refactored code to use ident.pos
Barf-Vader
2025-02-07 13:36:18 +00:00
-
a09d38a40f
fix: cleaned up comments, removed getPosition from ident
Barf-Vader
2025-02-07 13:33:25 +00:00
-
b6d8eb31e3
feat: semantic error messages make use of msg strings passed from typeChecker
Guy C
2025-02-07 12:46:47 +00:00
-
c798fdf416
fix: made missing func return type error atomic
Barf-Vader
2025-02-07 13:00:28 +00:00
-
731692d95a
refactor: bringing in ast and error changes
Guy C
2025-02-07 11:59:28 +00:00
-
8583a815a8
refactor: style fixes in lexer and parser
Guy C
2025-02-07 11:23:18 +00:00
-
ee1ea6c63b
refactor: created printPosition method for unified error message format
Guy C
2025-02-07 11:22:50 +00:00
-
a65cc01815
fix: added error messages for functions missing type, and late function decls
Barf-Vader
2025-02-07 01:35:16 +00:00
-
b3ecae5dbb
fix: quotes around char and str errors, added errors for assign and arrayIndex
Barf-Vader
2025-02-06 23:52:13 +00:00
-
f24f8c87d8
fix: added explanation for nested pair error, added more errors
Barf-Vader
2025-02-06 23:08:34 +00:00
-
a2c81883f4
refactor: improvements to semantic error printing format
Guy C
2025-02-06 20:46:45 +00:00
-
2ac7744e68
feat: implements error messages for DuplicateDeclaration and UndefinedIdentifier errors
Guy C
2025-02-06 19:49:17 +00:00
-
-
a635370522
feat: full type checker without user-friendly error messages
Gleb Koval
2025-02-07 08:20:42 +00:00
-
-
316500484a
Merge branch 'master' into type-checker
Gleb Koval
2025-02-07 00:24:06 +00:00
-
-
-
-
bc5f28ab52
fix: disallow unknown type assignments and reads
Gleb Koval
2025-02-07 00:23:41 +00:00
-
277d2f66af
fix: check function calls have correct number of args
Gleb Koval
2025-02-07 00:09:10 +00:00
-
e57c89beec
fix: extract retType from KnownType.Func when type-checking function bodies
Gleb Koval
2025-02-06 23:59:13 +00:00
-
f6e734937f
feat: implement satisfies function in type checker
Gleb Koval
2025-02-06 21:04:27 +00:00
-
4dc07c249a
refactor: implemented labelAndExplain(), combining label and explain, and...
Gleb Koval
2025-02-06 20:30:20 +00:00
-
-
6548d895d5
feat: type checker without satisfies implemented
Gleb Koval
2025-02-06 20:26:15 +00:00
-
0e2d1af878
refactor: add comments to renamer
Gleb Koval
2025-02-05 22:03:26 +00:00
-
74f62ea933
fix: fix merge breaks, add function names to scope before renaming bodies
Gleb Koval
2025-02-05 20:41:49 +00:00
-
ae9625b586
fix: use apply() instead of get() for Maps
Gleb Koval
2025-02-05 18:04:04 +00:00
-
30cf42ee3a
fix: separate variable and function in scope
Gleb Koval
2025-02-05 05:12:32 +00:00
-
3fbb90322f
feat: renamer maybe maybe maybe maybe
Gleb Koval
2025-02-04 22:26:38 +00:00
-
e9ed197782
fix: remove unused applyCon from AST
Gleb Koval
2025-02-05 04:49:05 +00:00
-
6d1c0b7a87
fix: make parser use only parsley parser bridge apply
Gleb Koval
2025-02-05 04:47:43 +00:00
-
1486296b40
refactor: add position tracking to AST, UnaryOp, BinaryOp
Gleb Koval
2025-02-05 02:12:16 +00:00
-
bd779931b6
refactor: style fixes in parser
Barf-Vader
2025-02-06 17:48:14 +00:00
-
8b64f2e352
fix: removed redundant labelling in ast
Barf-Vader
2025-02-06 17:41:58 +00:00
-
19880321d7
feat: implemented lexer-backed error builder, error messages are now based on predefined tokens
Barf-Vader
2025-02-06 17:39:35 +00:00
-
e787d7168f
refactor: implemented labelAndExplain(), combining the two, and provided explanations for expr
Barf-Vader
2025-02-06 16:59:04 +00:00
-
88ec08a023
feat: basic type checker skeleton
Jonny
2025-02-06 17:07:55 +00:00
-
-
-
2fb520d891
feat: scope checker and renamer
Gleb Koval
2025-02-06 17:02:31 +00:00
-
-
ded35dcc6e
feat: improved error messages for atom types
Guy C
2025-02-06 15:36:24 +00:00
-
5210a55d9e
refactor: add comments to renamer
Gleb Koval
2025-02-05 22:03:26 +00:00
-
0f18bca7fd
fix: fix merge breaks, add function names to scope before renaming bodies
Gleb Koval
2025-02-05 20:41:49 +00:00
-
6027bea95e
fix: use apply() instead of get() for Maps
Gleb Koval
2025-02-05 18:04:04 +00:00
-
8c5b85b8c2
fix: separate variable and function in scope
Gleb Koval
2025-02-05 05:12:32 +00:00
-
06c8a069fb
feat: renamer maybe maybe maybe maybe
Gleb Koval
2025-02-04 22:26:38 +00:00
-
-
5f7a89b47f
refactor: add position tracking to AST, UnaryOp, BinaryOp
Connolly, Guy
2025-02-05 17:42:58 +00:00
-
-
539403fd36
fix: remove unused applyCon from AST
Gleb Koval
2025-02-05 04:49:05 +00:00
-
5fffd01a6f
fix: make parser use only parsley parser bridge apply
Gleb Koval
2025-02-05 04:47:43 +00:00
-
f3a59460ef
refactor: add position tracking to AST, UnaryOp, BinaryOp
Gleb Koval
2025-02-05 02:12:16 +00:00
-
-
057d625464
fix: style fixes
Guy C
2025-02-04 17:13:56 +00:00
-
4602b75628
feat: improved error messages
Guy C
2025-02-04 17:03:46 +00:00
-
4e50ed35ba
feat: more error messages
Guy C
2025-02-04 03:32:52 +00:00
-
3c23654356
fix: remove redundant imports
Guy C
2025-02-04 03:06:56 +00:00
-
5016fefc14
feat: lexer implements ErrorConfig for improved error messages
Guy C
2025-02-04 03:02:37 +00:00
-
-
3aae08ffd4
feat: implement CLI for parser
Gleb Koval
2025-02-02 13:48:54 +00:00
-
d4b410bca9
feat: implement parser
Gleb Koval
2025-02-02 13:45:25 +00:00
-
-
1bb4939fcd
Merge branch 'master' into parser
Gleb Koval
2025-02-02 13:41:12 +00:00
-
-
-
-
feac5efb6a
feat: implement abstract syntax tree
Gleb Koval
2025-02-02 13:37:48 +00:00
-
-
41d541050f
feat: implement lexer
Gleb Koval
2025-02-02 13:37:36 +00:00
-
-
da4b398bf0
fix: do not allow negation of a positive int literal
Gleb Koval
2025-02-02 13:30:33 +00:00
-
2588c8287d
fix: change lhs of Assign to lvalue
Gleb Koval
2025-02-02 00:33:16 +00:00
-
03fdbe01d9
fix: put functions "(" within atomic
Gleb Koval
2025-02-02 00:30:18 +00:00
-
b5a1f2565f
Revert "fix: add function must return on all paths check"
Gleb Koval
2025-02-02 00:27:04 +00:00