Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

H

haskell
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

293d4807

Commit 293d4807 authored 2 months ago by Artin Ghasivand

Downloads
- Patches
- Plain Diff

Update the tcMatch family of functions to match the spec

parent b642aeb8

No related branches found

No related tags found

No related merge requests found

Pipeline #108686 passed 2 months ago

Stage: tex

Stage: pdf

Changes 7
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

grammar.ott 0 additions, 1 deletion

grammar.ott
haskell.mng 1 addition, 2 deletions

haskell.mng
rules.ott 14 additions, 12 deletions

rules.ott
typechecker/src/Tc/Gen/Match.hs 104 additions, 119 deletions

typechecker/src/Tc/Gen/Match.hs
typechecker/src/Tc/Solver.hs 7 additions, 7 deletions

typechecker/src/Tc/Solver.hs
typechecker/src/Term.hs 4 additions, 1 deletion

typechecker/src/Term.hs
typechecker/src/Type.hs 8 additions, 7 deletions

typechecker/src/Type.hs

with 138 additions and 149 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment