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

Linear types #111

Merged
merged 78 commits into from Apr 13, 2020
Merged

Linear types #111

merged 78 commits into from Apr 13, 2020

Commits on Feb 13, 2018

  1. Linear types proposal (version 1) 

    With great inputs from @facundominguez, @mboes, and @jyp
    @facundominguez @aspiwack
    facundominguez authored and aspiwack committed Feb 13, 2018
    Copy the full SHA
    35b7337 View commit details
    Browse the repository at this point in the history

  2. Linear types proposal (version 2)

    @aspiwack
    aspiwack committed Feb 13, 2018
    Copy the full SHA
    0443c3e View commit details
    Browse the repository at this point in the history

  3. Update PR number

    @aspiwack
    aspiwack committed Feb 13, 2018
    Copy the full SHA
    0a96720 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2018

  1. Avoid number the main title

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    1ddaa64 View commit details
    Browse the repository at this point in the history

  2. Typo

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    6ab6b30 View commit details
    Browse the repository at this point in the history

  3. Fix typos 

    Thanks @AshleyYakeley
    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    d8788c7 View commit details
    Browse the repository at this point in the history

  4. Mention the unlifted data types proposal

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    ceb3d05 View commit details
    Browse the repository at this point in the history

  5. Alternatives: a section an unboxed data types 

    Based on discussion @andrewthad and @cartazio
    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    ca5d3d5 View commit details
    Browse the repository at this point in the history

  6. Fixe typos 

    Noticed by @cartazio
    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    fe68d3b View commit details
    Browse the repository at this point in the history

  7. Clarify the point in the intro about optimisation passes

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    aed13ac View commit details
    Browse the repository at this point in the history

  8. Clarify that the Core Linter is modified to check linearity

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    d2210fc View commit details
    Browse the repository at this point in the history

  9. Bad indentation leading to ill-rendered section

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    a85811c View commit details
    Browse the repository at this point in the history

  10. Small typo

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    92d65b0 View commit details
    Browse the repository at this point in the history

  11. Annotated binders, mixed-multiplicity records and record patterns

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    2757cc1 View commit details
    Browse the repository at this point in the history

  12. Consistency

    @aspiwack
    aspiwack committed Mar 9, 2018
    Copy the full SHA
    bea28ca View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2018

  1. Fix a link

    @aspiwack
    aspiwack committed Mar 23, 2018
    Copy the full SHA
    9667411 View commit details
    Browse the repository at this point in the history

  2. Fix anchors

    @aspiwack
    aspiwack committed Mar 23, 2018
    Copy the full SHA
    336b84f View commit details
    Browse the repository at this point in the history

  3. Specify GADT record syntax

    @aspiwack
    aspiwack committed Mar 23, 2018
    Copy the full SHA
    53efa39 View commit details
    Browse the repository at this point in the history

  4. An alternative linear arrow

    @aspiwack
    aspiwack committed Mar 23, 2018
    Copy the full SHA
    81d6a85 View commit details
    Browse the repository at this point in the history

  5. Fix anchor

    @aspiwack
    aspiwack committed Mar 23, 2018
    Copy the full SHA
    ed18244 View commit details
    Browse the repository at this point in the history

  6. Specifying typechecking of equations

    @aspiwack
    aspiwack committed Mar 23, 2018
    Copy the full SHA
    44105e1 View commit details
    Browse the repository at this point in the history

  7. A note regarding the formalisation of Core

    @aspiwack
    aspiwack committed Mar 23, 2018
    Copy the full SHA
    ae45ca7 View commit details
    Browse the repository at this point in the history

  8. Normalise adornment

    @aspiwack
    aspiwack committed Mar 23, 2018
    Copy the full SHA
    75a5de9 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2018

  1. Reorder syntax alternative section + add an alternative parsing rule

    @aspiwack
    aspiwack committed Apr 20, 2018
    Copy the full SHA
    9bb678d View commit details
    Browse the repository at this point in the history

  2. Clarify the alternative notations for arrows

    @aspiwack
    aspiwack committed Apr 20, 2018
    Copy the full SHA
    3e30291 View commit details
    Browse the repository at this point in the history

  3. Improve syntax disclaimer

    @aspiwack
    aspiwack committed Apr 20, 2018
    Copy the full SHA
    013022a View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2018

  1. Relegate η-expansion to an alternative

    @aspiwack
    aspiwack committed Apr 27, 2018
    Copy the full SHA
    c2d534b View commit details
    Browse the repository at this point in the history

Commits on May 4, 2018

  1. Polymorphisation of constructor in presence of more multiplicities

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    43ef657 View commit details
    Browse the repository at this point in the history

  2. Typo

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    9a473d3 View commit details
    Browse the repository at this point in the history

  3. New rule for constructors

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    3bf7953 View commit details
    Browse the repository at this point in the history

  4. Monomorphisation or multiplicity variables

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    3d86539 View commit details
    Browse the repository at this point in the history

  5. Typo

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    d1184a1 View commit details
    Browse the repository at this point in the history

  6. Resolve: typing of pattern matching in Core

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    c0bb7eb View commit details
    Browse the repository at this point in the history

  7. Tweaks to core (in particular mention join points)

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    d937a5c View commit details
    Browse the repository at this point in the history

  8. Typo

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    33647fd View commit details
    Browse the repository at this point in the history

  9. Small fix in view of the new typing rules in Core

    @aspiwack
    aspiwack committed May 4, 2018
    Copy the full SHA
    2a93456 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2018

  1. RST fixes

    @aspiwack
    aspiwack committed May 9, 2018
    Copy the full SHA
    59df6e8 View commit details
    Browse the repository at this point in the history

  2. Highlight the main differences between the proposal and the paper

    @aspiwack
    aspiwack committed May 9, 2018
    Copy the full SHA
    4678b92 View commit details
    Browse the repository at this point in the history

  3. Add @mpickering + more detailed implementation plan

    @aspiwack
    aspiwack committed May 9, 2018
    Copy the full SHA
    326844d View commit details
    Browse the repository at this point in the history

  4. Add link to Linear Core document

    @aspiwack
    aspiwack committed May 9, 2018
    Copy the full SHA
    25c9c2e View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2018

  1. Printing strategy and flags

    @aspiwack
    aspiwack committed Jul 9, 2018
    Copy the full SHA
    44b2ca7 View commit details
    Browse the repository at this point in the history

  2. Forward ref to Without -XLinearTypes in GADT-syntax specification

    @aspiwack
    aspiwack committed Jul 9, 2018
    Copy the full SHA
    27430dd View commit details
    Browse the repository at this point in the history

  3. Strict and unpacked fields

    @aspiwack
    aspiwack committed Jul 9, 2018
    Copy the full SHA
    350520b View commit details
    Browse the repository at this point in the history

  4. Reminder that 0≰1

    @aspiwack
    aspiwack committed Jul 9, 2018
    Copy the full SHA
    03662a3 View commit details
    Browse the repository at this point in the history

  5. Specification of more pattern forms

    @aspiwack
    aspiwack committed Jul 9, 2018
    Copy the full SHA
    aa732c2 View commit details
    Browse the repository at this point in the history

  6. Clarify the effects of using linear arrows in APIs

    @aspiwack
    aspiwack committed Jul 9, 2018
    Copy the full SHA
    11f05cc View commit details
    Browse the repository at this point in the history

  7. Remove a paragraph from a former version

    @aspiwack
    aspiwack committed Jul 9, 2018
    Copy the full SHA
    a106fb5 View commit details
    Browse the repository at this point in the history

  8. Correct arity for type families (:+) and (:*)

    @aspiwack
    aspiwack committed Jul 9, 2018
    Copy the full SHA
    b027d94 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2018

  1. Typo

    @aspiwack
    aspiwack committed Jul 10, 2018
    Copy the full SHA
    ecf2fb8 View commit details
    Browse the repository at this point in the history

  2. Be more specific about record projections

    @aspiwack
    aspiwack committed Jul 10, 2018
    Copy the full SHA
    b1016c7 View commit details
    Browse the repository at this point in the history

  3. Add (|p->) alternative syntax for multiplicity-parametric arrows

    @aspiwack
    aspiwack committed Jul 10, 2018
    Copy the full SHA
    d3bcafa View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2018

  1. Fix: section levels

    @aspiwack
    aspiwack committed Jul 20, 2018
    Copy the full SHA
    61019f8 View commit details
    Browse the repository at this point in the history

  2. Clarify wording

    @aspiwack
    aspiwack committed Jul 20, 2018
    Copy the full SHA
    499614a View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2018

  1. Clarify definition of "consume exactly once"

    @aspiwack
    aspiwack committed Aug 3, 2018
    Copy the full SHA
    82b0e96 View commit details
    Browse the repository at this point in the history

  2. Binders in surface-language let blocks can have varying multiplicity

    @aspiwack
    aspiwack committed Aug 3, 2018
    Copy the full SHA
    5fa3391 View commit details
    Browse the repository at this point in the history

  3. Specify "consuming" exactly once for unlifted types

    @aspiwack
    aspiwack committed Aug 3, 2018
    Copy the full SHA
    503fd5e View commit details
    Browse the repository at this point in the history

  4. Add @davemenendez syntax proposal

    @aspiwack
    aspiwack committed Aug 3, 2018
    Copy the full SHA
    2c7dd29 View commit details
    Browse the repository at this point in the history

  5. Specify pattern-matching of existentially quantified multiplicities

    @aspiwack
    aspiwack committed Aug 3, 2018
    Copy the full SHA
    2b85966 View commit details
    Browse the repository at this point in the history

  6. Some more words on inference

    @aspiwack
    aspiwack committed Aug 3, 2018
    Copy the full SHA
    9aa5e43 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2018

  1. Typo

    @aspiwack
    aspiwack committed Aug 6, 2018
    Copy the full SHA
    b9e28d9 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2018

  1. typo

    @adlaika
    adlaika committed Oct 22, 2018
    Copy the full SHA
    9ce6987 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #4 from docmoxie/patch-1 

    typo
    @mboes
    mboes committed Oct 22, 2018
    Copy the full SHA
    7c75fd2 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2019

  1. Move the discussion about exceptions to Effect and interactions 

    Where it always should have been
    @aspiwack
    aspiwack committed Jan 17, 2019
    Copy the full SHA
    75cc4f2 View commit details
    Browse the repository at this point in the history

  2. Typos and imprecisions 

    Reported by @monoidal
    @aspiwack
    aspiwack committed Jan 17, 2019
    Copy the full SHA
    31b930f View commit details
    Browse the repository at this point in the history

  3. Interactions: no linear arrows in kinds

    @aspiwack
    aspiwack committed Jan 17, 2019
    Copy the full SHA
    2ce779a View commit details
    Browse the repository at this point in the history

  4. Add a discussion of a litfIO primitive in RIO 

    Suggested by @simonmar
    @aspiwack
    aspiwack committed Jan 17, 2019
    Copy the full SHA
    be9bb31 View commit details
    Browse the repository at this point in the history

  5. A number of clarifications on RIO's catch 

    As discussed with @simonmar
    @aspiwack
    aspiwack committed Jan 17, 2019
    Copy the full SHA
    a78ad5a View commit details
    Browse the repository at this point in the history

  6. Extend the alternatives section

    @aspiwack
    aspiwack committed Jan 17, 2019
    Copy the full SHA
    ca2c75a View commit details
    Browse the repository at this point in the history

  7. Alternative names for multiplicities

    @aspiwack
    aspiwack committed Jan 17, 2019
    Copy the full SHA
    1d4815d View commit details
    Browse the repository at this point in the history

  8. Finish an unfinished sentence

    @aspiwack
    aspiwack committed Jan 17, 2019
    Copy the full SHA
    194e840 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2019

  1. Syntax: adopt the a # p -> b proposal

    @aspiwack
    aspiwack committed Mar 22, 2019
    Copy the full SHA
    7e93d29 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2019

  1. Syntax: add BNF modification from the report

    @aspiwack
    aspiwack committed Apr 5, 2019
    Copy the full SHA
    369248b View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2019

  1. Remnant of a grammar proposal past

    @aspiwack
    aspiwack committed Apr 26, 2019
    Copy the full SHA
    5cea37b View commit details
    Browse the repository at this point in the history

  2. Second iteration of the grammar proposal

    @aspiwack
    aspiwack committed Apr 26, 2019
    Copy the full SHA
    5eeeed9 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2019

  1. Use the decided-upon syntax

    @aspiwack
    aspiwack committed Aug 16, 2019
    Copy the full SHA
    b875e16 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2020

  1. Add conditional acceptance to proposal text

    @goldfirere
    goldfirere committed Apr 3, 2020
    Copy the full SHA
    2b29674 View commit details
    Browse the repository at this point in the history

  2. Formatting

    @goldfirere
    goldfirere committed Apr 3, 2020
    Copy the full SHA
    f774a19 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2020

  1. Update proposals/0000-linear-types.rst 

    Co-Authored-By: Max Desiatov <max@desiatov.com>
    @aspiwack @MaxDesiatov
    aspiwack and MaxDesiatov committed Apr 6, 2020
    Copy the full SHA
    6edfe1b View commit details
    Browse the repository at this point in the history