index
:
lux
master
fork of https://github.com/LuxLang/lux for my bookshelf
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
source
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
- Added a rule that Void is a subtype of every other type.
Eduardo Julian
2015-09-28
1
-1
/
+1
*
- Added generics support for object field access (getting & setting).
Eduardo Julian
2015-09-27
1
-0
/
+1
*
- Added support for type-checking generic classes.
Eduardo Julian
2015-09-27
1
-19
/
+16
*
- Added support for Java annotations.
Eduardo Julian
2015-09-26
3
-15
/
+81
*
- Both method declarations & method definitions in classes can now include de...
Eduardo Julian
2015-09-26
3
-16
/
+69
*
- Now the file-name & the line numbers are stored inside the .class files for...
Eduardo Julian
2015-09-16
4
-27
/
+25
*
- Changed the name of the \stream macro to \stream&
Eduardo Julian
2015-09-16
1
-7
/
+7
*
- :: no longer demands prefixes for the struct members
Eduardo Julian
2015-09-15
13
-59
/
+70
*
- The Macro type now flows from lux.lux into the compiler, to achieve a perfe...
Eduardo Julian
2015-09-15
1
-20
/
+3
*
- Compiler now takes into consideration exceptions that can be thrown by cons...
Eduardo Julian
2015-09-15
1
-43
/
+43
*
- Renamed "this" to "_jvm_this".
Eduardo Julian
2015-09-14
2
-4
/
+4
*
- Added the possibility to define anonymous classes.
Eduardo Julian
2015-09-14
6
-147
/
+217
*
- Expanded the lux/host/jvm library.
Eduardo Julian
2015-09-13
2
-24
/
+138
*
- Added exhaustiveness testing for exception-handling code.
Eduardo Julian
2015-09-12
2
-7
/
+10
*
- Added full support for arrays.
Eduardo Julian
2015-09-12
1
-3
/
+11
*
- Primitive data-types can now be parameterized by other types.
Eduardo Julian
2015-09-12
4
-29
/
+45
*
- Implemented the with-open macro.
Eduardo Julian
2015-09-11
2
-5
/
+30
*
- Updated the standard library.
Eduardo Julian
2015-09-11
12
-477
/
+198
*
- Added type inference for functions.
Eduardo Julian
2015-09-09
1
-22
/
+24
*
- A few minor fixes in the standard library.
Eduardo Julian
2015-09-08
7
-30
/
+42
*
- Type checking of polymorphic functions now relies on ExT types to guarantee...
Eduardo Julian
2015-09-07
2
-3
/
+5
*
- Added the (untested) inference of tuple destructuring.
Eduardo Julian
2015-09-06
4
-82
/
+72
*
- Added type-inference when constructing tuples.
Eduardo Julian
2015-09-06
5
-104
/
+107
*
- Removed the (unnecessary) lux/meta/macro module.
Eduardo Julian
2015-09-06
13
-98
/
+90
*
- Expanded the standard library.
Eduardo Julian
2015-09-06
12
-42
/
+332
*
- Added a new (albeit small) I/O library with host-dependent functions.
Eduardo Julian
2015-09-02
5
-46
/
+76
*
- Added the lux/meta/type module (still missing equality due to an issue with...
Eduardo Julian
2015-09-01
1
-0
/
+157
*
- Fixed the implementation of the Rec macro, which forgot to do application o...
Eduardo Julian
2015-09-01
1
-60
/
+111
*
- Added a macro to write recursive types.
Eduardo Julian
2015-09-01
4
-118
/
+136
*
- Found a compromise with the issue of certain definitions clashing with each...
Eduardo Julian
2015-08-31
9
-373
/
+373
*
- Added call/cc to lux/codata/lazy.
Eduardo Julian
2015-08-30
2
-2
/
+8
*
- Removed the (now obsolete) `' macro.
Eduardo Julian
2015-08-30
7
-459
/
+496
*
- Remove the (unnec) "All'" and "->'" macros.
Eduardo Julian
2015-08-29
19
-259
/
+260
*
- Added some compiler optimizations.
Eduardo Julian
2015-08-29
13
-307
/
+215
*
- Removed the (unnecessary) lux/data/cont module.
Eduardo Julian
2015-08-29
5
-87
/
+93
*
- Changed the name of AllT (for-all type) to UnivQ (universal quantification).
Eduardo Julian
2015-08-28
2
-430
/
+460
*
The environments of AllT types are no longer stored inside a Maybe.
Eduardo Julian
2015-08-28
1
-29
/
+24
*
Changed the license from EPL to MPL.
Eduardo Julian
2015-08-28
39
-273
/
+156
*
Due to several performance issues and my inability to optimize them away due ...
Eduardo Julian
2015-08-28
7
-497
/
+494
*
- Restructuring how sums & products work [part 3]
Eduardo Julian
2015-08-23
7
-172
/
+186
*
- Restructuring how sums & products work [part 2]
Eduardo Julian
2015-08-23
1
-72
/
+82
*
- Restructuring how sums & products work [part 1]
Eduardo Julian
2015-08-23
1
-255
/
+234
*
- Finished turning tags into indices.
Eduardo Julian
2015-08-17
19
-467
/
+547
*
Introduced named types (#NamedT Ident Type).
Eduardo Julian
2015-08-16
1
-194
/
+235
*
Unified tuples & records.
Eduardo Julian
2015-08-16
1
-179
/
+152
*
- Some clean-up of needless code.
Eduardo Julian
2015-08-16
1
-171
/
+105
*
- Changing tags so they're actually indices (part 4).
Eduardo Julian
2015-08-12
1
-23
/
+4
*
- Changing tags so they're actually indices (part 3).
Eduardo Julian
2015-08-12
1
-50
/
+58
*
- Changing tags so they're actually indices (part 2).
Eduardo Julian
2015-08-10
1
-4
/
+4
*
- Changing tags so they're actually indices (part 1).
Eduardo Julian
2015-08-10
1
-118
/
+190
[next]