| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
"_jvm_this".
|
|
|
| |
- Generalized "Safety" and "Privacy" as instances of "Policy".
|
| |
|
| |
|
|
|
|
| |
type and its "magical" compiler behavior.
|
|
|
|
| |
peeks.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
| |
- Ported function tests.
|
| |
|
| |
|
| |
|
|
|
| |
- Now also displaying dynamic values with the help of "lux/debug.representation".
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
"lux/tool/compiler/phase/extension/analysis/jvm.lux".
|
| |
|
| |
|
|
|
|
| |
in the separator character (e.g. "invalid.").
|
| |
|
|
|
|
|
| |
during beta-reduction.
- Removed the (unused) "var::remove" function.
|
| |
|
| |
|
|
|
|
|
| |
not need (or impose a need on) tags.
- The "do" macro for monads also doesn't need tags anymore.
|
| |
|
| |
|
| |
|
| |
|