git.iko.soy/Idris-dev
on master help sign in
null primitive for the Java back end
5f47063Jan Bessai
src/IRTS/CodegenJava.hs+2
compare with master
unifiedsplit
@@ -515,6 +515,8 @@ mkExp pp (SOp LPar [arg]) =
515 (Nothing <>@! arg) >>= ppExp pp
515 (Nothing <>@! arg) >>= ppExp pp
516mkExp pp (SOp LNoOp args) =
516mkExp pp (SOp LNoOp args) =
517 (Nothing <>@! (last args)) >>= ppExp pp
517 (Nothing <>@! (last args)) >>= ppExp pp
518+mkExp pp (SOp LNullPtr args) =
519+ ppExp pp $ Lit Null
518mkExp pp (SOp op args) =
520mkExp pp (SOp op args) =
519 (mkPrimitiveFunction op args) >>= ppExp pp
521 (mkPrimitiveFunction op args) >>= ppExp pp
520
522