alyssaw

x + y has no type.
4 : int
4 : int
y + 3 has no type.
bind <_,<_,_>> to <<>,<<>,<>>> in 7 : int
bind <w : unit,<x : int,y : int>> to <<>,<3,4>> in bind <_,<a : int,x : int>> to <true,<y,3>> in a + x : int
x has no type.
x has no type.


bhammer

<x,x> has no type.
bind <a : int,b : int> to <x,y> in a + b has no type.
4 : int
4 : int
bind <a : int,x : int> to <y,3> in a + x has no type.
7 : int
bind <_,<a : int,x : int>> to <true,<y,3>> in a + x has no type.
bind x : int to x in x has no type.
bind x : int to x in x has no type.

bucy


eval.sml:146.9-156.25 Error: non-constructor applied to argument in pattern: MU
eval.sml:148.41-148.44 Error: unbound variable or constructor: tvn

uncaught exception Compile: "elaborate failed"
  raised at: TopLevel/batch/binfile.sml:466.38-466.65
             ../cm/sched/recompile.sml:203.38-203.41

eheutcy

bind <a : int,b : int> to <x,y> in a + b has no type.
4 : int
4 : int
bind <a : int,x : int> to <y,3> in a + x has no type.
7 : int
bind <_,<a : int,x : int>> to <true,<y,3>> in a + x has no type.
GC #0.0.0.1.8.206:   (10 ms)
bind x : int to x in x has no type.
bind x : int to x in x has no type.

imashor

x + y has no type.
bind _ to 3 in 4 : int
2 : int
y + 3 has no type.
bind _ to <> in bind <_,_> to <<>,<>> in 7 : int
bind _ to true in bind <a : int,x : int> to <y,3> in a + 3 has no type.


jganjack

[compiling eval.sml -> CM/sparc-unix/eval.sml.bin]
eval.sml:78.31 Error: unbound variable or constructor: p
eval.sml:100.9-100.14 Error: unbound variable or constructor: apply
eval.sml:104.9-104.14 Error: unbound variable or constructor: apply

uncaught exception Compile: "elaborate failed"
  raised at: TopLevel/batch/binfile.sml:466.38-466.65
             ../cm/sched/recompile.sml:203.38-203.41
- 
klin (bind does not evaulate)

bind <_,<_,_>> to <<>,<<>,<>>> in 7 : int
bind <w : unit,<x : int,y : int>> to <<>,<3,4>> in bind <_,<a : int,x : int>> to <true,<y,3>> in a + x : int

case inl (unit,unit)<> of inl x:unit=>1 | inr y:unit=>0 has no type.

mhsu 
bind <x:int,x:int> to <1,2> in x+x; result 2, instead of 4

nkc does not evaulate inside pairs 
<<>,8 + 9> : unit * int
MinML> <inl (unit,unit)<>,inr (unit,int)(3+9)>;
<inl (unit,unit)<>,inr (unit,int)3 + 9> : (unit + unit) * (unit + int)

 bind <x:int,x:int> to <1,2> in x+x;
bind <x : int,x : int> to <1,2> in x + x : int
Press return:
bind x : int to 1 in bind x : int to 2 in x + x : int
Press return:
bind x : int to 2 in 1 + 1 : int
Press return:
1 + 1 : int
Press return:
2 : int
Press return:
MinML> 


rrost


uncaught exception nonexhaustive match failure
  raised at: typing.sml:53.27
             typing.sml:56.55




xin
loop


MinML> < <>,8+9>;
<<>,8 + 9> : unit * int
Press return:
<<>,17> : unit * int
Press return:
<<>,17> : unit * int
Press return:
<<>,17> : unit * int
Press return:
<<>,17> : unit * int
Press return:


( fun f(x:int):int *int is <x,x> end ) (7);Press return:
<7,7> : int * int
Press return:
<7,7> : int * int
Press return:
<7,7> : int * int
Press return: