Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[ new ] Support type-polymorphic type arguments #19

Draft
wants to merge 44 commits into
base: master
Choose a base branch
from
Draft

[ new ] Support type-polymorphic type arguments #19

wants to merge 44 commits into from

Conversation

buzden
Copy link
Owner

@buzden buzden commented Aug 18, 2022

Would resolve #4.

Currently should be reworked after recent work and after resolving #3 and #7.

buzden added 30 commits July 12, 2022 07:33
@buzden
[ doc ] Document planned requirements to gens with given Type params
bb4feb2
@buzden
[ wip ] Make ExternalGen side variant have a type args context
0bd7e5f
@buzden
[ wip ] For each external generator acquire its poly-types context
bb87aae
@buzden
[ wip ] Create some TypeInfo for poly types
3403712
@buzden
[ wip ] Remember higher-kinded arguments in the external gens context
2ef9022
@buzden
[ fix ] Make the first signature check be aware of ext gen context
47ec2a4
@buzden
[ refactor ] Rename the type of context with poly type args info
e18759e
@buzden
[ wip ] Make poly type's type info contain actual type parameters
59f8cc9
@buzden
[ refactor ] Use named arguments for the poly type's type info making
5581c01
@buzden
[ workaround ] Workaround some mystic bug about inner data declarations
9029b88
@buzden
[ refactor ] Replace a data definition with an appropriate record
05aba91
@buzden
[ refactor ] Cosmetics and statements reordering for optimisation
fa63251
@buzden
[ refactor ] Rename index parameters to have Idx in their name
68647db
@buzden
[ refactor ] Use TypeApp as a record, not by a pattern matching
c112db4
@buzden
[ wip ] Don't fail at polymorphic types, treat them specially
2f57968
@buzden
[ wip ] Add a check for one case we are not going to support soon
90acd1a
@buzden
[ test ] Add a (currently, incorrect) test for external poly generator
2c2c81d
@buzden
[ wip ] Classify which poly types of constructor require gens
861075f
@buzden
[ redesign ] Add an ability for derived gen to have additional gens
4d4a59e
@buzden
[ fix ] Stop canonic signature to contain pseudo types for poly types
da0e7d5 
This is done by making pseudo-typeinfo for poly types to contain an
arbitrary name which can be acquired back as it was originally
@buzden
[ derive ] Remember poly types as addtitional gens in least-effort
5c9a47a
@buzden
[ ux ] Report an internal error on a derivation attempt of a poly type
766d3fe
@buzden
[ test ] Add tests for derived poly gens with no universal one
33422ce
@buzden
[ derive ] Call for polymorphic generators by name
600d515
@buzden
[ derive ] Pass additional gens when calling constructor's gen
d093514
@buzden
[ wip ] Take out additional gens at the level of clojuring
1b9919b
@buzden
[ wip ] Make outer generator's call to produce additional gens too
5de6e96
@buzden
[ wip ] Add placeholders for filling additionals' exprs in gen calls
c82146f
@buzden
[ refactor ] Make additional gens record to be relative to a signature
48026d3 
For some reason, this change causes a 4x memory consumption blow
@buzden
[ refactor ] Make additional gens datatype to contain index of origin
f9e27c4
buzden added 14 commits July 12, 2022 07:33
@buzden
[ refactor ] Optimise one pretty consuming check
da04f1b
@buzden
[ refactor ] Make additional gens be indexed by given args, not type …
fb90458 
…args
@buzden
[ wip ] Start to manage the demand for particular poly type gen
7296b11
@buzden
[ revert ] Make additional gens to not to contain the index
510d14e
@buzden
[ refactor ] Move one small piece of code to a utility function
adf3e2e
@buzden
[ wip ] Implement actual search and call for subgen for additional args
722d5b7
@buzden
[ test ] Add or update expected results of polymorphism-related runs
2308386
@buzden
[ refactor ] Make the outer sig parameter to be explicit in callGen
08e1ba5
@buzden
[ revert ] Remove signature index from the additional gens record
845637b 
This is done purely because of increased memory consumption due to this
parameter. It is great for control that we do not mix additional gens
from different contexts. Thus, this revertion ought to be reverted asap
@buzden
[ test ] Add couple of core tests with Equal inside
60b8e9b
@buzden
[ test ] Add a negative polymorphism-related test to core
17a4f5b
@buzden
[ fix ] Add a check disallowing dandling polymorphic parameters
1940e98
@buzden
[ test ] Fix some tests, place correctly previously wrongly placed types
02f0469
@buzden
[ test ] Add several non-trivial polymorphic printing tests
dfc6363 
Expected values of these tests are not good yet
@buzden buzden added code: enhancement New feature or improvement part: derivation Related to automated derivation of generators status: blocked Blocked by some other issue or ongoing work derive: least-effort Relates to the `LeastEffort` derivation algorithm derive: core Something in between single type generator and its constructors derive: infrastructure Issue around derivation, but not directly in derive: entry Issue on the derivation function facing to the end-user labels Aug 18, 2022
@buzden buzden marked this pull request as draft September 15, 2022 12:54
@buzden buzden added issue: compilation error When compilation error raises because of the library and removed issue: compilation error When compilation error raises because of the library labels Mar 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
code: enhancement New feature or improvement derive: core Something in between single type generator and its constructors derive: entry Issue on the derivation function facing to the end-user derive: infrastructure Issue around derivation, but not directly in derive: least-effort Relates to the `LeastEffort` derivation algorithm part: derivation Related to automated derivation of generators status: blocked Blocked by some other issue or ongoing work
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add support for type-polymorphic data structures
1 participant
@buzden