Skip to content

Implement unused (renamed to ghost terms) #3342

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 27 commits into from
Feb 21, 2018
Merged

Implement unused (renamed to ghost terms) #3342

Changes from 1 commit
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
4b81aae
Implement unused values
nicolasstucki Oct 3, 2017
ea4c483
Transform unused arguments to dummy values in typer
nicolasstucki Nov 16, 2017
cf52f93
Re-enable unused vals and defs
nicolasstucki Nov 16, 2017
85f9a70
Move NoInit checks to Mixin
nicolasstucki Dec 11, 2017
5e774d7
Add modifier to NonEmptyFunction and replace ImplicitFunction
nicolasstucki Dec 11, 2017
68ea63c
Document UnusedFunctionN and UnusedImplicitFunctionN
nicolasstucki Dec 11, 2017
7474ba3
Reformat code of UnusedFunctions in NameOpts
nicolasstucki Dec 11, 2017
e755dd8
Remove unnecessary early removal of unused prameters
nicolasstucki Dec 12, 2017
2177da5
Move error for unused case accessors
nicolasstucki Dec 12, 2017
724bf9c
Improve error message
nicolasstucki Dec 12, 2017
f1aa9fc
Remove unnecessary removal of unused accessors
nicolasstucki Dec 12, 2017
ae8f80e
Remove Nothing restriction on unused parameters
nicolasstucki Dec 12, 2017
81ec565
Change error message
nicolasstucki Dec 12, 2017
dd661dd
Remove special case for unused closure
nicolasstucki Dec 12, 2017
6a40b84
Keep stable unused arguments
nicolasstucki Dec 12, 2017
aa53182
Add documentation
nicolasstucki Dec 12, 2017
aba82ba
Complete doc of FunArgMods
nicolasstucki Dec 13, 2017
7c4662d
Use set for funArgMods
nicolasstucki Dec 13, 2017
ce2d805
Add missing syntax for FunArgMods
nicolasstucki Dec 13, 2017
544c8d5
Improve variable names
nicolasstucki Dec 13, 2017
f10f2d0
Improve comment
nicolasstucki Dec 13, 2017
ddf5b2c
Fix synthetic methods of value class with unused params
nicolasstucki Dec 14, 2017
7f81bc3
Make Unused flag a term flag only
nicolasstucki Dec 14, 2017
c877473
Add rules
nicolasstucki Jan 12, 2018
ed50958
Fix documentation
nicolasstucki Jan 23, 2018
c040798
Move methods from UnusedUtil to Applications
nicolasstucki Jan 23, 2018
68afbcd
Update unused parameter doc
nicolasstucki Feb 21, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Keep stable unused arguments
  • Loading branch information
@nicolasstucki
nicolasstucki committed Feb 15, 2018
commit 6a40b84e55e6605b7811b35e5a3fc823c05e6aa0
3 changes: 2 additions & 1 deletion compiler/src/dotty/tools/dotc/typer/Typer.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2135,7 +2135,8 @@ class Typer extends Namer
if (!wtp.isUnusedMethod) args
else args.map { arg =>
arg.tpe match {
case _: AmbiguousImplicits | _: SearchFailureType => arg
case tpe if tpe.isStable => arg
case _: AmbiguousImplicits => arg
case tpe => defaultValue(tpe)
}
}
Expand Down