| Commit message (Collapse) | Author | Files | Lines |
|---|
|
|
|
|
|
|
|
|
|
- Moved lux/data/struct/zipper to lux/data/struct/tree/zipper.
- Moved lux/regex to lux/lexer/regex.
- Changed the suffix of annotation tags, from M to A.
- Renamed Frac(tional) numbers to Deg(rees).
|
|
commas (,).
|
|
plugin's and the Emacs mode's into a big monorepo, to keep development unified.
|
|
|
|
|
|
|
|
wherein the names couldn't be full-blown (unprefixed) idents.
|
|
|
|
special forms.
|
|
invalid/unknown prefix.
|
|
#Array of "something" format.
|
|
- Made some minor refactorings.
|
|
- Now wrapping primitive method arguments inside objects, as Lux code always assumes everything is an object.
- Now using a hand-made text lexer, that is less tolerant of escaping-cleanup errors.
- When packaging the contents of dependency JARs inside the output program JAR, the compressed size of the entries is recalculated with (.setCompressedSize -1), in order to avoid errors in the JarOutputStream.
|
|
|
|
- Can now escape unicode characters in both Char and Text.
|
|
- type->analysis can now handle ExQ.
- Can now handle exponent syntax for reals.
- Now adding v: and e: prefixes when showing type-vars and existential types, for improved readability.
|
|
improperly when dealing with "composed" variants).
- Revamped the way variants are defined & used in the compiler.
|
|
longer necessary, and necessary indentation is deduced from the column of the initial double-quote (") delimiting the text.
- Modified some functions in the reader so they give back information as to whether the line was fully consumed or not after each reading.
|
|
|
|
consumption.
|
|
|
|
lexing them as whitespace.
- Shifted version of the compiler to 0.3.1
|
|
|
|
- Cleaned-up a bit the tag-generation macro "deftags".
|
|
- Fixed a bug when lexing multi-line comments.
|
|
- Removed the (unnecessary) lux/control/dict & lux/control/stack modules.
- The "Meta" type is now a record instead of a variant.
|
|
|
|
to too many corner cases, I decided the abandon the path towards a more mathematical implementation of tuples & variants.
|
|
|
|
|
|
|
|
|
|
- Fixed several bugs.
|
|
- Replace most instances of "=" with ".equals".
- Added an optimization to lux.type/type= that drastically speeds-up type comparisons.
|
|
- Temporarily reverted back to forward apply-analysis.
- Fixed an error in lux.base/show-ast.
- Reader now only returns a tuple instead of a full-blown #Meta variant.
- Reader now doesn't cut the strings that it reads. Instead, the "cursor" just moves around, indicating where to read.
- Inlined some calculations that previously relied on try-all%.
|
|
|
|
same purpose.
- Optimized some code a bit.
|
|
- Also removed several unused definitions.
|
|
- Made some changes to the way type-checking is performed on variants, records & tuples in order to improve the speed of type-checking.
|
|
- Added a version of ` that prefixes unprefixed idents with the current module's name.
- The special forms no longer require unprefixed symbols and work with anything (in order to work properly with the new `).
|
|
- Added 2 custom pattern-matchers (\ & \or) & gensym
- Added signatures & structures ^_^
|
|
- Finally, the "case" macro has been implemented ^_^
- The macro-expand function is also alive!
- Corrected the field-access special forms so they take their field as a symbol instead of text.
- Macros are no longer stored inside the CompilerState as (Maybe Macro), but as Macro.
- Void is implemented as
- Fixed an error when parsing escaped characters in text.
- Fixed an error in the reader in which parsing regex2 gave back a 2-vector instead of a 2-tuple.
|
|
- Added the ability to export from def.
- Added an optimized lambda macro.
- Finished record analysis & compilation.
- Fixed a bug in tuple, function & record analysis wherein AppT wasn't being performed prior to analysing the expression under analysis.
- Fixed several bugs wherein "fail*" was needed but "fail" was used.
- Added a case for records in base;show-ast.
- Made an improvement for AllT in type;show-type.
- Corrected an error in pattern-matching compilation wherein casts weren't being performed to make sure the source datum was of the necessary type for PM.
- Removed the (now unnecessary) lux/macro.
|
|
- Renamed a few defs in lux.lux.
- No more type-test shortcut inside lux/analyser/lux.
- Defs are now being classified as either (#ValueD <type>) or (#MacroD <macro>).
|
|
- :let within |do now uses |let instead of let.
- The analyser now does totality analysis and structures the pattern matching, with the compiler only compiling the generated structures.
- Local bindings with case' can now be prefixed arbitrarily. (Note: must do the same with functions).
|
|
module, instead of the local module. (e.g. ;map, #;Cons, ;All)
- The type-checker now takes into account 2 types: an exo-type (imposed by outside forces) and an endo-type (generated through inference)
- Fixed a few bugs in the analyser and the type-system.
- &type/solve* is now the actual type-checker and &type/solve invokes solve* with an empty fixpoint environment.
- The exo-type of Statements is Nothing.
- variants, tuples and def' are being analyzed properly now.
|
