fix(compiler): Runtime error on compilation exported functions with top types [fixes LNG-218]

backend/ts/src/main/scala/aqua/backend/ts/TypeScriptCommon.scala

@@ -37,13 +37,26 @@ object TypeScriptCommon {
       s"{ ${st.fields.map(typeToTs).toNel.map(kv => kv._1 + ": " + kv._2 + ";").toList.mkString(" ")} }"
     case st: AbilityType =>
       s"{ ${st.fields.map(typeToTs).toNel.map(kv => kv._1 + ": " + kv._2 + ";").toList.mkString(" ")} }"
-    case st: ScalarType if ScalarType.number(st) => "number"
-    case ScalarType.bool => "boolean"
-    case ScalarType.string => "string"
-    case lt: LiteralType if lt.oneOf.exists(ScalarType.number) => "number"
-    case lt: LiteralType if lt.oneOf(ScalarType.bool) => "boolean"
-    case lt: LiteralType if lt.oneOf(ScalarType.string) => "string"
+    case st: ScalarType => st match {
+      case st: ScalarType if ScalarType.number(st) => "number"
+      case ScalarType.bool => "boolean"
+      case ScalarType.string => "string"
+      // unreachable
+      case _ => "any"
+    }
+    case lt: LiteralType => lt match {
+      case lt: LiteralType if lt.oneOf.exists(ScalarType.number) => "number"
+      case lt: LiteralType if lt.oneOf(ScalarType.bool) => "boolean"
+      case lt: LiteralType if lt.oneOf(ScalarType.string) => "string"
+      // unreachable
+      case _ => "any"
+    }
     case at: ArrowType => fnDef(at)
+    case TopType => "any"
+    case BottomType => "nothing"
+
+    // impossible. Made to avoid compilation warning
+    case t: CanonStreamType => "any"
   }
 
   // TODO: handle cases if there is already peer_ or config_ variable defined

integration-tests/aqua/examples/topbottom.aqua

@@ -0,0 +1,12 @@
+aqua TopBottom
+
+export S, topBottom
+
+-- this file should just compile
+
+service S(""):
+  top(t: ⊤) -> ⊤
+  bottom(b: ⊥) -> ⊥
+
+func topBottom(t: ⊤, b: ⊥) -> ⊤, ⊥:
+  <- S.top(t), S.bottom(b)