idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 12:42:02 +03:00
Code Issues Projects Releases Wiki Activity

fix switch from takeLast to extension

Browse Source
This commit is contained in:
Rui Barreiro 2020-07-06 20:36:48 +01:00
parent e8fc14e890
commit ca7a6cecff
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Compiler/ES/Javascript.idr
View File

@ -40,12 +40,18 @@ htmlFooter = concat $ the (List String) $
, "</html>"
]
addHeaderAndFooter : String -> String -> String
addHeaderAndFooter outfile es =
case toLower <$> extension outfile of
Just "html" => htmlHeader ++ es ++ htmlFooter
_ => es
||| Javascript implementation of the `compileExpr` interface.
compileExpr : Ref Ctxt Defs -> (tmpDir : String) -> (outputDir : String) ->
ClosedTerm -> (outfile : String) -> Core (Maybe String)
compileExpr c tmpDir outputDir tm outfile
= do es <- compileToJS c tm
let res = if toLower (extension outfile) == "html" then htmlHeader ++ es ++ htmlFooter else es
let res = addHeaderAndFooter outfile es
let out = outputDir </> outfile
Right () <- coreLift (writeFile out res)
| Left err => throw (FileErr out err)