[Feature Request]: Module support for Source Typed §x
Opened this issue · 1 comments
martin-henz commented
Feature
Modules should come with type declarations that can then be used in Source §x Typed.
Here is a proof-of-concept that inappropriately hard-wires the types of the functions of the module rune into the frontend: source-academy/js-slang#1467
Checklist
- I checked the requested feature does not already exist
- I checked to make sure that this issue has not already been filed
martin-henz commented
Source Typed can now import modules (without type checking). However, Full TypeScript cannot:
