Labels Milestones

New Issue

Moins d'environnements dans le solveur, plus d'environnements dans hastype #25

Open

opened 2 years ago by gasche · 1 comments

gasche commented 2 years ago

Collaborator

Essayer de virer la contrainte def et d'avoir à la place un mapping dans hastype des variables de termes vers les types monomorphes ou les schémas de type. Note: la contrainte let ne prend plus forcément une variable de terme, mais un "nom de schéma polymorphe", qu'on doit lui repasser dans la contrainte instantiate.

Essayer de virer la contrainte `def` et d'avoir à la place un mapping dans `hastype` des variables de termes vers les types monomorphes ou les schémas de type. Note: la contrainte `let` ne prend plus forcément une variable de terme, mais un "nom de schéma polymorphe", qu'on doit lui repasser dans la contrainte `instantiate`.

gasche commented 1 year ago

Poster

Collaborator

J'ai soumis une "Draft MR" pour implémenter ça:
https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/36

J'ai soumis une "Draft MR" pour implémenter ça: https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/36

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

20201104

20201001

20190924

20180405

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

Write Preview

Loading…

Cancel

Save

There is no content yet.