Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
COOL
Commits
2cad9920
Unverified
Commit
2cad9920
authored
Jul 29, 2019
by
Merlin
💧
Browse files
Don't compare strings with ==
parent
45f5b043
Pipeline
#3116
passed with stages
in 9 minutes and 5 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
src/lib/CoAlgFormula.ml
View file @
2cad9920
...
...
@@ -1164,8 +1164,8 @@ and parse_rest symtab ts =
ENFORCES
(
ls
,
f1
)
|
"},("
->
let
mvs
=
movelist
")]"
in
let
f1
=
parse_rest
symtab
ts
in
NENFORCES
(
TList
.
nub
(
==
)
(
ls
@
List
.
map
agent_of_move
mvs
)
,
mvs
,
f1
)
|
_
->
A
.
printError
mk_exn
~
t
~
ts
"
\"
}]
\"
or
\"
},(
\"
expected
but got:
"
NENFORCES
(
TList
.
nub
(
fun
s
t
->
compare
s
t
=
0
)
(
ls
@
List
.
map
agent_of_move
mvs
)
,
mvs
,
f1
)
|
_
->
A
.
printError
mk_exn
~
ts
"
\"
}]
\"
or
\"
},(
\"
expected"
)
|
A
.
Kwd
"<{"
->
let
(
t
,
ls
)
=
agentlist
[
|
"}>"
;
"},("
|
]
in
...
...
@@ -1174,8 +1174,8 @@ and parse_rest symtab ts =
ALLOWS
(
ls
,
f1
)
|
"},("
->
let
mvs
=
movelist
")>"
in
let
f1
=
parse_rest
symtab
ts
in
NALLOWS
(
TList
.
nub
(
==
)
(
ls
@
List
.
map
agent_of_move
mvs
)
,
mvs
,
f1
)
|
_
->
A
.
printError
mk_exn
~
t
~
ts
"
\"
}>
\"
or
\"
},(
\"
expected
but got:
"
NALLOWS
(
TList
.
nub
(
fun
s
t
->
compare
s
t
=
0
)
(
ls
@
List
.
map
agent_of_move
mvs
)
,
mvs
,
f1
)
|
_
->
A
.
printError
mk_exn
~
ts
"
\"
}>
\"
or
\"
},(
\"
expected"
)
|
A
.
Kwd
"{>="
->
let
(
n
,
denom
,
s
)
=
boxinternals
false
"}"
in
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment