nerf Main

package.nix

@@ -4,7 +4,7 @@
   stdenv,
   ...
 }: let
-  ghcExeOptions = "-O -Wall -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N";
+  ghcExeOptions = "-O -Wall -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N -main-is Examples.main";
   ghcPackages = p: [
     p.relude
     p.pretty-simple
@@ -22,7 +22,7 @@ in
     configurePhase = ''
     '';
     buildPhase = ''
-      ghc ${ghcExeOptions} ./Main.hs -o ./Main
+      ghc ${ghcExeOptions} ./Examples.hs -o ./Main
     '';
     installPhase = ''
       mkdir -p $out/bin

src/Examples.hs

@@ -1,7 +1,7 @@
 {-# LANGUAGE NoImplicitPrelude #-}
 {-# LANGUAGE OverloadedStrings #-}
 
-module Main (main) where
+module Examples (main) where
 
 -- IMPORTS --