Philip Munksgaard

Betydningen af pik

1

Den nuværende `betydning` er ret begrænset: Den kan ikke håndtere flere betydninger for samme ord ("pik" kan f.eks. både være et mandligt kønsorgan eller et lille hak), den kan ikke...

If you go to http://mosml.org/mosmllib/ and click on the Misc link under all structures, it leads to http://mosml.org/mosmllib/Misc.html, which returns a 404

OS.FileSys.tmpName should create a temporary file, not just name it

1

According to the documentation for OS.FileSys.tmpName, it should create a new temporary file: > This creates a new empty file with a unique name and returns the full pathname of...

Add an online futhark "playground"

4

Many languages have the ability to run in the browser, giving users a kind of "playground" for running small samples of code. It would be nice if we had something...

Add --skip-compilation flag to futhark test

1

In order to test manually altered IR, it would be nice to have a `--skip-compilation` flag for `futhark test`, just like we do for `futhark bench`.

Make it possible to run program from stdin or args

4

In python, you can write `python -c 'print(42)'` to start an interpreter on the input. Similarly, it would be nice to be able to write `futhark run -c 'iota 42'`...

Add `Stream` mock to `tokio-test`

22

**Is your feature request related to a problem? Please describe.** I want to test streams wrapped in [tokio_serde](https://docs.rs/tokio-serde/0.8.0/tokio_serde/index.html), but that's not currently possible. **Describe the solution you'd like** Make [`Action`](https://docs.rs/tokio-test/0.4.2/src/tokio_test/io.rs.html#58)...

Enums with numbers at the beginning generate invalid code

6

I have the following graphql enum: ```graphql enum Timeframe { _1MONTH _2MONTHS _3MONTHS _6MONTHS _1YEAR _2YEARS _3YEARS _5YEARS _10YEARS INDEFINITE } ``` which elm-graphql 1.0.7 turns into the following elm...

Navbar: Big customItems make normal menu items lose center alignment

1

Example: https://ellie-app.com/48ssjKSWZdwa1 Because the image is slightly larger than the text, the menu items don't appear vertically centered in the navbar. Curiously, the brand item is still vertically centered. I...