Coq依赖于重写的类型错误(Coq - dependent type error in rewrite)

 在文件夹中插入文件时 ，需要在文件的parents属性中指定正确的文件夹ID。 使用Python： 
 
folder_id = '0BwwA4oUTeiV1TGRPeTVjaWRDY1E'
file_metadata = {
  'name' : 'photo.jpg',
  'parents': [ folder_id ]
}
media = MediaFileUpload('files/photo.jpg',
                        mimetype='image/jpeg',
                        resumable=True)
file = drive_service.files().create(body=file_metadata,
                                    media_body=media,
                                    fields='id').execute()
print 'File ID: %s' % file.get('id')
 
 正如在Files：insert中进一步提到的那样，在请求体中设置parents[]属性会将文件放在所有提供的文件夹中。 如果parents[]字段中没有提供文件夹，则该文件将放在默认的根文件夹中。 
 
 希望有所帮助！ 

In inserting a file in a folder, you need to specify the correct folder ID in the parents property of the file. Using Python:
 
folder_id = '0BwwA4oUTeiV1TGRPeTVjaWRDY1E'
file_metadata = {
  'name' : 'photo.jpg',
  'parents': [ folder_id ]
}
media = MediaFileUpload('files/photo.jpg',
                        mimetype='image/jpeg',
                        resumable=True)
file = drive_service.files().create(body=file_metadata,
                                    media_body=media,
                                    fields='id').execute()
print 'File ID: %s' % file.get('id')
 
As further mentioned in Files: insert, setting the parents[] property in the request body will put the file in all of the provided folders. If no folders are provided in parents[] field, the file will be placed in the default root folder.
 
Hope that helps!