[FTypeChecker] Réécrire le typage des patterns pour ne pas avoir à utiliser [concat] #58

New Issue

Open

opened 2022-09-07 12:36:32 +02:00 by Olivier · 0 comments

Olivier commented 2022-09-07 12:36:32 +02:00

Owner

There is no content yet.

gasche referenced this issue 2023-01-27 22:24:17 +01:00

issue-58 #65

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

equality-constraint-graph

introduce-rigid

equality-constraint-env-immutable

upstream

equality-constraint-2

issue-64

issue-58

type-equations

equality-constraint

master

type-equations-master

n-ary-fun-printing

abstract

rigid-variable-fix

rigid-variable-rebase

letrn

gadt-language

multi-eq

error-message-rebase

rigid-rebase

error-message

clearer-test-output

ranges

minor-fixes

test-files

alcotest

abbrev_refactoring

rigid-variable

test-framework

qcheck

printer

improve-ast

parser

last_push

frozen-infer

f-datatypes

f-datatypes-wip

match-upstream

variants-upstream

pretty-printer-upstream

new-f-constructs-upstream

frozen-solver2

solver2

match2

frozen-solver

frozen

match

variants

debug

new-api

pretty-printer

co_cps

new-f-constructs

separate-test

type-environment

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

20201104

20201001

20190924

20180405

Labels

Clear labels

No items

No Label

Milestone

Clear milestone

No items

No Milestone

Assignees

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

There is no content yet.