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

Parameterize TypeRow by element type #256

Merged
merged 55 commits into from
Jul 25, 2023
Merged

Parameterize TypeRow by element type #256

merged 55 commits into from
Jul 25, 2023

Commits on Jul 7, 2023

  1. In ConstValue::predicate, assert that the unit value is expected by t… 

    …he type
    @acl-cqc
    acl-cqc committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    ee60c72 View commit details
    Browse the repository at this point in the history

  2. Remove one TypeRow::from, inlining into the other

    @acl-cqc
    acl-cqc committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    900ffce View commit details
    Browse the repository at this point in the history

  3. Linear containers can have classic values too

    @acl-cqc
    acl-cqc committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    5455cd9 View commit details
    Browse the repository at this point in the history

  4. Flatten LinearType into SimpleType

    @acl-cqc
    acl-cqc committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    de40c36 View commit details
    Browse the repository at this point in the history

  5. Inline single use of impl_from_into_simple_type macro

    @acl-cqc
    acl-cqc committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    4d585f8 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Merge remote-tracking branch 'origin/main' into refactor/linear_classic

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    079dd6f View commit details
    Browse the repository at this point in the history

  2. WIP

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    6ccc5fa View commit details
    Browse the repository at this point in the history

  3. Masses of ToOwned/'static weirdness

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    68772ba View commit details
    Browse the repository at this point in the history

  4. Require Debug everywhere

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    757426f View commit details
    Browse the repository at this point in the history

  5. More ToOwned - everything <Owned=Vec<T>>

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    ccfdb13 View commit details
    Browse the repository at this point in the history

  6. TypeRow<ClassicType> has predicate_variant_rows as predicates are alw… 

    …ays Classical
    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    76616a0 View commit details
    Browse the repository at this point in the history

  7. try_convert_elems for new_sum/new_tuple

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    edbbdf8 View commit details
    Browse the repository at this point in the history

  8. Driveby use SimpleType::is_linear rather than lambda

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    b5b3975 View commit details
    Browse the repository at this point in the history

  9. TEMP turn off types/simple/serialize.rs

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    c48e4e7 View commit details
    Browse the repository at this point in the history

  10. Constant Sums must be all-classic; other fixes

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    5b080a2 View commit details
    Browse the repository at this point in the history

  11. Add TypeRow::into_owned; Remove ConstTypeError::LinearTypeDisallowed;… 

    … cargo build compiles
    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    83b9736 View commit details
    Browse the repository at this point in the history

  12. Fix tests, except serialization of course!

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    93b030a View commit details
    Browse the repository at this point in the history

  13. T: Clone+'static avoids the crazy [T]: ToOwned<Owned=Vec<T>>

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    4c8141a View commit details
    Browse the repository at this point in the history

  14. Use PrimType constraint for all TypeRow's

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    a2b4f2c View commit details
    Browse the repository at this point in the history

  15. Revert "TEMP turn off types/simple/serialize.rs" 

    This reverts commit c48e4e7.
    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    8ef8399 View commit details
    Browse the repository at this point in the history

  16. Fix serialization by making SerSimpleType contain only SerSimpleTypes

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    d6a7452 View commit details
    Browse the repository at this point in the history

  17. Drop a now-unnecessary into

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    6c01233 View commit details
    Browse the repository at this point in the history

  18. Remove now-unnecessary hoop-jumping in Signature::get for 'other' ports

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    9e43ddb View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. Merge remote-tracking branch 'origin/main' into refactor/linear_classic

    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    dd6c705 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. Merge remote-tracking branch 'origin/main' into HEAD

    @acl-cqc
    acl-cqc committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    2e4a0bb View commit details
    Browse the repository at this point in the history

  2. Drop unused purely_linear methods. 

    (Unused because they shouldn't be, perhaps? Even slightly linear means linear)
    @acl-cqc
    acl-cqc committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    11ca1e1 View commit details
    Browse the repository at this point in the history

  3. PrimType::LINEAR -> CLASSIC

    @acl-cqc
    acl-cqc committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    638cd34 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. Remove LeafOp::linear_count and Signature::linear

    @acl-cqc
    acl-cqc committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    267da4e View commit details
    Browse the repository at this point in the history

  2. Remove SimpleType::is_linear, keeping only is_classical

    @acl-cqc
    acl-cqc committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    ff85434 View commit details
    Browse the repository at this point in the history

  3. Alias{ID,Defn,Decl}: change linear -> classic

    @acl-cqc
    acl-cqc committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    ea7da61 View commit details
    Browse the repository at this point in the history

  4. EdgeKind.is_linear: clarify comment

    @acl-cqc
    acl-cqc committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    972c4ba View commit details
    Browse the repository at this point in the history

  5. Some spec updates (esp type constraints TODO) - dropping const-able

    @acl-cqc
    acl-cqc committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    2ee2369 View commit details
    Browse the repository at this point in the history

  6. Remove LinearType from spec ???

    @acl-cqc
    acl-cqc committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    f23d301 View commit details
    Browse the repository at this point in the history

  7. Comment out pyo3 of TypeRow w/TODO; fix doc link

    @acl-cqc
    acl-cqc committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    21a8fd9 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Use unicode superset

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    48e4e39 View commit details
    Browse the repository at this point in the history

  2. typo: anynum -> any

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    230adf4 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into refactor/linear_classic

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    a469f3b View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/main' into refactor/linear_classic

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    e852511 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'refactor/linear_classic' into refactor/parameterize_typ… 

    …erow_classic_predicate
    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    40cfd79 View commit details
    Browse the repository at this point in the history

  6. Use classic_row!

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    5e90a5c View commit details
    Browse the repository at this point in the history

  7. SerializableType trait w/CLASSIC, unimplemented for SerSimpleType

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    3a6ec73 View commit details
    Browse the repository at this point in the history

  8. A couple more classic_row!s

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    3061a5f View commit details
    Browse the repository at this point in the history

  9. Drop some unnecessary type annotations (add comments)

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    fdf88ba View commit details
    Browse the repository at this point in the history

  10. SimpleRow + ClassicRow

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    9a11e07 View commit details
    Browse the repository at this point in the history

  11. fix doc links in macros.rs

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    8696dad View commit details
    Browse the repository at this point in the history

  12. Properly doc classic_row!

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    e04294c View commit details
    Browse the repository at this point in the history

  13. And more macro doc fixes

    @acl-cqc
    acl-cqc committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    d8023f9 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2023

  1. Merge remote-tracking branch 'origin/main' into refactor/parameterize… 

    …_typerow_classic_predicate
    @acl-cqc
    acl-cqc committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    ae63688 View commit details
    Browse the repository at this point in the history

  2. fmt

    @acl-cqc
    acl-cqc committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    c71f6fe View commit details
    Browse the repository at this point in the history

  3. fix doc

    @acl-cqc
    acl-cqc committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    fecce95 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Test new_tuple and new_sum

    @acl-cqc
    acl-cqc committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    c32bd45 View commit details
    Browse the repository at this point in the history

  2. Combine impl blocks

    @acl-cqc
    acl-cqc committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    b6f023c View commit details
    Browse the repository at this point in the history

  3. types: export PrimType, TypeRow

    @acl-cqc
    acl-cqc committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    ea976ba View commit details
    Browse the repository at this point in the history

  4. tidy some imports

    @acl-cqc
    acl-cqc committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    f4dcd89 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Merge remote-tracking branch 'origin/main' into refactor/parameterize… 

    …_typerow_classic_predicate
    @acl-cqc
    acl-cqc committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    f74a968 View commit details
    Browse the repository at this point in the history