Tiark Rompf
Tiark Rompf
A `testutils` package seems like a good idea once we have things like e.g. random testing (which @GeorgOfenbeck is working on) but just for `FileDiffSuite` it seems a bit heavyweight....
Hey, I'll let @manojo comment. IIRC, there are some recent things in https://github.com/manojo/lamp-dp-mt
yeah, i think we can't rely on uses happening after creation.
Good point. I see `repProxy` more as a stepping stone though, something to start out with because it's convenient, and later you can switch to custom IR nodes when and...
Hi Julien, this sounds pretty cool. @Lewix also implemented some string interpolation support (https://github.com/TiarkRompf/virtualization-lms-core/pull/69); it would be nice to compare. For ADTs, I'm thinking this could be an alternative for...
Sorry, we didn't get around to fixing them yet. Many links reference publications on DBLP, like for example `DBLP:conf/oopsla/OderskyZ05`. These will need to be replaced by actual links to dblp.org...
See also #22: ``` scala val a = unit(1.0) val b = unit(1) val c = a + b // c has type Rep[Double] ```
Maybe we should just add explicit arithmetic for all primitive types instead of relying on `Numeric`.
done in bdc9803d8cf9389f17399a2b388f8cc6b0b61ca8
We could put it directly in `BaseExp`, but maybe it will work better to use a different trait that is mixed in on a higher level. After all we also...