Gergő Érdi
Gergő Érdi
One problem I've run into (see https://github.com/avr-rust/rust/issues/47) is that Rust sometimes generates static lookup tables from code, then the generated AVR assembly tries accessing that data using `ld`. Of course,...
The input code here is a slight tweak of https://github.com/avr-rust/rust/issues/46, but the generated code is very different because it uses a lookup instead of bit-twiddling: Rust: ``` #[inline(never)] pub fn...
I've been struggling for a couple days now on why my CHIP-8 firmware doesn't work anymore, even when downgrading to the exact same rustc/llvm versions as before. Then I found...
Currently, functions like `countMin` and `countSuccOverflow` are marked in the documentation as internal implementation details that shouldn't be used by client code. But they (or something similar) would be very...
Let's say I have the following Haskell code (note: no LH annotations anywhere): ``` {-# LANGUAGE GADTs, DataKinds, TypeOperators, KindSignatures #-} module Main where import GHC.TypeLits data Unary (n ::...
Given the following module: ``` import GHC.TypeLits import GHC.Natural import Unsafe.Coerce {-@ embed Natural as int @-} -- See https://github.com/ucsd-progsys/liquidhaskell/issues/2095 workaround :: (n1 + 1) ~ (n2 + 1) =>...
I'm compiling the following four modules: ``` module A where {-@ data Dat = C1A | C2A @-} data Dat = C1A | C2A ``` ``` module B where {-@...
The following module demonstrates creating an un-indexed container `List` and a (`Nat`-)indexed container `Vec`, where refining the element type works for everything up to the definition of `ys1`. That is,...
I have the following code, reduced as far as I could: ``` #include #include #include #define nanowait() _NOP() int main () { /* Input trigger: PD0 */ DDRD |= _BV(DDD0);...
On a real ATMega328P, the following program strobes PORTB5 5 times, then stops: ``` #include #include #include int main () { DDRB |= _BV(DDB5); TCCR1B |= _BV(CS10); TCCR1B |= _BV(CS12);...