You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I tried to initialize a project from the templates in the templates subdirectory.
The initialization works but then I cannot build either one of them.
baseDhall.inigo
$ inigo init MyNameSpace BaseDhall ../templates/baseDhall.inigo
Initializing new inigo application MyNameSpace.BaseDhall from template ../templates/baseDhall.inigo
Successfully built ../templates/baseDhall.inigo
$ inigo build
1/1: Building Main (./Main.idr)
Uncaught error: EmptyFC:No main module given
Main.idr looks like this:
module Main
main : IO ()
main = do
putStrLn "Hello from MyNameSpace.BaseDhall"
baseWithTests.inigo
$ inigo init MyNameSpace BaseWithTests ../templates/baseWithTests.inigo
Initializing new inigo application MyNameSpace.BaseWithTests from template ../templates/baseWithTests.inigo
Successfully built ../templates/baseWithTests.inigo
$ inigo build
Uncaught error: Parse errors ([("Inigo.ipkg":3:10--3:11, "Expected end of input.")])
Inigo.ipkg looks like this:
package
modules = Main
sourcedir = ""
builddir = "build"
version = 0.0.1
main = Main
executable = BaseWithTests
The text was updated successfully, but these errors were encountered:
I tried to initialize a project from the templates in the
templates
subdirectory.The initialization works but then I cannot build either one of them.
baseDhall.inigo
Main.idr
looks like this:baseWithTests.inigo
Inigo.ipkg
looks like this:The text was updated successfully, but these errors were encountered: