Quasiquote syntax support

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

145 stars 24 forks source link

Quasiquote syntax support #211

Open NeilKleistGao opened 6 months ago

NeilKleistGao commented 6 months ago

Support more quasiquote syntax:

[ ] Assign
[ ] While
[ ] NuNew
[ ] Tuple
[ ] Pattern matching

Also see: #182

LPTK commented 6 months ago

[ ] A pattern like `f(a) is always wrong, as a quoted f can never be applied. We should issue a warning that the user probably intended to write `f`(a).

NeilKleistGao commented 6 months ago

[ ] Improve quoted blocks:
```
`let x = a `in
  `log`(x)
  x
```
[@LPTK:] this should generate a warning as it's obviously not doing something the user expected. Similarly to `foo(`42) (should be `foo`(`42)).