Update invaders

idris-hackers · Jan 20, 2016 · d4f999c · d4f999c
1 parent 2af884e
commit d4f999c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/Invaders/Rnd.idr b/Invaders/Rnd.idr
@@ -5,8 +5,7 @@ import Effects
 data Random : Effect where
      GetRandom : Random Int Int (\v => Int)
 
-using (m : Type -> Type)
-  instance Handler Random m where
+Handler Random m where
      handle seed GetRandom k
               = let seed' = assert_total ((1664525 * seed + 1013904223) `prim__sremInt` (pow 2 32)) in
                     k seed' seed'

diff --git a/Invaders/invaders.ipkg b/Invaders/invaders.ipkg
@@ -1,7 +1,7 @@
 package invaders
 
 modules = Starfield, Gamestate, Aliens, Rnd, Main 
-opts = "-p effects -p sdl --warnreach --dumpcases invaders.dc" 
+opts = "-p effects -p sdl --warnreach" 
 
 executable = invaders
 main = Main