Add -tp option for typechecking then pretty printing the result.
Add -tp option for typechecking then pretty printing the result.

diku-dk/futhark,mrakgr/futhark,mrakgr/futhark,CulpaBS/wbBach,HIPERFIT/futhark,ihc/futhark,ihc/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,ihc/futhark,diku-dk/futhark,mrakgr/futhark,HIPERFIT/futhark