issues
search
hkust-taco
/
mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
https://hkust-taco.github.io/mlscript
MIT License
174
stars
27
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support for GADTs
#195
Meowcolm024
opened
1 year ago
6
New UCS desugarer and rudimentary `PreTyper`
#194
chengluyu
closed
6 months ago
12
Wrong mixin typing
#193
andongfan
opened
1 year ago
0
Allow selecting tuple by integer indices
#192
chengluyu
closed
1 year ago
5
Constructors can be called with invalid parameters
#191
HarrisL2
closed
1 year ago
1
Potential infinite loop in type checking
#190
Meowcolm024
closed
10 months ago
3
Fix parenthesization for binary operators
#189
HarrisL2
closed
1 year ago
0
Fix unary minus behaviour
#188
HarrisL2
closed
1 year ago
0
New MLscript frontend
#187
LPTK
closed
10 months ago
0
Fix codegen error for global functions
#186
NeilKleistGao
closed
1 year ago
0
Add defunctionalizer prototype
#185
HarrisL2
closed
1 year ago
0
Annotate RegionDSL to simplify types
#184
andongfan
closed
1 year ago
1
Optional args
#183
mbroughani81
opened
1 year ago
4
New quasiquote implementation
#182
NeilKleistGao
closed
9 months ago
16
Fix that execution errors of a term are swallowed when there are functions before the term
#181
chengluyu
closed
1 year ago
3
User-defined operators can lead to insufficient fuel and constraint leakage
#180
chengluyu
closed
1 year ago
3
Fix type checking of classes, constructors, and fields
#179
LPTK
closed
1 year ago
0
Type constructor and check this access
#178
NeilKleistGao
closed
1 year ago
0
Implement user-defined symbolic operators & uncurry all operator applications
#177
LPTK
closed
1 year ago
5
Refactor AST with `FldFlags`
#176
NeilKleistGao
closed
1 year ago
0
Implement New object definition
#175
NeilKleistGao
closed
1 year ago
3
Named args
#174
mbroughani81
closed
1 year ago
5
Implement virtuality and constructor restrictions
#173
LPTK
closed
1 year ago
1
Add `driver` subproject
#172
NeilKleistGao
opened
1 year ago
4
Support OCaml-style ADTs and pattern matching, port OCaml's List module, and add occurs-check
#171
twitu
closed
1 year ago
1
Fix unicode string literal codegen
#170
fo5for
closed
1 year ago
0
Fix `this` capture for mixins in `globalThis`
#169
NeilKleistGao
closed
1 year ago
0
New primitive types
#168
LPTK
closed
1 year ago
0
Fix top-level mutually-recursive functions
#167
NeilKleistGao
closed
1 year ago
0
Iron out semantics of new object definition parameters and fields
#166
LPTK
closed
1 year ago
3
Fix trait parents handling
#165
NeilKleistGao
closed
1 year ago
0
Preliminary Implementation: Metaprogramming with Quasiquote
#164
kkdlau
closed
1 year ago
4
Class inheritance and other fixes
#163
Meowcolm024
closed
1 year ago
1
Class inheritance and GADTs
#162
Meowcolm024
closed
1 year ago
0
Make class parameter list optional and improve class construction
#161
NeilKleistGao
closed
1 year ago
6
Override Fields Created in Ctor
#160
NeilKleistGao
closed
1 year ago
0
Defunctionalizer prototype
#159
yuankeyu
closed
1 year ago
1
Add enumerated types (not ADTs)
#158
LPTK
opened
1 year ago
0
Improvements and fixes for UCS
#157
chengluyu
closed
1 year ago
10
Add `private` and `protected` in New Parser and Export Them in `ts2mls`
#156
NeilKleistGao
closed
1 year ago
0
Replace triggerBy with dependsOn
#155
NeilKleistGao
closed
1 year ago
1
typo
#154
jawadcode
closed
2 years ago
0
Add `readonly` and `const` Parsing in `ts2mls`
#153
NeilKleistGao
closed
1 year ago
2
Better subtyping checks
#152
LPTK
closed
2 years ago
0
UCS tracking issue
#151
LPTK
opened
2 years ago
7
Ultimate conditional syntax
#150
chengluyu
closed
2 years ago
4
Fix The Error When Execute `fastOptJS`
#149
NeilKleistGao
closed
2 years ago
0
Add support for class type difference
#148
LPTK
closed
1 year ago
1
Type errors in class definitions are swallowed in the web demo
#147
LPTK
opened
2 years ago
0
Add `.d.ts` Tests, Literal Type Parsing, and Variables Parsing
#146
NeilKleistGao
closed
2 years ago
1
Previous
Next