use kotlin's tailrec for TCO

csicar · Sep 21, 2019 · 5b610a3 · 5b610a3
1 parent 50ea344
commit 5b610a3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -140,7 +140,7 @@ ToDos
 - [x] Build cache
  - [x] use Shake
 - [x] `--run` for spago CLI spec
-- [ ] TCO
+- [x] TCO: through Kotlin's `tailrec`
 - [ ] expand inlining
   - [x] `$`
   - [ ] `>`, `>=` ...

diff --git a/src/CodeGen/Printer.hs b/src/CodeGen/Printer.hs
@@ -113,7 +113,7 @@ printExprAlg (LambdaF arg (_, body)) = braces $ (<> line') $ nest' $
 printExprAlg (DeferF (Stmt _, body)) = "/* defer **/" <> body
 printExprAlg (DeferF (_, body)) = ("/* defer */" <>) $ braces $ nest' body
 printExprAlg (FunF mName args (_, body)) = 
-   "fun" <+> maybe "" printKtIdent mName <> parens (commaSep $ (<+> ": Any") . printKtIdent <$> args) <> ": Any =" <+> body
+   "tailrec fun" <+> maybe "" printKtIdent mName <> parens (commaSep $ (<+> ": Any") . printKtIdent <$> args) <> ": Any =" <+> body
 printExprAlg (PropertyF (_, a) (_, b)) = align $ nest' $ a <> line' <> "."  <> b
 printExprAlg (FunRefF qualIdent) = parens $ "::" <> printQualified printKtIdent qualIdent
 printExprAlg (ConstF lit) = printLiteral lit