issues
search
jstolarek
/
inferno
Mirrored from https://gitlab.inria.fr/fpottier/inferno
MIT License
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Frozen Inferno infers a different type in A• example
#45
jstolarek
opened
2 years ago
0
Implement lists in the client
#44
jstolarek
opened
2 years ago
0
Delete unused functions in `Generalization` module
#43
jstolarek
opened
2 years ago
0
`Generalization.unbound_quantifiers` and `Generalization.unbound_tyvars` could use more testing
#42
jstolarek
opened
2 years ago
0
`remove_from_pool` most likely redundant
#41
jstolarek
opened
2 years ago
1
Carry more information in `UnifyMono` exception
#40
jstolarek
opened
2 years ago
0
Merge skolem and mono flags in the variable descriptor
#39
jstolarek
opened
2 years ago
0
Differences in constraint language between implementation and formalisation
#38
jstolarek
opened
2 years ago
0
Allow unbound variables in signatures
#37
jstolarek
opened
3 years ago
0
Skolemizing monomorphic quantifiers in bad3 and bad4
#36
jstolarek
opened
3 years ago
0
Implement correct semantics for let_mono constraints
#35
jstolarek
opened
3 years ago
0
Problems with generalization on let_mono branch (PR #33)
#34
jstolarek
closed
3 years ago
2
Use monomorphic let constraints instead of def
#33
jstolarek
closed
3 years ago
3
Print restrictions
#32
jstolarek
opened
3 years ago
0
Broken type variable scoping
#31
jstolarek
opened
3 years ago
1
Freezing of variables without quantifiers is broken
#30
jstolarek
opened
3 years ago
2
Redundant mono constraints on variables with structure?
#29
jstolarek
closed
3 years ago
0
No kind environment
#28
jstolarek
opened
3 years ago
1
Potential value restriction bug
#27
jstolarek
closed
3 years ago
1
Update comments
#26
jstolarek
closed
2 years ago
1
Contact inferno authors
#25
jstolarek
closed
3 years ago
0
Value restriction
#24
jstolarek
closed
3 years ago
8
Fix annotations on frozen variables and applications
#23
jstolarek
closed
3 years ago
1
Incorrect ranks of type constructors created from annotations
#22
jstolarek
closed
3 years ago
0
Track known broken tests
#21
frank-emrich
closed
3 years ago
1
Test scoping of quantifiers
#20
jstolarek
closed
3 years ago
0
Instantiation of nested quantifiers broken
#19
jstolarek
closed
3 years ago
0
Test freezing of types without top-level quantifiers
#18
jstolarek
closed
3 years ago
1
Mixed-prefix unification
#17
jamescheney
closed
3 years ago
6
Polymorphism and binding
#16
jamescheney
closed
3 years ago
3
Alpha-equivalence
#15
jamescheney
closed
3 years ago
11
Monomorphism constraints
#14
frank-emrich
closed
3 years ago
4
Test nested lets
#13
jstolarek
closed
3 years ago
1
Segmentation fault
#12
jstolarek
opened
3 years ago
4
Inconsistent skolemization
#11
jstolarek
closed
3 years ago
3
Unbound generalizable variables
#10
jstolarek
closed
3 years ago
3
`let` signatures without quantifiers broken when type scheme inferred
#9
jstolarek
closed
3 years ago
4
Experimental skolem unification
#8
jstolarek
closed
3 years ago
5
Instantiation of nested quantifier might not work as expected
#7
jstolarek
closed
3 years ago
1
Using type schemes outside of their scope (E3∘ example)
#6
jstolarek
closed
3 years ago
9
Assertion in `register` always fails
#4
jstolarek
closed
4 years ago
4
Skolemization of quantifiers in a lambda binder type annotation
#3
jstolarek
closed
4 years ago
0
0 rank used when signature provided on a let binding
#2
jstolarek
closed
4 years ago
5
Debug output causes stack overflow with infinite types
#1
jstolarek
closed
4 years ago
0