Skip to content

Issues: Whiley/Whiley2JavaScript

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

29 Open 29 Closed
29 Open 29 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Implement ArrayUpdate and RecordUpdate operators enhancement
#63 opened May 12, 2022 by DavePearce
Translation of Old() syntax
#58 opened Dec 4, 2021 by DavePearce
Escaping Generated Strings bug
#53 opened Oct 6, 2020 by DavePearce
Tree Shaking
#52 opened Sep 15, 2020 by DavePearce
Coercion of Native Strings bug
#50 opened Aug 12, 2020 by DavePearce
Mutable Native Strings
#48 opened Apr 7, 2020 by DavePearce
Prevent Regeneration of Dependencies
#47 opened Dec 11, 2019 by DavePearce
Coercions for Unknown References
#44 opened Aug 30, 2019 by DavePearce
HTML DOM Representation
#42 opened Aug 22, 2019 by DavePearce
8
Generate Runtime Type Checks
#40 opened Jul 24, 2019 by DavePearce
Clone Optimisation & Move Analysis
#34 opened Jul 21, 2019 by DavePearce
Type Test Optimisation for Open Records
#33 opened Jul 19, 2019 by DavePearce
Problem with Cloning
#32 opened Jul 19, 2019 by DavePearce
Strange Problem with Type Checking
#31 opened Jul 19, 2019 by DavePearce
Type Tests against Open Records
#30 opened Jul 19, 2019 by DavePearce
Static Initialiser Order
#29 opened Jul 19, 2019 by DavePearce
TC39 BigInt Support
#28 opened Jul 15, 2019 by DavePearce
1
Optimising Shadow Variables
#24 opened Oct 3, 2017 by DavePearce
Unnecessary Cloning Operations
#23 opened Oct 3, 2017 by DavePearce
Replace Type Mangle with Interface
#19 opened Oct 3, 2017 by DavePearce
Generate TypeScript Headers
#17 opened May 6, 2017 by DavePearce
Generate Source Maps for Debugging
#16 opened May 5, 2017 by DavePearce
Unbound Arithmetic
#15 opened May 5, 2017 by DavePearce
Module System & Imports
#14 opened May 5, 2017 by DavePearce
Runtime Type Testing via Tags
#13 opened May 5, 2017 by DavePearce
2
ProTip! Exclude everything labeled bug with -label:bug.