search

GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
65 stars 11 forks source link

Inconsistent order of struct fields #279

Closed yav closed 2 years ago

yav commented 2 years ago

In the front-end code the order of struct fields is irrelevant, but we don't respect this in the compilation to VM, so the following results in incorrect code:

def P =
  block
    a = 'x'
    b = Many UInt8

def Main : P =
  block
    b = "bb"
    a = 'a'
yav commented 2 years ago

Fixed in dd392a52bad3b