v0.2.0
0.2.0 (2023-10-25)
This is the first release that uses Langium instead of Xtext. A few features from the old version are still missing, but generally the user experience is massively improved, so we opted to release the current status right now.
Features
constmodifier to replace@Constantannotation (#618) (ea4a9ba), closes #558- allow instance and static members of classes to have the same name (#583) (1b04905)
- automatic formatting in Langium (#526) (922af22), closes #31 #33 #513 #433
- basic implementation of partial evaluator service (#649) (10ed8bf), closes #603
- built-in library (#557) (7998eb1), closes #433
- check
@PythonNameand@PythonModule(#641) (5a9dcbb), closes #543 - check context of union types (#677) (e846b59), closes #675
- check template expressions inside
@PythonCall(#686) (09bfb38) - comment provider (#688) (e4a1b35), closes #669
- compute types of lambdas that are passed as arguments (#604) (25c8707), closes #541
- document symbol provider (#659) (fe0c8d5)
- documentation provider (#689) (ff70b07), closes #669
- ensure that all assignees get a value (#630) (e8e2bf6), closes #543
- error if
@PythonNameand@PythonCallare set on a function (#685) (d22c446) - error if argument lists are missing (#642) (f5ee1bd), closes #543
- error if class or enum are statically referenced (#643) (8b076e7), closes #543
- error if divisor is zero (#644) (9af3b81), closes #543
- error if function pointers are used (#629) (01933b9), closes #565 #543
- error if lambda is used in wrong context (#647) (2d2ccc6), closes #409 #543
- error if left operand of type parameter constraint does not belong to declaration with constraint (#571) (cba3abf), closes #562
- error if member access must be null safe but isn't (#626) (077daff), closes #543
- error if names are not unique (part 2) (#640) (38d1181), closes #543
- error if pipeline file is in a
safeds.xypackage (#673) (867bae3), closes #671 - error if placeholder is alias for parameter or placeholder (#628) (b99ab25), closes #564 #543
- error if simple names of builtin declarations collide (#678) (275ad5e), closes #672
- error if single use annotations are used multiple times (#631) (17a5b7a), closes #543
- error if type parameters don't have sufficient context (#687) (ea8fe29)
- error if value assigned to constant parameters is not constant (#646) (097764d), closes #543
- error if wildcard import has alias (#574) (4ba7873), closes #543
- extensions for the
NodeMapper(#606) (4fd8d86) - generation (#634) (c52b5e6), closes #542
- handle backticks surrounding IDs (#622) (608e470), closes #579
- improved TextMate grammar (#623) (d7ff0e2)
- info if elvis operator is unnecessary (#645) (dcc05ce), closes #543
- info if import alias can be removed (#637) (83936b8), closes #636
- inlay hint provider (#683) (f23fa29), closes #679
- intermediate type computer (#600) (8d68a42), closes #541
- Langium grammar (#470) (c439c19), closes #433
- list & map literals (#619) (e3b2870), closes #615 #616
- mark union types as experimental (#676) (4656c25), closes #674
- node mapper (#602) (a13e5b5)
- port additional checks (#567) (2803305), closes #543
- port additional validation checks to `Langium (#576) (8f5d57a), closes #543
- port remaining validation infos that don't need partial evaluation (#607) (d53bda3), closes #543
- port validation of parameter lists (#573) (bd73bc5), closes #543
- Python-like import syntax (#598) (4c61b8c)
- PythonCall annotation (#684) (15114df), closes #617
- remove star projection and use-site variance (#597) (928f487)
- remove type arguments from calls (#581) (3e88f02)
- resolve references to declarations in other files (#586) (6b30de5), closes #540
- scoping for named types (#563) (a877f4c), closes #540
- scoping for own members (#611) (43b276f), closes #540
- scoping for references to own static members (#582) (38afc07), closes #540
- scoping for type arguments (#585) (3da8dd0), closes #540
- scoping of annotation calls, type parameter constraints & yields (#561) (a510f2b), closes #540
- scoping of arguments (#601) (6b486cd), closes #540
- scoping of direct references to declarations in same file (#580) (491d7b0), closes #540
- semantic highlighting (#653) (fe8c602), closes #27
- show info if unnecessary syntax is used (#566) (c26d33a), closes #543
- show info that empty constraint lists can be removed (#572) (af13e28), closes #570
- stop validation after lexing/parsing errors (#662) (ba1e9a8)
- syntax and formatting for literal types (#529) (32aca34), closes #80
- syntax highlighting in documentation comments (#690) (83364d3), closes #669
- unique names withing declarations (#575) (47ce782), closes #543
- validate package of imports (#627) (18641de), closes #543
- validation for annotation target (#670) (fa7631d), closes #543
- validation for results of segments (#613) (bf20c7c), closes #543
- validation for type arguments of named types (#632) (b72768c), closes #543
- value converter for strings & ints (#655) (aafa2e3)
- various checks for annotations on parameters and results (#625) (e77037e), closes #543
- various checks for argument lists (#648) (d76e597), closes #543
- various checks for calls (#638) (e0fa032), closes #543
- various checks related to inheritance (#633) (7ec746a), closes #543
- various features related to literal types (#657) (1775705), closes #80
- very basic type computer (#596) (b3d786c), closes #541
- warn if deprecated/experimental declarations are used (#608) (9b5287c), closes #543 #540
- warn if experimental language features are used (#624) (090fcc3), closes #108
- warn if parameters or placeholders are unused (#612) (3a2e9cc), closes #543
- warning if literal types or union types have duplicate entries (#658) (9ba9d20)