[ new ] Support type-polymorphic type arguments#19

Draft

buzden wants to merge 44 commits intomasterfrom support-polymorphic-fields

+3,707-186

Commits on Jul 12, 2022

[ doc ] Document planned requirements to gens with given Type params
buzden
committed
[ wip ] Make ExternalGen side variant have a type args context
buzden
committed
[ wip ] For each external generator acquire its poly-types context
buzden
committed
[ wip ] Create some TypeInfo for poly types
buzden
committed
[ wip ] Remember higher-kinded arguments in the external gens context
buzden
committed
[ fix ] Make the first signature check be aware of ext gen context
buzden
committed
[ refactor ] Rename the type of context with poly type args info
buzden
committed
[ wip ] Make poly type's type info contain actual type parameters
buzden
committed
[ refactor ] Use named arguments for the poly type's type info making
buzden
committed
[ workaround ] Workaround some mystic bug about inner data declarations
buzden
committed
[ refactor ] Replace a data definition with an appropriate record
buzden
committed
[ refactor ] Cosmetics and statements reordering for optimisation
buzden
committed
[ refactor ] Rename index parameters to have Idx in their name
buzden
committed
[ refactor ] Use TypeApp as a record, not by a pattern matching
buzden
committed
[ wip ] Don't fail at polymorphic types, treat them specially
buzden
committed
[ wip ] Add a check for one case we are not going to support soon
buzden
committed
[ test ] Add a (currently, incorrect) test for external poly generator
buzden
committed
[ wip ] Classify which poly types of constructor require gens
buzden
committed
[ redesign ] Add an ability for derived gen to have additional gens
buzden
committed
[ fix ] Stop canonic signature to contain pseudo types for poly types
buzden
committed
[ derive ] Remember poly types as addtitional gens in least-effort
buzden
committed
[ ux ] Report an internal error on a derivation attempt of a poly type
buzden
committed
[ test ] Add tests for derived poly gens with no universal one
buzden
committed
[ derive ] Call for polymorphic generators by name
buzden
committed
[ derive ] Pass additional gens when calling constructor's gen
buzden
committed
[ wip ] Take out additional gens at the level of clojuring
buzden
committed
[ wip ] Make outer generator's call to produce additional gens too
buzden
committed
[ wip ] Add placeholders for filling additionals' exprs in gen calls
buzden
committed
[ refactor ] Make additional gens record to be relative to a signature
buzden
committed
[ refactor ] Make additional gens datatype to contain index of origin
buzden
committed
[ refactor ] Optimise one pretty consuming check
buzden
committed
[ refactor ] Make additional gens be indexed by given args, not type args
buzden
committed
[ wip ] Start to manage the demand for particular poly type gen
buzden
committed
[ revert ] Make additional gens to not to contain the index
buzden
committed
[ refactor ] Move one small piece of code to a utility function
buzden
committed
[ wip ] Implement actual search and call for subgen for additional args
buzden
committed
[ test ] Add or update expected results of polymorphism-related runs
buzden
committed
[ refactor ] Make the outer sig parameter to be explicit in callGen
buzden
committed
[ revert ] Remove signature index from the additional gens record
buzden
committed
[ test ] Add couple of core tests with Equal inside
buzden
committed
[ test ] Add a negative polymorphism-related test to core
buzden
committed
[ fix ] Add a check disallowing dandling polymorphic parameters
buzden
committed
[ test ] Fix some tests, place correctly previously wrongly placed types
buzden
committed
[ test ] Add several non-trivial polymorphic printing tests
buzden
committed