git.iko.soy/Idris-dev
on master help sign in
buffers done
6f912c8Jan Bessai
src/IRTS/Java/JTypes.hs+1−1
compare with master
unifiedsplit
@@ -306,7 +306,7 @@ sourceTypes (LAllocate) = [addressType]
306sourceTypes (LAppendBuffer) =
306sourceTypes (LAppendBuffer) =
307 [bufferType, addressType, addressType, addressType, addressType, bufferType]
307 [bufferType, addressType, addressType, addressType, addressType, bufferType]
308sourceTypes (LSystemInfo) = [integerType]
308sourceTypes (LSystemInfo) = [integerType]
309−sourceTypes (LAppend nt _) = [bufferType, intTyToJType nt, addressType]
309+sourceTypes (LAppend nt _) = [bufferType, addressType, addressType, intTyToJType nt]
310sourceTypes (LPeek _ _) = [bufferType, addressType]
310sourceTypes (LPeek _ _) = [bufferType, addressType]
311sourceTypes (LFork) = [objectType]
311sourceTypes (LFork) = [objectType]
312sourceTypes (LPar) = [objectType]
312sourceTypes (LPar) = [objectType]