| Commit message (Collapse) | Author | Files | Lines |
|---|
|
expansions in order to aid error-reporting.
- Added recursive type definitions through the #rec tag in deftype.
|
|
- Added some type-tags to avoid reflection inside the compiler.
|
|
|
|
- More additions to the standard library.
|
|
unquote splice working and not automatic prefixing of unprefixed symbols/tags.
- Added (slightly) better type-error messages.
|
|
- Fixed several bugs.
|
|
|
|
- Implemented module-caching to avoid the waiting too much during program compilation.
|
|
- Now storing information about definitions & imports inside the .class files.
|
|
|
|
line & column).
|
|
|
|
- The version of the compiler is now stored as a field in the compiled definitions.
|
|
generated class.
|
|
- The command-line params argument in jvm_program is now transformed from a String array into (List Text).
|
|
|
|
- Replace most instances of "=" with ".equals".
- Added an optimization to lux.type/type= that drastically speeds-up type comparisons.
|
|
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.
|
|
- 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%.
|
|
|
|
|
|
better from the tags of the Type type.
|
|
host's.
- Made a few optimizations to speed-up the now slowed-down compiler.
|
|
|
|
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.
|
|
|
|
- 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.
|
|
- Fixed a few bugs both in lux.lux & the compiler.
- Added exports to the language.
|
|
- | and & now normalize their slot-names.
- Added several implementations of Eq, Ord & Show.
|
|
- 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.
|
|
- WORKING ON DEBUGGING A COMPILER ERROR: java.lang.IncompatibleClassChangeError
|
|
still there. Must find & squash).
-
|
|
- Removed the (now useless) lux.type/is-Type? function.
|
|
- Compilation units are not longer wrapped inside Expression/Statement variants.
- analyse-apply* no longer returns lists.
|
|
- 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).
|
|
- 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.
|
|
- 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)
|
|
references to the removed var from other vars.
|
|
(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.
|
|
- 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.
|
|
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.
|
|
- 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>).
|
|
|
