aboutsummaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Collapse)AuthorFilesLines
2015-07-19- Some bug fixes.Eduardo Julian8-364/+382
- More additions to the standard library.
2015-07-14- Added a ' (quote) macro that works like ` (backquote), without unquote or ↵Eduardo Julian2-12/+87
unquote splice working and not automatic prefixing of unprefixed symbols/tags. - Added (slightly) better type-error messages.
2015-07-12- Added the beginnings of the standard library.Eduardo Julian12-122/+247
- Fixed several bugs.
2015-06-21- The backwards analysis of function application is back.Eduardo Julian3-105/+108
2015-06-20- The directory for source-code is now named "input".Eduardo Julian12-240/+466
- Implemented module-caching to avoid the waiting too much during program compilation.
2015-06-12- Added imports.Eduardo Julian8-55/+121
- Now storing information about definitions & imports inside the .class files.
2015-06-10- Reimplemented module-aliasing.Eduardo Julian3-33/+73
2015-06-09- Now displaying the location where the analyser finds error (file-name, ↵Eduardo Julian3-219/+229
line & column).
2015-06-09- Put definition metadata into the generated .class files.Eduardo Julian1-6/+146
2015-05-31- Finished _jvm-interface_ & _jvm-class_.Eduardo Julian8-102/+254
- The version of the compiler is now stored as a field in the compiled definitions.
2015-05-27- Now storing the hash of the source file as a final, static field of the ↵Eduardo Julian2-5/+9
generated class.
2015-05-27- _jvm_program now relies on the (IO (,)) type.Eduardo Julian3-7/+82
- The command-line params argument in jvm_program is now transformed from a String array into (List Text).
2015-05-26- Now using an in-memory class-loader.Eduardo Julian3-16/+47
2015-05-24- Cleaned-up a few things in lux.luxEduardo Julian10-330/+332
- Replace most instances of "=" with ".equals". - Added an optimization to lux.type/type= that drastically speeds-up type comparisons.
2015-05-22- Added a simple optimization based on the idea of avoiding to compare 2 ↵Eduardo Julian1-33/+35
type-functions which are most-likely the same, due to their name (remembering that when you define types using deftype, the type-function's name will correspond to the def's). - Gave empty environments to top-level type-functions, instead of leaving them with unset environments.
2015-05-22- Corrected the indentation issues in the lux files.Eduardo Julian9-157/+227
- 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%.
2015-05-14- Removed the apparently unnecessary total-locals.Eduardo Julian3-110/+2
2015-05-14- Multi-line comments have returned.Eduardo Julian3-19/+62
2015-05-10- Changed the names of the tags of the Syntax type to differentiate them ↵Eduardo Julian7-189/+189
better from the tags of the Type type.
2015-05-10- Switched to the new prefix convention for both lux's special forms and the ↵Eduardo Julian8-211/+238
host's. - Made a few optimizations to speed-up the now slowed-down compiler.
2015-05-10- Now analysing function-application backwards.Eduardo Julian4-81/+84
2015-05-07- Eliminated #eval-ctor from the HostState and now #seed is used for the ↵Eduardo Julian5-50/+42
same purpose. - Optimized some code a bit.
2015-05-06- Made several optimizations to the compiler.Eduardo Julian14-243/+177
- Also removed several unused definitions.
2015-05-06- Made some small optimizations in the compiler.Eduardo Julian9-95/+108
2015-05-06- Removed a few unused definitions inside lux.baseEduardo Julian1-91/+3
2015-05-06- Removed all the unnecesary comments.Eduardo Julian20-1002/+689
- Made some changes to the way type-checking is performed on variants, records & tuples in order to improve the speed of type-checking.
2015-05-04v0.1Eduardo Julian2-10/+81
2015-05-04- Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian10-117/+203
- Implemented "using". - Implemented jvm-program. - Corrected some primitive (un)wrapping errors in lux.compiler.host. - jvm-program is now scoped to enable local variables. - The types of definitions are now stored within the module dictionary. - Added a "main" method that just compiles program.lux.
2015-05-04- Added alias-lux to import lux.lux definitions.Eduardo Julian8-59/+108
- Fixed a few bugs both in lux.lux & the compiler. - Added exports to the language.
2015-05-03- Added def-aliasing.Eduardo Julian3-22/+54
- | and & now normalize their slot-names. - Added several implementations of Eq, Ord & Show.
2015-05-03- Added ;;self-prefixes.Eduardo Julian2-90/+94
- 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 `).
2015-05-03- Optimized the compiler by eliminating reflection.Eduardo Julian14-133/+78
2015-05-03- Fixed escaping in charsEduardo Julian2-4/+4
- Added 2 custom pattern-matchers (\ & \or) & gensym - Added signatures & structures ^_^
2015-05-03- The type syntax is finally complete ^_^Eduardo Julian7-51/+36
- 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.
2015-05-02- Implemented some new macros & functions in lux.lux.Eduardo Julian3-36/+39
- WORKING ON DEBUGGING A COMPILER ERROR: java.lang.IncompatibleClassChangeError
2015-05-02- Finally got find-macro & macro-expand to work... (Note: type-vars bug is ↵Eduardo Julian3-71/+78
still there. Must find & squash). -
2015-05-01- Added existential types via #ExT.Eduardo Julian3-46/+18
- Removed the (now useless) lux.type/is-Type? function.
2015-05-01Optimized the compiler with 2 tweaks:Eduardo Julian11-123/+104
- Compilation units are not longer wrapped inside Expression/Statement variants. - analyse-apply* no longer returns lists.
2015-05-01- Added the lux;seed slot to the compiler state.Eduardo Julian5-34/+74
- Macro declarations are now handled at the compiler-phase instead of the analyser phase to avoid the posibility of trying to declare a yet-uncompiled macro (due to the macro-expansion of defmacro). - Added a makeshift implementation of existential types on top of BoundT (must migrate to a more permanent implementation).
2015-05-01- declare-macro has returned.Eduardo Julian7-67/+157
- Method-invocation special forms now take the wanted method as an unprefixed symbol, instead of as text. - Some fixes in lux.analyser.host. - Lambda analysis now just returns the origin exo-type instead of the endo-type. - Made some changes to the type of the CompilerState.
2015-04-30- Implemented pattern-matching for records.Eduardo Julian4-44/+111
- Added some code to allow variant creation with existential types. (NOTE: Check if it's actually valid) - Modify var cleanup to leave the var as-is if it has been deleted. (NOTE: Need to find out why a variable is left prior to being deleted)
2015-04-30- Improved the way vars are deleted by including code to remove all ↵Eduardo Julian1-8/+28
references to the removed var from other vars.
2015-04-29- Made a slight correction to the Syntax type when it comes to records ↵Eduardo Julian1-17/+33
(slot-names are no longer Text, but Syntax). - lux/type;bound? no longer does further derefs to check for bound-ness? - Improved the way 2 type-vars are type-checked. - When cleaning type-vars, the dereffed typed is no longer cleaned again.
2015-04-28- Fixed some errors in lux.lux.Eduardo Julian11-161/+189
- 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.
2015-04-26- Added a new type of definition (#TypeD (,)), to take advantage of an ↵Eduardo Julian1-10/+28
optimization where I can skip doing a full-blowing type-check by doing a pointer-check with &type/Type for both the exo-type and the endo-type.
2015-04-26- lux/analyser/def has been renamed to lux/analyser/module.Eduardo Julian6-239/+275
- 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>).
2015-04-26Made a correction to lux.lux and the analyser regarding how to handle type-vars.Eduardo Julian2-5/+13
2015-04-26Made a small change in regards to how global defs are resolved.Eduardo Julian3-6/+14
2015-04-26- Macros are no longer declared. Instead, they are automatically detected.Eduardo Julian3-16/+95
2015-04-25- No more Any (Top) and Nothing (Bottom) types.Eduardo Julian6-294/+282