aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-02-11- Some improvements to protocol-based objects.Eduardo Julian1-44/+59
2018-02-11- Added initial implementation of protocol-based object-oriented programming.Eduardo Julian2-1/+117
2018-02-11- Re-named lux/type/object to lux/type/object/interface.Eduardo Julian2-2/+2
2018-02-07- Fixed tests in stdlib.Eduardo Julian6-70/+80
2018-02-07- Improved the way exceptions work.Eduardo Julian5-30/+31
2018-01-30- Small refactorings.Eduardo Julian1-3/+3
2018-01-30- Implemented semaphores, mutexes and barriers.Eduardo Julian3-2/+146
- Fixed a bug when checking "last-index-of" for Text.
2018-01-16- Added sub-structural types (for synchronous IO and asynchronous Promise).Eduardo Julian1-0/+46
2018-01-03- Small refactorings.Eduardo Julian1-4/+0
2017-12-31- Added region-based resource management.Eduardo Julian2-1/+102
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian2-1/+22
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian2-1/+22
2017-12-31- Added bit-sets.Eduardo Julian4-2/+97
2017-12-28- A small, in-development module for doing constructive mathematics with ↵Eduardo Julian2-0/+59
something close to dependent types.
2017-12-28- Added quotient types.Eduardo Julian1-1/+2
2017-12-25- Added module for predicates.Eduardo Julian2-3/+5
- Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
2017-12-24- Minor refactorings and bug fixes.Eduardo Julian2-8/+9
2017-12-24- Added type-safe modular arithmetic.Eduardo Julian2-1/+147
2017-12-12- Agent-based concurrency is just actors listening to FRP channels, so ↵Eduardo Julian2-25/+0
special support for it was removed.
2017-12-12- FRP channels are no longer asynchronously-built lists, but rather mediums ↵Eduardo Julian4-178/+167
for spreading data, that can be chained together to form networks for data distribution.
2017-12-10- Some minor refactoring.Eduardo Julian1-18/+3
- Eliminated the dependency of actors upon FRP and STM. - Fixed some bugs.
2017-12-05- Brought luxc and new-luxc closer together.Eduardo Julian1-6/+6
2017-12-04- lux/world/file now works with Process, instead of Task.Eduardo Julian1-84/+94
2017-12-04- No longer deleting type-vars in luxc, to better match it with the ↵Eduardo Julian1-2/+2
type-checking in new-luxc. - Fixed some minor bugs and inconsistencies.
2017-12-04- Implemented unit types on top of abstract types.Eduardo Julian1-5/+4
2017-12-03- Fixed some small issues uncovered by new-luxc.Eduardo Julian2-3/+3
2017-12-02- Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian2-5/+1
- Added some code to "lux.type" so it can handle "lux in-module".
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian3-3/+8
removed all the (now unnecessary) #hidden tags. - Fixed a bug when loading the imports from the cache. - Added special notation for context-sensitive macro-expansion.
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian71-2625/+2624
period/dot (.).
2017-11-28- Re-named the "." function to "compose" and moved it to lux/function.Eduardo Julian7-24/+17
2017-11-27- Changed the syntax involved in JVM host-interop.Eduardo Julian2-29/+28
2017-11-27- Got rid of even more dots.Eduardo Julian31-119/+120
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian62-669/+667
2017-11-26- Changed to the new relative imports syntax.Eduardo Julian5-14/+14
2017-11-23- Added console I/O.Eduardo Julian1-1/+2
2017-11-21- Fixed some bugs.Eduardo Julian3-30/+41
- Some small refactoring.
2017-11-20- Added parallel compilation.Eduardo Julian4-33/+41
- Added aliasing. - Several bug fixes. - Some minor refactoring.
2017-11-16- Added "Process" type for IO operations that can fail.Eduardo Julian3-9/+9
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian10-47/+47
2017-11-15- Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian4-12/+12
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian4-17/+14
2017-11-15- Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".Eduardo Julian2-2/+2
2017-11-15- Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2-0/+234
- Minor refactoring.
2017-11-14- Removed "lux text last-index" procedure.Eduardo Julian2-22/+7
- Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
2017-11-14- Yet more refactoring.Eduardo Julian1-28/+31
2017-11-13- Type-vars no longer get deleted.Eduardo Julian1-45/+23
- Fixed some bugs.
2017-11-06- Changed how Lux procedures work on the old compiler and the stdlib.Eduardo Julian2-6/+6
2017-10-26- 2 tests in the stdlib got fixed after the random unicode text fix.Eduardo Julian2-2/+2
2017-10-22- Better names for piping macros.Eduardo Julian1-23/+20
2017-10-21- Added circular rings of type-variables to keep track of unified variables ↵Eduardo Julian1-7/+108
during type-checking.