diff options
author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-03 15:04:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-03 15:04:32 +0100 |
commit | 06d3f7aefa620ce006008955203d7f8f8dc7b605 (patch) | |
tree | 1f8cc896502bb3e0323a9c0e7ed49a7b9abc6ec2 /docs/.gitignore | |
parent | 761b1fd116ddbf24e54dc46f85017f6ee2397142 (diff) | |
parent | 7c7c1f0e55194c4902b9c3ffa1322349aaf553dc (diff) | |
download | dotty-06d3f7aefa620ce006008955203d7f8f8dc7b605.tar.gz dotty-06d3f7aefa620ce006008955203d7f8f8dc7b605.tar.bz2 dotty-06d3f7aefa620ce006008955203d7f8f8dc7b605.zip |
Merge pull request #2039 from dotty-staging/add-refined-assert
Add assert that refine infos are legal wrt refined names
Diffstat (limited to 'docs/.gitignore')
0 files changed, 0 insertions, 0 deletions