Project

General

Profile

« Previous | Next » 

Revision accbb04d

Added by Xavier Thirioux over 10 years ago

- small bug correction in dimension typing
- #open keyword instead of open
- dummy generic matrix/vector library interface added
- modified examples according to the new syntax

View differences:

src/typing.ml
185 185
      begin
186 186
	unify t1' t2';
187 187
	Dimension.eval Basic_library.eval_env (fun c -> None) e1;
188
	Dimension.eval Basic_library.eval_env (fun c -> None) e1;
188
	Dimension.eval Basic_library.eval_env (fun c -> None) e2;
189 189
	Dimension.unify e1 e2;
190 190
      end
191 191
    | _,_ -> raise (Unify (t1, t2))

Also available in: Unified diff