diff options
author | Paul Phillips <paulp@improving.org> | 2010-11-30 17:57:15 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-11-30 17:57:15 +0000 |
commit | 51e4a6a351a64a1bff995e1b5fefb88c7e2430eb (patch) | |
tree | 4253b1cd295417b235de10df0484861397c4eaec /build.xml | |
parent | 81f38907b838caa64d26b4ea49efe938a3d0673f (diff) | |
download | scala-51e4a6a351a64a1bff995e1b5fefb88c7e2430eb.tar.gz scala-51e4a6a351a64a1bff995e1b5fefb88c7e2430eb.tar.bz2 scala-51e4a6a351a64a1bff995e1b5fefb88c7e2430eb.zip |
Parser relaxation so that one can name the type...
Parser relaxation so that one can name the type variables in a
constructor pattern match: this is a prerequisite to realizing the full
potential of gadts. (Nothing new works here however.) No review.
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions