Permalink
Browse files

[fix] Added type constraint to prevent value restriction from rejecting.

  • Loading branch information...
1 parent d21c665 commit 795c7dd93591d43bd0a39ca3861488f494039cb7 @fpessaux fpessaux committed with Mathieu Barbin Nov 30, 2010
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/game.opa
View
@@ -358,7 +358,7 @@ type Game.state = {
status(grid) : Game.status =
// fake implementation, just for testing
fst = GameParameters.first_player
- snd = GameContent.neg_player(fst)
+ (snd : Game.player) = GameContent.neg_player(fst)
n_fst =
fst = @opensums(fst) : Game.content
GameUtils.count(grid, fst)

0 comments on commit 795c7dd

Please sign in to comment.