@@ -57,7 +57,7 @@ addDataConstructor moduleName dtype name args dctor tys = do
57 let retTy = foldl TypeApp (TypeConstructor (Qualified (Just moduleName) name)) (map TypeVar args)
57 let retTy = foldl TypeApp (TypeConstructor (Qualified (Just moduleName) name)) (map TypeVar args)
58 let dctorTy = foldr function retTy tys
58 let dctorTy = foldr function retTy tys
59 let polyType = mkForAll args dctorTy
59 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)]]
61 putEnv $ env { dataConstructors = M.insert (Qualified (Just moduleName) dctor) (dtype, name, polyType, fields) (dataConstructors env) }
61 putEnv $ env { dataConstructors = M.insert (Qualified (Just moduleName) dctor) (dtype, name, polyType, fields) (dataConstructors env) }
63addTypeSynonym :: ModuleName -> ProperName -> [(String, Maybe Kind)] -> Type -> Kind -> Check ()
63addTypeSynonym :: ModuleName -> ProperName -> [(String, Maybe Kind)] -> Type -> Kind -> Check ()