aboutsummaryrefslogtreecommitdiff
path: root/luxc/src/lux/type.clj (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-22Removed the (magical) "imports" annotations tag.Eduardo Julian1-14/+2
2019-05-02Introduced the "#Macro" type and got rid of the "#lux.macro?" annotation type...Eduardo Julian1-14/+23
2019-04-06Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".Eduardo Julian1-2/+2
2019-02-04Re-implemented the IO type as an abstract type in order to avoid potential is...Eduardo Julian1-2/+2
2018-08-29Method imports are now done as macros instead of functions.Eduardo Julian1-1/+1
2018-08-02Moved statement-state initialization o "lux/compiler/default/init".Eduardo Julian1-2/+2
2018-07-21Re-named "Symbol" to "Identifier".Eduardo Julian1-1/+1
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-4/+4
2018-07-13- Fixes for compiler build [part 0].Eduardo Julian1-1/+3
2018-07-04- Re-named "degree" to "revolution".Eduardo Julian1-4/+4
2018-07-04- Re-named Bound to Paremeter.Eduardo Julian1-21/+21
2018-05-20- Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian1-12/+12
2018-05-13- Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian1-3/+10
2018-05-05- Removed Void and Unit as kinds of types.Eduardo Julian1-50/+26
2018-02-07- Fixed how type-application is text-encoded in old compiler.Eduardo Julian1-8/+10
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian1-2/+9
2017-12-25- Added module for predicates.Eduardo Julian1-2/+2
2017-12-04- No longer deleting type-vars in luxc, to better match it with the type-chec...Eduardo Julian1-40/+4
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-18/+18
2017-10-11- Eliminated the Anns and Ann-Value types, and now only using Code for defini...Eduardo Julian1-35/+46
2017-09-04- Re-named "real" numbers to "frac"(tions).Eduardo Julian1-3/+3
2017-07-02- Lux no longer has a Char primitive data-type.Eduardo Julian1-12/+8
2017-06-21- Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian1-92/+93
2017-05-07- Removed "T" suffix from Type's tags.Eduardo Julian1-226/+226
2017-04-30- Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian1-25/+32
2017-04-10- Renamed "LambdaT" to "FunctionT".Eduardo Julian1-10/+10
2017-04-05- Made some improvements to error messages in the compiler.Eduardo Julian1-9/+9
2017-03-11- Now resetting the mappings of the type-vars to avoid having undead type-var...Eduardo Julian1-3/+11
2017-02-26- Increased the fixpoints limit to 64.Eduardo Julian1-8/+8
2017-02-23- Re-designed (and implemented) the primitives for running processes/threads ...Eduardo Julian1-0/+5
2017-02-23- Re-designed atomic operations as common procedures.Eduardo Julian1-10/+15
2017-02-21- Made some optimizations.Eduardo Julian1-40/+49
2017-02-11- Now doing common array analysis/compilation.Eduardo Julian1-0/+3
2017-02-07- Reorganized the code related to _lux_proc a bit.Eduardo Julian1-8/+8
2017-01-26- Changed the license from MPL 2.0 to MIT.Eduardo Julian1-5/+0
2017-01-25- Improved Lux error messages by ensuring the cursor is always present.Eduardo Julian1-15/+22
2017-01-25- Renamed lux/data/struct/tree to lux/data/struct/tree/rose.Eduardo Julian1-12/+12
2016-12-18- Fixed a bug when adjusting types during pattern-matching analysis.Eduardo Julian1-2/+4
2016-12-01- Collected the Lux compiler's repo, the Standard Library's, the Leiningen pl...Eduardo Julian1-0/+0
2016-11-26- Now better catching any runtime errors related to compiled defs.Eduardo Julian1-2/+2
2016-10-21- Added an extra rule to the type-checker to avoid some stack-overflow errors.Eduardo Julian1-0/+4
2016-10-20- Added code for handling some corner cases in the type-checker.Eduardo Julian1-7/+22
2016-10-14- Slightly cheaper compilation of numeric literals.Eduardo Julian1-2/+2
2016-10-09- Replace _lux_imports with _lux_module by adding module annotations.Eduardo Julian1-8/+8
2016-10-01- Finished adding Frac(tions) [including lexing/parsing].Eduardo Julian1-12/+15
2016-09-30- Added (almost) all the operations for implementing fractions in the compiler.Eduardo Julian1-1/+2
2016-09-23- Now using Nat as the type of both VarT and ExT.Eduardo Julian1-2/+2
2016-08-16- Improved support for Nat.Eduardo Julian1-1/+1
2016-08-14- Added support for natural numbers (unsigned integers).Eduardo Julian1-14/+18
2016-08-01- Fixed a bug in the analysis of tuples, when the tuple-type is shorter than ...Eduardo Julian1-11/+9
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-18 14:30:10 +0000