@@ -57,7 +57,7 @@ addDataConstructor moduleName dtype name args dctor tys = do
5757 let retTy = foldl TypeApp (TypeConstructor (Qualified (Just moduleName) name)) (map TypeVar args)
5858 let dctorTy = foldr function retTy tys
5959 let polyType = mkForAll args dctorTy
60− let fields = [Ident ("value" ++ show n) | n <- [0..length tys]]
60+ let fields = [Ident ("value" ++ show n) | n <- [0..(length tys - 1)]]
6161 putEnv $ env { dataConstructors = M.insert (Qualified (Just moduleName) dctor) (dtype, name, polyType, fields) (dataConstructors env) }
6262
6363addTypeSynonym :: ModuleName -> ProperName -> [(String, Maybe Kind)] -> Type -> Kind -> Check ()