Commit 6f882d65 authored by Michael Hanus 's avatar Michael Hanus

Exec spec fix

parent dcedbf85
......@@ -594,7 +594,7 @@ execSpecFromJObject :: [(String, JValue)] -> Either String PackageExecutable
execSpecFromJObject kv =
mandatoryString "name" kv $ \name ->
optionalString "main" kv $ \main ->
Right $ PackageExecutable name (maybe "" id main)
Right $ PackageExecutable name (maybe "Main" id main)
--- Reads a test suite specification from the key-value-pairs of a JObject.
testSuiteFromJObject :: [(String, JValue)] -> Either String PackageTests
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment