idris-lang/Idris-dev — pull request #580 by eamsden (2013-11-01 19:50:29+00:00)
Title: Add null pointer primitive

Add a null pointer primitive to Idris, and do code generation for C. (Forthcoming code generation for other backends.) This is particularly useful for calling foreign C functions, as they frequently use NULL to represent declining to supply an optional argument.