gitlab-pages/website/docusaurus.config.js

@@ -108,7 +108,7 @@ const config = {
               },
               {
                 label: 'Discord',
-                href: 'https://discord.gg/9rhYaEt',
+                href: 'https://discord.gg/xtz',
               },
               {
                 label: 'Telegram',

gitlab-pages/website/src/pages/contact.js

@@ -49,7 +49,7 @@ const TEAM = [
 
 const COMMUNICATION_CHANNELS = [
   {
-    link: 'https://discord.gg/9rhYaEt',
+    link: 'https://discord.gg/xtz',
     icon: 'img/communication_channels/discord.svg',
     description: "Join our Discord server. We're here to help."
   },

src/passes/03-unification/cameligo/decompile.ml

@@ -72,6 +72,7 @@ and expr : (CST.expr, unit, CST.pattern, unit, unit) AST.expression_ -> CST.expr
   | E_literal Literal_unit -> CST.EUnit (w (ghost_lpar, ghost_rpar))
   | E_literal (Literal_int x) -> CST.EArith (Int (w (Z.to_string x, x)))
   | E_literal (Literal_nat x) -> CST.EArith (Nat (w (Z.to_string x, x)))
+  | E_literal (Literal_mutez x) -> CST.EArith (Mutez (w (Z.to_string x, Z.to_int64 x)))
   | _ ->
     failwith
       (Format.asprintf

src/passes/03-unification/jsligo/decompile.ml

@@ -71,8 +71,9 @@ and expr : (CST.expr, unit, CST.pattern, unit, unit) AST.expression_ -> CST.expr
     | _ -> failwith "Impossible")
   | E_literal Literal_unit -> CST.EUnit (w (ghost_lpar, ghost_rpar))
   | E_literal (Literal_int x) -> CST.EArith (Int (w (Z.to_string x, x)))
-  | E_literal (Literal_nat x) -> CST.EArith (Int (w (Z.to_string x, x)))
+  | E_literal (Literal_nat x) -> CST.EAnnot (w @@ (CST.EArith (Int (w (Z.to_string x,x))), ghost_as, CST.TVar (w "nat")))
   | E_literal (Literal_string x) -> CST.EString (String (w @@ Ligo_string.extract x))
+  | E_literal (Literal_mutez x) -> CST.EAnnot (w @@ (CST.EArith (Int (w (Z.to_string x,x))), ghost_as, CST.TVar (w "tez")))
   | _ ->
     failwith
       (Format.asprintf