only gradual mode

Reviewed By: VLanvin

Differential Revision: D59971569

fbshipit-source-id: 93fdc6eb83ff3240e445152430b9063df7c1732f

Author: ilya-klyuchnikov

eqwalizer/src/main/resources/application.conf

@@ -4,8 +4,6 @@ eqwalizer {
     code_width = 100
     ast_dir = elp-ast
     ast_dir = ${?EQWALIZER_ELP_AST_DIR}
-    gradual_typing = true
-    gradual_typing = ${?EQWALIZER_GRADUAL_TYPING}
     approximate_complex_types = true
     eqwater = true
     eqwater = ${?EQWALIZER_EQWATER}

eqwalizer/src/main/scala/com/whatsapp/eqwalizer/Pipeline.scala

@@ -47,10 +47,7 @@ object Pipeline {
             case (_, Some(overloadedSpec)) =>
               checkOverloadedFun(ctx, f, overloadedSpec)
             case _ =>
-              if (ctx.gradualTyping)
-                checkFun(ctx, f, getDynamicFunSpecType(f))
-              else
-                NoSpecFuncDecl(f.id)(f.pos)
+              checkFun(ctx, f, getDynamicFunSpecType(f))
           }
           if (noCheckFuns.contains(f.id)) {
             result.addOne(applyNowarnToFun(f, checkedF, noCheckFuns(f.id)))
@@ -77,11 +74,6 @@ object Pipeline {
     result.toList
   }
 
-  def traverseForms(forms: List[ExternalForm], listener: AstListener): Unit = {
-    val traverse = new Traverse(listener)
-    traverse.traverseForms(forms)
-  }
-
   private def getDynamicFunSpecType(f: FunDecl): FunSpec =
     FunSpec(f.id, FunType(Nil, List.fill(f.id.arity)(DynamicType), DynamicType))(f.pos)
 

eqwalizer/src/main/scala/com/whatsapp/eqwalizer/ast/AstListener.scala

@@ -80,7 +80,6 @@ object Forms {
   case class InvalidRecDecl(name: String, te: Invalid)(val pos: Pos) extends InvalidForm
   case class InvalidConvertTypeInRecDecl(name: String, te: Invalid)(val pos: Pos) extends InvalidForm
 
-  case class NoSpecFuncDecl(id: Id)(val pos: Pos) extends InternalForm
   case class FuncDecl(id: Id, errors: List[TypeError])(val pos: Pos) extends InternalForm
   case class MisBehaviour(te: BehaviourError)(val pos: Pos) extends InternalForm
 

eqwalizer/src/main/scala/com/whatsapp/eqwalizer/ast/Forms.scala

@@ -116,8 +116,8 @@ case class Show(pipelineContext: Option[PipelineContext]) {
           if !forceShowModule &&
             ((rid.module == "erlang" && builtinTypes.contains(rid.name)) ||
               rid.module == ctx.module ||
-              (ctx.gradualTyping && rid == RemoteId("eqwalizer", "dynamic", 0)) ||
-              (ctx.gradualTyping && rid == RemoteId("eqwalizer", "dynamic", 1))) =>
+              (rid == RemoteId("eqwalizer", "dynamic", 0)) ||
+              (rid == RemoteId("eqwalizer", "dynamic", 1))) =>
         rid.name
       case _ => s"${rid.module}:${rid.name}"
     }