Labels Milestones

New Issue

[FTypeChecker] Implémentation plus efficace de l'égalité entre types #59

Open

opened 5 months ago by Olivier · 0 comments

Olivier commented 5 months ago

Owner

Faire une copie avec les appels à [translate] dans equal (plus malin)

Faire une copie avec les appels à [translate] dans equal (plus malin)

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

abbrev_refactoring

abstract

alcotest

clearer-test-output

co_cps

debug

equality-constraint

error-message

error-message-rebase

f-datatypes

f-datatypes-wip

frozen

frozen-infer

frozen-solver

frozen-solver2

gadt-language

improve-ast

issue-58

issue-64

last_push

letrn

master

match

match-upstream

match2

minor-fixes

multi-eq

n-ary-fun-printing

new-api

new-f-constructs

new-f-constructs-upstream

parser

pretty-printer

pretty-printer-upstream

printer

qcheck

ranges

rigid-rebase

rigid-variable

rigid-variable-fix

rigid-variable-rebase

separate-test

solver2

test-files

test-framework

type-environment

type-equations

type-equations-master

upstream

variants

variants-upstream

20180405

20190924

20201001

20201104

frozen-infer-at-the-end-of-the-internship

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#59

Write Preview

Loading…

Cancel

Save

There is no content yet.