diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-01-23 20:38:30 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-01-23 20:38:30 +0100 |
| commit | 285847e5e404bea2941f1ce4b15fb3c8c27993c2 (patch) | |
| tree | 2f323f80900f8178b0971150a4b7f51aac285478 /Makefile | |
| parent | fbed3a4b44823256f17c6a4473e0ec3f63792be6 (diff) | |
Code now typechecks
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ GHC = ghc -GHCFLAGS = -Wall -O3 +GHCFLAGS = -Wall -Wno-type-defaults -O3 TARGET = main |