Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Eliminate UTF-8 chars in typing/parmatch.ml

master
David Allsopp 2018-06-07 10:04:25 +01:00
parent 94c1ebe288
commit e1270c41be
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typing/parmatch.ml
View File

@ -72,11 +72,11 @@ let zero = make_pat (Tpat_constant (Const_int 0)) Ctype.none Env.empty
S
-------> | "" |
U | S, "" | __/ | () |
--------> | _, () | \ ¬ S
--------> | _, () | \ not S
| U, _, () | __/ -------> | () |
| _, S, "" | \
---------> | S, "" | ----------> | "" |
¬ U S
not U S
v}
where following an edge labelled by a pattern P means "assuming the value I