CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Formatting

Browse Source
This commit is contained in:
Denis Merigoux 2023-03-05 12:10:04 +01:00
parent 5398b1037f
commit 1fe3987168
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/desugared/ast.ml
View File

@ -32,14 +32,12 @@ module ScopeDef = struct
let compare x y =
match x, y with
| Var (x, stx), Var (y, sty) ->
(match ScopeVar.compare x y with
| 0 -> Option.compare StateName.compare stx sty
| n -> n)
| SubScopeVar (x', x, _), SubScopeVar (y', y, _) ->
(match SubScopeName.compare x' y' with
| 0 -> ScopeVar.compare x y
| n -> n)
| Var (x, stx), Var (y, sty) -> (
match ScopeVar.compare x y with
| 0 -> Option.compare StateName.compare stx sty
| n -> n)
| SubScopeVar (x', x, _), SubScopeVar (y', y, _) -> (
match SubScopeName.compare x' y' with 0 -> ScopeVar.compare x y | n -> n)
| Var _, _ -> -1
| _, Var _ -> 1