File: Ch07_07_01_PolyVariant.out

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 (12 lines) | stat: -rw-r--r-- 366 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
 
val myCPoint = fn : ['a#{CPoint: {x: real, y: real} -> 'b}, 'b. 'a -> 'b]

val myPPoint = fn : ['a#{PPoint: {r: real, theta: real} -> 'b}, 'b. 'a -> 'b]

val distance =
  {CPoint = fn, PPoint = fn}
  : {CPoint: ['a#{x: real, y: real}. 'a -> real],
     PPoint: ['a#{r: 'b, theta: 'c}, 'b, 'c. 'a -> 'b]}

val it = 1.41421356237 : real

val it = 1.41421356237 : real