idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-19 09:17:29 +03:00
Code Issues Projects Releases Wiki Activity

[ fix ] generate lower level IRs if the option to dump that use phase is selected

Browse Source
This commit is contained in:
Zoe Stafford 2021-06-24 09:52:51 +01:00 committed by G. Allais
parent d5167a0108
commit deb90a6de2
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Compiler/Common.idr
View File

@ -284,9 +284,11 @@ nonErased n
export
getCompileData : {auto c : Ref Ctxt Defs} -> (doLazyAnnots : Bool) ->
UsePhase -> ClosedTerm -> Core CompileData
getCompileData doLazyAnnots phase tm_in
getCompileData doLazyAnnots phase_in tm_in
= do defs <- get Ctxt
sopts <- getSession
let phase = foldl {t=List} (flip $ maybe id max) phase_in $
[Cases <$ dumpcases sopts, Lifted <$ dumplifted sopts, ANF <$ dumpanf sopts, VMCode <$ dumpvmcode sopts]
let ns = getRefs (Resolved (-1)) tm_in
tm <- toFullNames tm_in
natHackNames' <- traverse toResolvedNames natHackNames