asciilifeform: ( i could buy an old ppc , a la BingoBoingo , for fiddybux, but i'd like to go in direction of ~decreasing~ old iron collection, not growing... )
asciilifeform: 'Look at the summation, the sum is (A+B) + Carry, but the next carry is determined by just A, B and the Sum. Are we lucky this is correct?' << work it out on paper.
asciilifeform: "Do we need Word_Index or Indices?8". << yes, for proof of nonoverflow. and in general wherever i saw it possible to constrain a type, i constrained it. and will continue doing so.
asciilifeform: 'why not use the pragma Provide_Shift_Operators?' << it doesn't work on gnat2016, try it
asciilifeform: ( not to mention WBool, present in ch1, is constrained to arithmetize on 1bit. but indeed Word is smallest physical unit used, there is no byte-addressing in ffa )
asciilifeform: but i suppose you'll get to it at own pace.
asciilifeform: ave1: 'Word is the smallest unit used for the arithmetic in FFA' is not strictly true, there is a HalfWord ( see ch9 )
asciilifeform: for some reason all that comes to mind tho is that 1 fish where the ~male~ attaches, parasitizes, and jettisons the now-useless fins, mouth, arse, digestive tract, etc
asciilifeform: pretty sure there is >1 species of fish where -- this
asciilifeform: the item mircea_popescu gave, 'dex', is also on the conveyor, but will prolly have to wait for peacetime
asciilifeform noticed that the ro_eng_ascii.txt w4r3z was a mega-popular item in the machine log , for quite some time, and so went to put this flag on it.
