Philip Munksgaard

Results 119 comments of Philip Munksgaard

Here's what I recently experienced: I have the following schema: ```sql create schema test; create table test.user ( id SERIAL PRIMARY KEY, name TEXT NOT NULL ); create table test.file...

@micimize Good catch! I'll try it out, but I suppose you're right. Out of curiosity, how would you treat the case above? Would a simple `create unique index on test.user_file...

I'm all for simplifying the handling of LMADs. At the very least, it would be interesting to see what the performance impact would be.

I just spent a bit of time trying this out (https://github.com/diku-dk/futhark/commit/808c70b477482ca7822362d8e9eedbba6542b21a) and it turns out that prettyprinter doesn't support precedence handling ([pprPrec](https://hackage.haskell.org/package/mainland-pretty-0.7.0.1/docs/Text-PrettyPrint-Mainland-Class.html#v:pprPrec)). It seems like we use pprPrec quite a...

Extra points for being usable for reporting ICEs. Eg. if I found a compiler bug, I would like to be able to save the code producing the bug as a...

Simplest possible design: A frontend that sends code stumps to a backend. The backend runs the code using the latest nightly and returns the result.

However, it would be nice if we could also run literate programs, test datasets and so on.

Hm, I'm not sure I like the aesthetics of this. Of course, you'll save writing a keyword here and there, but I don't feel like there's any real benefit to...

Do we have many programs that are so deeply indented that this will cause a significant difference?