Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* first commit * First sample * Add resources to README.MD * Sample check for purity that illustrate the ClassBuilder phase * Update README.md * Update README.md * added intro info's about IR * removed unness. parts in IR * removed unness. parts in IR * added further resources on IR * walk function subexpressions and check for purity * fix compiler addition * WIP * finding all callable expressions and type checking them against purity * Add Jetpack Compose to list of plugin examples * Update README.md * Add note on Google having forked Kotlin and not having public sources * evaluating order of compiler phases based and extensions delegation * Add extensions invocation order * Meta DSL progress * Subscribing to newMethod, newField and newAnnotation on class builder generation * Update README.md * more progress * remove .DS_STORE from git * progress checkpoint * progress checkpoint * progress checkpoint * progress checkpoint * Mutate the compiler context with main services discovered in earlier analysis phase * moar progress * small cleanup before sharing with JB * clean up * clean up * Clean up * Clean up * toward automatic type alias generation * automatic type alias generation * update kotlin version and more progress attempting to intercept calls and type resolution * get a sample of gradle and idea plugin compiling * minor improvements and fixes * BOOM! implicit kinded conversions work! * clean up * clean up * merge Adrians work * Finding datatype, type class and instance based on @extension * progress prototyping type class resolution * Port of the most interesting parts of KEEP 87 over to the compiler plugin * enable the ExtensionResolutionCallChecker * Progress on the callchecker resolution * reflection utilities to intercept compiler services * Functions can now resolve `@with` arguments in their lexical scope * Suppress `NO_VALUE_FOR_PARAMETER` when an extension is properly resolved. * Ability to suppress any diagnostic given a CallCheckerContext ```kotlin fun CallCheckerContext.suppressDiagnostic(f: (Diagnostic) -> Boolean): Unit ``` * approach to match and unapply tree based on code snippets * quasiquote DSL progress * intercepting class generation with quotes, only matching on name for now * Initial Draft of the Higher Kind plugin based on quotes * Added modality in visibility * remove bogus import * move trim margins up to processing * support for kinds of N arity up to 22 * rename type parameters identifier * class matching DSL cleanup and simplification of the model for codegen * injection prototype working with type class package instances * auto insert with scopes * Support for `fun`, `val`, `object` and `class` providers of type class extensions * utils clean up * findExtension cleanup * IR transformations as meta functions * IR transformations as meta functions * Error reporting for ambiguous extensions * `with` injection supported in class members * clean up and more todos * support for internal orphan extensions * progress with comprehensions rewrites * progress with comprehensions rewrites * extracting flatMap calls from bindings presence * binding comprehensions as tree rewrites, working but lacking type checking * failing comprehensions rewrite example due to binding variables and order * failing comprehensions rewrite example due to binding variables and order * clean up * clean up * First steps into Idea support (#21) * some tries * gradle is the right one * revert to regular jar * init * init * autofold plugin with innerSealedSubclass * stash invest. * improvements in autofold * formating cleanUp * fix gradle plugin * merged with rr-typeclass * cleanUp * working HKplugin & Autofold init * safe * Move to kotlin-compiler package This change updates the compiler plugin to use the unshaded `kotlin-compiler` package instead of the `kotlin-compiler-embeddable` package, as to prevent it from clashing in IntelliJ. * added autofold plugin * working runIde task * added report message * added license and fixed comments * cleanUp * Revert "First steps into Idea support (#21)" (#23) This reverts commit 83ca625. * clean Up (#26) * fix type class resolution and plugin publishing, still need to autoinject compiler free args * gradle plugin jar cleanUp & fix (#27) * . * 1 try * further fix * further fix * progress with IDEA discovery shadowing and running the plugin in IDEA. Analysys not yet working * synth resolution progress * synth resolution progress on file save * synthetic methods and names working! * more synthetic resolver methods * getSyntheticNestedClassNames * synthetic package fragment provider * automatic synth resolution working based on local build output * progress on type class resolution on the IDE * IDE body resolution accounting type class injected symbols * Initialize IDE component registration earlier * Merge master and some debug output for next iteration * package organization * package organization (:compiler-plugin) * remove core and consumer modules * idea reorg * Update README.md * Moving arrow-meta-prototype into its own subdirectory * Moves arrow-meta-prototype into the proper subdirectory
- Loading branch information
1 parent
38147dc
commit c1464c7