fixing a warning

Author: rodrigogribeiro

src/Solcore/Desugarer/DecisionTreeCompiler.hs

@@ -81,8 +81,8 @@ instance Compile (ContractDecl Id) where
   compile d = pure d
 
 instance Compile (Constructor Id) where
-  compile (Constructor ps bd payable inits) =
-    (\bd' -> Constructor ps bd' payable inits) <$> compile bd
+  compile (Constructor ps bd payable ins) =
+    (\bd' -> Constructor ps bd' payable ins) <$> compile bd
 
 instance Compile (FunDef Id) where
   compile (FunDef p sig bd) =

src/Solcore/Frontend/Pretty/SolcorePretty.hs

@@ -164,17 +164,17 @@ instance (Pretty a) => Pretty (ContractDecl a) where
     ppr c
 
 instance (Pretty a) => Pretty (Constructor a) where
-  ppr (Constructor ps bd payable inits) =
+  ppr (Constructor ps bd payable ins) =
     (if payable then text "payable" <+> text "constructor" else text "constructor")
       <+> pprParams ps
-      <+> pprCtorInits inits
+      <+> pprCtorInits ins
       <+> lbrace
       $$ nest 3 (vcat (map ppr bd))
       $$ rbrace
 
 pprCtorInits :: (Pretty a) => [(Name, [Exp a])] -> Doc
 pprCtorInits [] = empty
-pprCtorInits inits = text ":" <+> commaSep [ppr b <> parens (commaSep (map ppr es)) | (b, es) <- inits]
+pprCtorInits ins = text ":" <+> commaSep [ppr b <> parens (commaSep (map ppr es)) | (b, es) <- ins]
 
 instance Pretty DataTy where
   ppr (DataTy n ps cs ds) =

src/Solcore/Frontend/TypeInference/SccAnalysis.hs

@@ -224,8 +224,8 @@ instance Names (FunDef Name) where
     names sig `union` names bdy
 
 instance Names (Constructor Name) where
-  names (Constructor ps bdy _ inits) =
-    names ps `union` names bdy `union` names (concatMap snd inits)
+  names (Constructor ps bdy _ ins) =
+    names ps `union` names bdy `union` names (concatMap snd ins)
 
 instance Names (Class Name) where
   names (Class _ ctx _ _ _ sigs) =

src/Solcore/Frontend/TypeInference/TcSubst.hs

@@ -432,11 +432,11 @@ instance (HasType a) => HasType (Field a) where
   bv (Field _ t me) = bv t `union` bv me
 
 instance (HasType a) => HasType (Constructor a) where
-  apply s (Constructor ps bd payable inits) =
-    Constructor (apply s ps) (apply s bd) payable [(b, apply s es) | (b, es) <- inits]
-  fv (Constructor ps bd _ inits) =
-    fv ps `union` fv bd `union` fv (concatMap snd inits)
-  mv (Constructor ps bd _ inits) =
-    mv ps `union` mv bd `union` mv (concatMap snd inits)
-  bv (Constructor ps bd _ inits) =
-    bv ps `union` bv bd `union` bv (concatMap snd inits)
+  apply s (Constructor ps bd payable ins) =
+    Constructor (apply s ps) (apply s bd) payable [(b, apply s es) | (b, es) <- ins]
+  fv (Constructor ps bd _ ins) =
+    fv ps `union` fv bd `union` fv (concatMap snd ins)
+  mv (Constructor ps bd _ ins) =
+    mv ps `union` mv bd `union` mv (concatMap snd ins)
+  bv (Constructor ps bd _ ins) =
+    bv ps `union` bv bd `union` bv (concatMap snd ins)