From c0a8706e3bca65129e5b0f8819a761b655a06211 Mon Sep 17 00:00:00 2001 From: Seabass Date: Sat, 5 Oct 2019 13:23:25 -0400 Subject: [PATCH] Distinguishes between wall facing, directions --- src/Game/Library.fs | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/src/Game/Library.fs b/src/Game/Library.fs index 0923ea6..4cee224 100644 --- a/src/Game/Library.fs +++ b/src/Game/Library.fs @@ -1,6 +1,7 @@ module Game.Game -type direction = + +type wallType = | NS | EW | NE @@ -9,8 +10,14 @@ type direction = | SW | Corner +type direction = +| North +| South +| East +| West + type env = - | Wall of direction + | Wall of wallType | Floor | Trap | Player