index
:
scala
2.10.x
2.11.x
2.12.x
2.8.x
2.9.x
SI-10027-test
gh-pages
javadoc
javadoc-dirty-hack
legacy/msil
scaladoc-include-assets
script-linux
wip-javadoc
The Scala programming language
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
files
/
neg
/
gadts2-strict.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
SI-6680 unsoundness in gadt typing.
Paul Phillips
2013-10-01
1
-0
/
+26
