Skip to content
This repository has been archived by the owner on Feb 26, 2023. It is now read-only.

Change Mutable API #19

Merged
merged 9 commits into from May 18, 2022
Merged

Change Mutable API #19

merged 9 commits into from May 18, 2022

Commits on Apr 18, 2022

  1. save

    @cgarciae
    cgarciae committed Apr 18, 2022
    Configuration menu
    Copy the full SHA
    2a92f1b View commit details
    Browse the repository at this point in the history

  2. keep apply inplace

    @cgarciae
    cgarciae committed Apr 18, 2022
    Configuration menu
    Copy the full SHA
    2b28e60 View commit details
    Browse the repository at this point in the history

  3. remove Opaque

    @cgarciae
    cgarciae committed Apr 18, 2022
    Configuration menu
    Copy the full SHA
    1cccd3e View commit details
    Browse the repository at this point in the history

  4. avoid double copy in replace

    @cgarciae
    cgarciae committed Apr 18, 2022
    Configuration menu
    Copy the full SHA
    a71f3be View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2022

  1. remove mutable and toplevel_mutable methods

    @cgarciae
    cgarciae committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    bf70628 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2022

  1. fix mutable and toplevel_mutable method inference

    @cgarciae
    cgarciae committed Apr 22, 2022
    Configuration menu
    Copy the full SHA
    e9d417a View commit details
    Browse the repository at this point in the history

Commits on May 4, 2022

  1. check uninitialized fields + remove get_field

    @cgarciae
    cgarciae committed May 4, 2022
    Configuration menu
    Copy the full SHA
    3200c2e View commit details
    Browse the repository at this point in the history

Commits on May 17, 2022

  1. remove weird autoimport

    @cgarciae
    cgarciae committed May 17, 2022
    Configuration menu
    Copy the full SHA
    8c05a2d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into no-inplace

    @cgarciae
    cgarciae committed May 17, 2022
    Configuration menu
    Copy the full SHA
    d5f4eee View commit details
    Browse the repository at this point in the history