Fix desugaring of core cong

RE #13
the-little-typer · Mar 8, 2018 · 026bfa0 · 026bfa0
1 parent 28fe6d4
commit 026bfa0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resugar.rkt b/resugar.rkt
@@ -84,7 +84,7 @@
              `(replace (the ,(cdr resugared-t) ,(cdr resugared-tgt))
                        ,(cdr resugared-mot)
                        ,(cdr resugared-base))))]
-    [`(cong ,t ,tgt ,fun)
+    [`(cong ,tgt ,t ,fun)
      (let ((resugared-tgt (resugar* tgt))
            (resugared-fun (resugar* fun)))
        (cons (append (car resugared-tgt) (car resugared-fun))