问题标签 [ident]

问问题

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

33 问题
Newest
Active
Bountied
318
Unanswered
0 投票
1 回答
53 浏览

compilation - Coq 问题。编译错误。[file-no-extension,filesystem] 和语法条目 "ident" 允许 "_"

我们是 coq 的初学者。以下是 Basic.v 中的代码

我们在编译一些现有文件时遇到了以下警告。

有两个警告和一个错误。

  1. [文件无扩展名，文件系统]。
    如果你能解释一下，你能告诉我们警告的含义吗？

  2. 警告：语法条目“ident”允许“_”我们无法理解上述语法警告的含义。你能告诉我们意思吗？

  3. 错误。无界。

非常感谢您提前

0 投票
1 回答
81 浏览

rust - 将 ty 转换为 macro_rules 中的 ident

我有一个macro_rules需要 afunction_name并调用function_name_x(). 现在我通过function_name作为一个传递ident，并通过创建新的函数名来做到这一点concat_idents!。

这种方法的问题是我的 IDE 没有对function_name部件进行 lint，因为它需要作为ident. 我想将其更改为 a，但如果我这样做，ty我将无法使用它。concat_idents!

有解决办法吗？

0 投票
0 回答
119 浏览

r - 如何使用 R 中的 FindMarkers 函数和 ident.1 参数在 Seurat 中查找集群的标记

我正在学习 Seurat 进行聚类并找到每个聚类的标记。我找到了使用该功能的集群

并获得 20 个簇（Idents(scRNA-seq) 显示级别 0,1,...,19）。我想为每个集群找到标记基因。但是，当我尝试

有错误信息

其余的 11、12、...、19 都发生了这种情况。但是，例如，这很好，

可以请任何人帮忙解决发生的事情吗？


12345678910