From 50e8668a3cc39a2bdcfdb7d13b506263307e5f45 Mon Sep 17 00:00:00 2001 From: Neil Smith Date: Tue, 3 Dec 2019 16:44:26 +0000 Subject: [PATCH] Updated readme for ghci calls --- README.html | 3 +++ README.md | 5 +++++ 2 files changed, 8 insertions(+) diff --git a/README.html b/README.html index 16c04e1..dd8744b 100644 --- a/README.html +++ b/README.html @@ -39,6 +39,9 @@
stack exec -- advent01 +RTS -K0 -RTS

Run interactively with

stack ghci advent01
+

or

+
stack ghci advent01:exe:advent01
+

if the first form is ambiguous.

To profile, use

stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts"

then run with

diff --git a/README.md b/README.md index d5207a3..3c08dac 100644 --- a/README.md +++ b/README.md @@ -61,6 +61,11 @@ Run interactively with ``` stack ghci advent01 ``` +or +``` +stack ghci advent01:exe:advent01 +``` +if the first form is ambiguous. To profile, use ``` -- 2.34.1