now supports printformatted booleans

sychoo · Jul 3, 2019 · 9346460 · 9346460
1 parent 503925f
commit 9346460
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/examples/tsls/formatstring.wyv b/examples/tsls/formatstring.wyv
@@ -69,7 +69,10 @@ def convStringAST(input : String, ctx : system.Context, floatPrecision : Int) :
                     val format : String = "%." + String.ofInt(floatPrecision) + "f"
                     option.Some[AST](ast.call(str, "ofFormattedFloat", {ast.string(format), exp}))
               else
-                option.None[AST]()
+                if (ast.types.equals(ty, ast.types.boolean(), ctx))
+                    option.Some[AST](ast.call(exp, "ifTrue", {ast.parseExpression("() => \"true\"", ctx), ast.parseExpression("() => \"false\"", ctx)}))
+                  else
+                    option.None[AST]()
 
 
 def parseExpr(input : String, ctx : system.Context) : ParsedExpr

diff --git a/examples/tsls/formatstringClient.wyv b/examples/tsls/formatstringClient.wyv
@@ -17,3 +17,5 @@ printf(~)
 val x = 3
 printf(~)
  %{x} %{4} %.5{1.6} %{1.7}
+
+printf({%{1 == 2}%{true}})