X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=code%2FSokoban.dcl;h=f50328733a25bbd17fc72676072d349695bd17f4;hb=528cda8a5116dbed02a1e603d7fca2033dd0c100;hp=c23bf22651eb68bd4a73bae17ba4c3f853e1b410;hpb=d16ccad512857e1469e3b3cb7ff28abc6ca8a46a;p=mc1516pa.git

diff --git a/code/Sokoban.dcl b/code/Sokoban.dcl
index c23bf22..f503287 100644
--- a/code/Sokoban.dcl
+++ b/code/Sokoban.dcl
@@ -9,3 +9,6 @@ instance toString SokobanTile
 instance toString SokobanPuzzle
 
 parse :: String *World -> (SokobanPuzzle, *World)
+parseFromFile :: *File -> (SokobanPuzzle, *File)
+
+numberOfBlocks :: SokobanPuzzle -> Int