trefis/existentialism
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
is a humanism
4 commits 1 branch 0 tags 29 KiB
  • OCaml 94.1%
  • Makefile 3.7%
  • Shell 2.2%
Find a file
Exact
Thomas Refis 33890d97fb GPR#1951 doesn't count existentials; it counts idents
2018-08-03 10:12:05 +01:00
over_999 over 1k existential: compiles fine 2018-08-03 10:12:05 +01:00
too_many_existentials GPR#1951 doesn't count existentials; it counts idents 2018-08-03 10:12:05 +01:00
wrong-escape too many new ids during pattern typing => wrong existential scope 2018-08-03 10:12:05 +01:00