File: 015_app.sml

package info (click to toggle)
smlsharp 4.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 123,732 kB
  • sloc: ansic: 16,725; sh: 4,347; makefile: 2,191; java: 742; haskell: 493; ruby: 305; cpp: 284; pascal: 256; ml: 255; lisp: 141; asm: 97; sql: 74
file content (38 lines) | stat: -rw-r--r-- 813 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
infixr ::
exception Failure of string

fun app f =
  let fun loop [] = ()
        | loop (h::t) = (f h : unit; loop t)
  in loop
  end

(*
2011-08-13 katsu

This causes BUG at ToYAANormal due to wrong compilation of ClosureConversion.

[BUG] searchEnvAcc
    raised at: ../toyaanormal/main/ToYAANormal.sml:733.13-733.64
   handled at: ../toplevel2/main/Top.sml:797.37
		main/SimpleMain.sml:269.53

val code c50 =
    _env $49 : {0: t57 list(t14) -> unit(t7)} / $2 =>
    fn $6 =>
       let frame () / (t57) =   (* <--- ????? *)
           _MERGE ()
       in let $2 : t57 list(t14) -> unit(t7) =
              (#0 /i cast(0wx0)) $49 /s cast(0wx4)
       in _TAILAPP $2 $6

c50 has a frame type variable but frame bitmap is missing.

*)

(*
2011-08-14 katsu

Fixed by changeset 92eba62e6350 and 625eabf6eaa2.

*)