caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* How to fix this unbound value problem?
@ 2008-08-30 21:29 circ ular
  2008-08-30 21:35 ` [Caml-list] " Richard Jones
  2008-08-30 21:41 ` Jon Harrop
  0 siblings, 2 replies; 4+ messages in thread
From: circ ular @ 2008-08-30 21:29 UTC (permalink / raw)
  To: caml-list

how do I compile a program? what suffix does ocaml files have?


when evaling the below program  I get:

#                                     Characters 9-10:
  for y = n - 1 downto 0 do
          ^
Unbound value n
#


let delta = sqrt epsilon_float

type vec = {x:float; y:float; z:float}
let zero = {x=0.; y=0.; z=0.}
let ( *| ) s r = {x = s *. r.x; y = s *. r.y; z = s *. r.z}
let ( +| ) a b = {x = a.x +. b.x; y = a.y +. b.y; z = a.z +. b.z}
let ( -| ) a b = {x = a.x -. b.x; y = a.y -. b.y; z = a.z -. b.z}
let dot a b = a.x *. b.x +. a.y *. b.y +. a.z *. b.z
let length r = sqrt(dot r r)
let unitise r = 1. /. length r *| r

let ray_sphere orig dir center radius =
  let v = center -| orig in
  let b = dot v dir in
  let d2 = (b *. b -. dot v v +. radius *. radius) in
  if d2 < 0. then infinity else
  let d = sqrt d2 in
  let t1 = b -. d and t2 = b +. d in
  if t2>0. then if t1>0. then t1 else t2 else infinity

let rec intersect orig dir (l, _ as hit) (center, radius, scene) =
  match ray_sphere orig dir center radius, scene with
  | l', _ when l' >= l -> hit
  | l', [] -> l', unitise (orig +| l' *| dir -| center)
  | _, scenes -> intersects orig dir hit scenes
and intersects orig dir hit = function
  | [] -> hit
  | scene::scenes -> intersects orig dir (intersect orig dir hit scene) scenes

let light = unitise {x=1.; y=3.; z= -2.} and ss = 4

let rec ray_trace dir scene =
  let l, n = intersect zero dir (infinity, zero) scene in
  let g = dot n light in
  if g <= 0. then 0. else
    let p = l *| dir +| sqrt epsilon_float *| n in
    if fst (intersect p light (infinity, zero) scene) < infinity then 0. else g

let rec create level c r =
  let obj = c, r, [] in
  if level = 1 then obj else
  let a = 3. *. r /. sqrt 12. in
  let aux x' z' = create (level - 1) (c +| {x=x'; y=a; z=z'}) (0.5 *. r) in
c, 3. *. r, [obj; aux (-.a) (-.a); aux a (-.a); aux (-.a) a; aux a a]

let level, n =
  try int_of_string Sys.argv.(1), int_of_string Sys.argv.(2) with _ -> 9, 512

  let scene = create level {x=0.; y= -1.; z=4.} 1.;;

Printf.printf "P5\n%d %d\n255\n" n n;;
for y = n - 1 downto 0 do
  for x = 0 to n - 1 do
    let g = ref 0. in
    for dx = 0 to ss - 1 do
      for dy = 0 to ss - 1 do
        let aux x d = float x -. float n /. 2. +. float d /. float ss in
        let dir = unitise {x=aux x dx; y=aux y dy; z=float n} in
        g := !g +. ray_trace dir scene
      done;
    done;
    let g = 0.5 +. 255. *. !g /. float (ss*ss) in
    Printf.printf "%c" (char_of_int (int_of_float g))
  done;
done


^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Caml-list] How to fix this unbound value problem?
  2008-08-30 21:29 How to fix this unbound value problem? circ ular
@ 2008-08-30 21:35 ` Richard Jones
  2008-08-30 21:38   ` Richard Jones
  2008-08-30 21:41 ` Jon Harrop
  1 sibling, 1 reply; 4+ messages in thread
From: Richard Jones @ 2008-08-30 21:35 UTC (permalink / raw)
  To: circ ular; +Cc: caml-list

On Sat, Aug 30, 2008 at 11:29:51PM +0200, circ ular wrote:
> how do I compile a program? what suffix does ocaml files have?

I would STRONGLY suggest that you subscribe to this list:

> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Rich.

-- 
Richard Jones
Red Hat


^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Caml-list] How to fix this unbound value problem?
  2008-08-30 21:35 ` [Caml-list] " Richard Jones
@ 2008-08-30 21:38   ` Richard Jones
  0 siblings, 0 replies; 4+ messages in thread
From: Richard Jones @ 2008-08-30 21:38 UTC (permalink / raw)
  To: caml-list

BTW, this guy seems to be some sort of weird troll-bot:

http://www.google.com/search?q=circularfunc@gmail.com

Rich.

-- 
Richard Jones
Red Hat


^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Caml-list] How to fix this unbound value problem?
  2008-08-30 21:29 How to fix this unbound value problem? circ ular
  2008-08-30 21:35 ` [Caml-list] " Richard Jones
@ 2008-08-30 21:41 ` Jon Harrop
  1 sibling, 0 replies; 4+ messages in thread
From: Jon Harrop @ 2008-08-30 21:41 UTC (permalink / raw)
  To: caml-list

On Saturday 30 August 2008 22:29:51 circ ular wrote:
> how do I compile a program?

The compile line for that program is given at the bottom of this page:

  http://www.ffconsultancy.com/languages/ray_tracer/comparison.html

Specifically:

  ocamlopt -rectypes -inline 1000 ray.ml -o ray

> what suffix does ocaml files have? 

.ml and .mli files are OCaml source code. In this case, you should save that 
code into a "ray.ml" file. However, that code was designed for Linux and not 
Windows so you may have problems with Windows injecting unwanted \r 
characters into the output, resulting in wonky images.

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2008-08-30 21:42 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-08-30 21:29 How to fix this unbound value problem? circ ular
2008-08-30 21:35 ` [Caml-list] " Richard Jones
2008-08-30 21:38   ` Richard Jones
2008-08-30 21:41 ` Jon Harrop

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).