Examples of dumpLintWarnings()

• org.openquark.cal.compiler.SourceMetrics.dumpLintWarnings()
  Dump any lint warnings associated with the workspace to the system console. @param moduleFilter Filter for deciding which modules will be processed with lint. Cannot be null. @param functionFilter Filter for deciding which functions will be processed. Cannot be null. @param traceSkippedModulesAndFunctions If true, every module and function skipped will be dumped to the console.If false, modules/functions that are skipped will be skipped silently. @param includeUnplingedPrimitiveArgs When true, dump warnings about unplinged primitive arguments @param includeRedundantLambdas When true, dump warnings about potentially redundant lambdas @param includeUnusedPrivates When true, check for unused private top-level functions. @param includeMismatchedAliasPlings When true, check for alias functions whose plinging is not compatible with that of the underlying data constructor / foreign function. The strictness of an alias is compatible with that of an aliased function when the same arguments are plinged, up to the last plinged argument of the alias. In other words, it's okay for an aliased function to have extra plinged arguments to the right of the last pling on the alias, but otherwise they must match exactly. Ex: alpha x y z = delta x y z; beta x !y z = delta x y z; gamma !x y z = delta x y z; delta x !y !z = ...; epsilon x y !z = zeta x y z; zeta !x y !z = ...; In the above code, alpha has compatible strictness with delta, because alpha doesn't have any plinged arguments. beta has compatible strictness with delta, because the first and second arguments have the same plings; the third argument doesn't need to have the same strictness because the second argument is beta's last plinged argument. gamma and delta do _not_ have compatible strictness, because gamma's first argument is plinged and delta's is not. epsilon and zeta also don't have compatible strictness, because the first argument's strictness does not match (which is important because the third argument is epsilon's rightmost strict argument). @param includeUnreferencedLetVariables When true, check for let definitions thataren't referenced.

Examples of org.openquark.cal.compiler.SourceMetrics.dumpLintWarnings()