feat: Allow self-reference in implementations #4

glen · 2022-07-19T18:54:00Z

glen commented

2022-07-19 18:54:00 +00:00

This PR also uses such self-reference to define negate and add
for Complex numbers in a way that is independent of component types.

Also adds a bigint type and verifies that pocomath will then handle
Gaussian integers "for free".

Ensures that if one function is invalidated, then any that depend on it will be.

This PR also uses such self-reference to define negate and add for Complex numbers in a way that is independent of component types. Also adds a bigint type and verifies that pocomath will then handle Gaussian integers "for free". Ensures that if one function is invalidated, then any that depend on it will be.

glen added 2 commits 2022-07-19 18:54:00 +00:00

feat: Allow self-reference in implementations 66cbccfbbe

And use it to define negate and add for Complex numbers in a way that
  is independent of component types.

  Also add a bigint type and verify that pocomath will then handle Gaussian
  integers "for free".

fix: prevent obsolete typed-functions from hanging around 4999cad775

In other words, if name a depends on b and b is invalidated (because
  of added implementations), then a must be invalidated as well.

  Also adds a specific test (custom/piecemeal) that tests this.

glen merged commit 84a8b9d5c4 into main

2022-07-19 18:54:23 +00:00

glen deleted branch self_reference

2022-07-19 18:54:23 +00:00

glen referenced this issue from a commit

2022-07-19 18:54:23 +00:00

feat: Allow self-reference in implementations (#4)

Sign in to join this conversation.

No reviewers