File: 380_nestedDynamic.sml

package info (click to toggle)
smlsharp 4.2.0-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 125,348 kB
  • sloc: ansic: 16,737; sh: 4,347; makefile: 2,228; java: 742; haskell: 493; ruby: 305; cpp: 284; pascal: 256; ml: 255; lisp: 141; asm: 97; sql: 74
file content (13 lines) | stat: -rw-r--r-- 653 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
val r = _dynamic (_dynamic Dynamic.dynamic {x=0, y=42} as Dynamic.dynamic) as {x:int} Dynamic.dyn;

(*
 _dynamic を入れ子にすると Bug.Bug: compileExp: TPDYNAMIC #67 
leque opened this issue on 3 May 2021 · 0 comments 

次のように _dynamic を入れ子にすると Bug.Bug: compileExp: TPDYNAMIC 例外が発生します。

$ smlsharp
SML# 4.0.0 (2021-04-06 05:12:50 JST) for x86_64-apple-darwin20.4.0 with LLVM 12.0.0
# _dynamic (_dynamic Dynamic.dynamic {x=0, y=42} as Dynamic.dynamic) as {x:int} Dynamic.dyn;
Bug.Bug: compileExp: TPDYNAMIC at src/compiler/compilePhases/datatypecompilation/main/DatatypeCompilation.sml:678.14(25068)
*)