diff options
Diffstat (limited to 'emit.fun')
-rw-r--r-- | emit.fun | 8 |
1 files changed, 1 insertions, 7 deletions
@@ -55,10 +55,6 @@ functor Emit(I: IL) = struct fprint `cmd `" " W w % end - fun emitScalarIni size w = ( - fprint `"\t" %; dd size w; fprint `"\n" % - ) - fun emitAggrLayout id = let val (_, size, layout) = D.get P.iniLayouts id @@ -93,13 +89,11 @@ functor Emit(I: IL) = struct fun emitLayout (id, _, t, ini, _) = let val align = P.alignOfType t - val size = P.sizeOfType t val () = fprinttn `"align\t" W align % val () = fprint PP.? id `":" % in case ini of - P.CiniConst w => emitScalarIni size w - | P.CiniLayout id => emitAggrLayout id + P.CiniLayout id => emitAggrLayout id | P.CiniExpr _ => raise Unreachable end in |