Constant project_init::includes::IDRIS_TEST [−] [src]

pub const IDRIS_TEST: &'static str = "module Test.Spec\n\nimport Specdris.Spec\n\nexport\n\nspecSuite : IO ()\nspecSuite = spec $ do\n  describe \"something trivial\" $\n    it \"should add two numbers correctly\" $\n      14 + 3 `shouldBe` 17\n"