Labels Milestones

introduce-rigid #67

Open

Olivier wants to merge 12 commits from introduce-rigid into upstream

pull from: introduce-rigid

merge into: Olivier:upstream

Olivier:equality-constraint-graph

Olivier:equality-constraint-env-immutable

Olivier:upstream

Olivier:equality-constraint-2

Olivier:issue-64

Olivier:issue-58

Olivier:type-equations

Olivier:equality-constraint

Olivier:master

Olivier:type-equations-master

Olivier:n-ary-fun-printing

Olivier:abstract

Olivier:rigid-variable-fix

Olivier:rigid-variable-rebase

Olivier:letrn

Olivier:gadt-language

Olivier:multi-eq

Olivier:error-message-rebase

Olivier:rigid-rebase

Olivier:error-message

Olivier:clearer-test-output

Olivier:ranges

Olivier:minor-fixes

Olivier:test-files

Olivier:alcotest

Olivier:abbrev_refactoring

Olivier:rigid-variable

Olivier:test-framework

Olivier:qcheck

Olivier:printer

Olivier:improve-ast

Olivier:parser

Olivier:last_push

Olivier:frozen-infer

Olivier:f-datatypes

Olivier:f-datatypes-wip

Olivier:match-upstream

Olivier:variants-upstream

Olivier:pretty-printer-upstream

Olivier:new-f-constructs-upstream

Olivier:frozen-solver2

Olivier:solver2

Olivier:match2

Olivier:frozen-solver

Olivier:frozen

Olivier:match

Olivier:variants

Olivier:debug

Olivier:new-api

Olivier:pretty-printer

Olivier:co_cps

Olivier:new-f-constructs

Olivier:separate-test

Olivier:type-environment

Conversation 0 Commits 12 Files Changed 32

Olivier commented 3 months ago

Owner

There is no content yet.

Olivier added 4 commits 3 months ago

734589799c System F: introduction of rigid variables outside of annotation.

d458ec5625 Add new constraint introducing rigid variables.

2f94234ce2 [WIP] ML: introduction of rigid variables outside of annotation. ...

The elaboration is incorrect.

cbb649ecbd Add tests for ML.

Olivier force-pushed introduce-rigid from cbb649ecbd to 5a32fe3d84 3 months ago

Olivier force-pushed introduce-rigid from 5a32fe3d84 to c35bf05de9 3 months ago

Olivier force-pushed introduce-rigid from c35bf05de9 to acfd1ffa63 3 months ago

Olivier force-pushed introduce-rigid from acfd1ffa63 to 8a8bd1f524 3 months ago

Olivier force-pushed introduce-rigid from 8a8bd1f524 to 602b6427d7 3 months ago

Olivier force-pushed introduce-rigid from 602b6427d7 to 3add7f93ca 3 months ago

Olivier force-pushed introduce-rigid from 3add7f93ca to 831ad5e504 3 months ago

Olivier added 1 commit 3 months ago

1c64693bb4 New syntax to introduce flexible variables TODO : PAnnot...

Olivier force-pushed introduce-rigid from 1c64693bb4 to 0f2f30d6a2 3 months ago

Olivier added 1 commit 3 months ago

ffa2926759 Remove the redundant construct type_annotation.

Olivier added 1 commit 3 months ago

4871534e80 Remove useless [params] argument in [convert].

This pull request can be merged automatically.

This branch is out-of-date with the base branch

You are not authorized to merge this pull request.

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#67

Write Preview

Loading…

Cancel

Save

There is no content yet.