Default template fails to run tests

[sboukortt]

(The binary is from yesterday.)

$ mint version
Mint 0.18.0-devel
$ mint init example
Mint - Initializing a new project
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
⚙ Creating directory: example
⚙ Writing initial files:
  ➔ assets
    ➔ favicon.png
    ➔ head.html
    ➔ style.css
  ➔ source
    ➔ Info.mint
    ➔ Link.mint
    ➔ Logo.mint
    ➔ logo.svg
    ➔ Main.mint
  ➔ tests
    ➔ Main.mint
  ➔ mint.json
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
All done in 11.013ms!
$ cd example
$ mint test
Mint - Running Tests
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
⚙ Ensuring dependencies... 606μs
⚙ Compiling tests...
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

░ TYPE ERROR ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░

I could not find a variable, function or property with the name: with

Here is the relevant code snippet:

┌─┬ tests/Main.mint:3:5 ───────────────────────────────────────────────────────┐
│1│ suite "Main" {                                                             │
│2│   test "Greets Mint" {                                                     │
│3│     with Test.Html {                                                       │
│4│       <Main/>                                                              │
│5│       |> start()                                                           │
│6│       |> assertTextOf("a", "Learn Mint")                                   │
│7│     }                                                                      │
└─┴────────────────────────────────────────────────────────────────────────────┘

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
There was an error, exiting...

Did something change in the way that Test.Html should be imported?

[sboukortt]

In mint.json, it also has name at the top level instead of inside application, and so manifest.webmanifest is generated with an empty name.

[gdotdesign]

This was fixed with the 0.20.0 release.