cucapra/dahlia

Compiler doesn't seem to catch argument mismatch

Closed this issue · 1 comments

sa2257 commented

This is fine I suppose. Just noting it down.

This passes the compiler

def aes_expandEncKey (k: ubit<8>[32], rc: ubit<8>, sbox: ubit<8>[256]){
}

...
aes_expandEncKey(key,rcon);
...