diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-17 12:10:32 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
commit | 30af0b52e4e5b185ef84496559dc44c8d93d6357 (patch) | |
tree | cbe45d7337216a468b13986c08229a04d504ea19 /compiler/src/dotty/tools/dotc | |
parent | c7718516fdad609625215f4fb1c7cffe27db3af5 (diff) | |
download | dotty-30af0b52e4e5b185ef84496559dc44c8d93d6357.tar.gz dotty-30af0b52e4e5b185ef84496559dc44c8d93d6357.tar.bz2 dotty-30af0b52e4e5b185ef84496559dc44c8d93d6357.zip |
Disable -strict when compiling dotty.
It seems we need a more refined way to deal with non-variant variables
in pattern matches. See branch change-patmat-undet for a WIP. For the
moment we disable -strict to be able to compile latest version of dotty. (reverted from commit c8fe830f8a382eb965c2231064fa286ee8f0a4ec)
Diffstat (limited to 'compiler/src/dotty/tools/dotc')
0 files changed, 0 insertions, 0 deletions