| Commit message (Collapse) | Author | Files | Lines |
|
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.
|
|
|
|
lexer nodes & parser nodes.
|
|
between raw source-code and the lexing-phase.
|
|
|
|
- Corrected more bugs in the system.
|
|
- Changed indents to symbols.
- Corrected some of the bugs in the system. Many more still awaiting fixes.
|
|
- Finished moving the codebase to use the functions from lux.base with the "&" prefix.
|
|
- Compiler-state is now using Lux record-format.
- Went from Error+Ok to Left+Right.
|
|
- The lexer now allows "-" in front of numbers to get negative numbers.
|
|
- Fixed a bug when compiling lambda instantiation (the bug had to do with compiling the env variables passed to the closure).
- Fixed a bug in the lexer wherein the backquote (`) wasn't being recognized.
|
|
- Split lux/analyser/env into "env" & "def" modules.
- Renamed lux/analyser/util to "base".
|
|
|
|
|
|
[Enhancements]
- Restructured the lexer a bit.
- Restructured the parser a lot.
- Changed the syntax a bit.
- Module-names are now separated from def-names by a colon (e.g. module/submodule:var)
- i+ -> iadd, i- -> isub, i* -> imul, i/ -> idiv
- Added a (incomplete) way to annotate defs. Currently, only serves to mark defs as macros.
- Removed "import" and "use". "require" is meant to be the way to load modules.
- Did some major refactoring, cleaning and upgrading in the analyser. Though there is still some work pending.
|
|
- Simplified lexer.
- Parser now does cleanup of comments & white-space, plus balancing of parens/brackets/braces and checking for even number of elements in records.
- Lexer & parser now share state.
|
|
- Removed a lot of useless comments & logging.
- Removed the useless test1.lux file.
|
|
instead of relying on a tuple.
* Changed the pattern-matching and variant generation code accordingly.
* Also changed a bit the special form for defining classes.
|
|
- Integer is now Int
- Float is now Real
- String is now Text
|
|
|
|
- The language can now handle more symbols on identifiers.
|
|
|
|
exploring inner structure or doing any testing).
|
|
+ Characters have been added.
% Unicode support is missing...
|
|
+ Fixed a bug that was preventing multi-line comments from being truly multi-line.
|
|
|