git.iko.soy/Idris-dev
on master help sign in
buffers done
commit6f912c88e8fcccbda65b01019fc89fa60f974c0a authorJan Bessai <Jan.Bessai@tu-dortmund.de> dateSat 7 Jun 2014, 22:00 (12 years ago) parentfca147b
1 file changed+1−1
compare with master
unifiedsplit
src/IRTS/Java/JTypes.hs+1−1
src/IRTS/Java/JTypes.hs+1−1
@@ -306,7 +306,7 @@ sourceTypes (LAllocate) = [addressType]
306306sourceTypes (LAppendBuffer) =
307307 [bufferType, addressType, addressType, addressType, addressType, bufferType]
308308sourceTypes (LSystemInfo) = [integerType]
309−sourceTypes (LAppend nt _) = [bufferType, intTyToJType nt, addressType]
309+sourceTypes (LAppend nt _) = [bufferType, addressType, addressType, intTyToJType nt]
310310sourceTypes (LPeek _ _) = [bufferType, addressType]
311311sourceTypes (LFork) = [objectType]
312312sourceTypes (LPar) = [objectType]