Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
dotNET Platform
fsharp
提交
74196aec
F
fsharp
项目概览
dotNET Platform
/
fsharp
12 个月 前同步成功
通知
0
Star
1
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
F
fsharp
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
74196aec
编写于
10月 31, 2019
作者:
T
TIHan
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Moved local rec functions into top module
上级
8ddce912
变更
1
显示空白变更内容
内联
并排
Showing
1 changed file
with
34 addition
and
32 deletion
+34
-32
src/fsharp/IlxGen.fs
src/fsharp/IlxGen.fs
+34
-32
未找到文件。
src/fsharp/IlxGen.fs
浏览文件 @
74196aec
...
...
@@ -4858,25 +4858,25 @@ and GenJoinPoint cenv cgbuf pos eenv ty m sequel =
// go to the join point
Br
afterJoin
,
afterJoin
,
stackAfterJoin
,
sequel
// Accumulate the decision graph as we go
and
GenDecisionTreeAndTargets
cenv
cgbuf
stackAtTargets
eenv
tree
targets
repeatSP
sequel
:
(
Queue
<
unit
->
(
IlxGenEnv
*
EmitSequencePointState
*
Expr
*
sequel
)
option
>)
=
let
rec
genDecisions
targetInfos
decisions
(
queue
:
Queue
<_>)
=
and
GenPostponedAndQueueTargets
cenv
cgbuf
(
queue
:
Queue
<_>)
targetInfos
stackAtTargets
sequel
=
match
targetInfos
with
|
[]
->
None
|
(
KeyValue
(_,
(
targetInfo
,
isTargetPostponed
)))
::
rest
->
if
isTargetPostponed
then
queue
.
Enqueue
(
fun
()
->
GenPostponedAndQueueTargets
cenv
cgbuf
queue
rest
stackAtTargets
sequel
)
Some
(
GenDecisionTreeTarget
cenv
cgbuf
stackAtTargets
targetInfo
sequel
)
else
GenPostponedAndQueueTargets
cenv
cgbuf
queue
rest
stackAtTargets
sequel
and
GenDecisionTreesAndQueueTargets
cenv
cgbuf
(
queue
:
Queue
<_>)
targetInfos
decisions
stackAtTargets
targets
repeatSP
sequel
=
match
decisions
with
|
[]
->
let
remaining
=
let
sortedTargetInfos
=
targetInfos
|>
Seq
.
sortBy
(
fun
(
KeyValue
(
targetIdx
,
_))
->
targetIdx
)
|>
Seq
.
filter
(
fun
(
KeyValue
(_,
(_,
isTargetPostponed
)))
->
isTargetPostponed
)
|>
List
.
ofSeq
let
rec
genRemaining
remaining
(
queue
:
Queue
<_>)
=
match
remaining
with
|
[]
->
None
|
(
KeyValue
(_,
(
targetInfo
,
_)))
::
rest
->
queue
.
Enqueue
(
fun
()
->
genRemaining
rest
queue
)
Some
(
GenDecisionTreeTarget
cenv
cgbuf
stackAtTargets
targetInfo
sequel
)
genRemaining
remaining
queue
GenPostponedAndQueueTargets
cenv
cgbuf
queue
sortedTargetInfos
stackAtTargets
sequel
|
(
inplabOpt
,
eenv
,
tree
)
::
rest
->
match
tree
with
...
...
@@ -4884,16 +4884,18 @@ and GenDecisionTreeAndTargets cenv cgbuf stackAtTargets eenv tree targets repeat
let
targetInfos
,
genTargetInfoOpt
=
GenDecisionTreeSuccess
cenv
cgbuf
inplabOpt
stackAtTargets
eenv
es
targetIdx
targets
repeatSP
targetInfos
sequel
match
genTargetInfoOpt
with
|
Some
_
->
queue
.
Enqueue
(
fun
()
->
genDecisions
targetInfos
rest
queue
)
queue
.
Enqueue
(
fun
()
->
GenDecisionTreesAndQueueTargets
cenv
cgbuf
queue
targetInfos
rest
stackAtTargets
targets
repeatSP
sequel
)
genTargetInfoOpt
|
_
->
genDecisions
targetInfos
rest
queue
GenDecisionTreesAndQueueTargets
cenv
cgbuf
queue
targetInfos
rest
stackAtTargets
targets
repeatSP
sequel
|
_
->
let
newDecisions
=
GenDecisionTreeAndTargetsInner
cenv
cgbuf
inplabOpt
stackAtTargets
eenv
tree
targets
repeatSP
targetInfos
sequel
genDecisions
targetInfos
(
newDecisions
@
rest
)
queue
GenDecisionTreesAndQueueTargets
cenv
cgbuf
queue
targetInfos
(
newDecisions
@
rest
)
stackAtTargets
targets
repeatSP
sequel
// Accumulate the decision graph as we go
and
GenDecisionTreeAndTargets
cenv
cgbuf
stackAtTargets
eenv
tree
targets
repeatSP
sequel
:
(
Queue
<
unit
->
(
IlxGenEnv
*
EmitSequencePointState
*
Expr
*
sequel
)
option
>)
=
let
queue
=
Queue
()
queue
.
Enqueue
(
fun
()
->
genDecisions
(
IntMap
.
empty
()
)
[(
None
,
eenv
,
tree
)]
queue
)
queue
.
Enqueue
(
fun
()
->
GenDecisionTreesAndQueueTargets
cenv
cgbuf
queue
(
IntMap
.
empty
()
)
[(
None
,
eenv
,
tree
)]
stackAtTargets
targets
repeatSP
sequel
)
queue
and
TryFindTargetInfo
targetInfos
n
=
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录