id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
42,Support unboxed CAFs,benl,,"With this file
{{{
upi     = 3.14159#
main () = putStr $ show (boxFloat32 upi)
}}}

We currently get:

{{{
benl@humboldt:~/devel/ddc/ddc-head-work$ bin/ddc -make test/Broken-skip/TopLevelUnboxed/Main.ds 
[1 of 1] Compiling Main
./test/Broken-skip/TopLevelUnboxed/Main.ddc.c: In function ‘_ddcInitModule_Main’:
./test/Broken-skip/TopLevelUnboxed/Main.ddc.c:15: error: incompatible types in assignment
./test/Broken-skip/TopLevelUnboxed/Main.ddc.c: In function ‘Main_main’:
./test/Broken-skip/TopLevelUnboxed/Main.ddc.c:52: error: incompatible type for argument 1 of ‘_boxFloat32’
}}}",enhancement,closed,normal,0.1.5,Core to Sea Translation,0.1.2,fixed,,