Re: type abbreviation is cyclic

Re: type abbreviation is cyclic

[William W Smith]

[-- Attachment #1: Type: text/plain, Size: 385 bytes --]


I should have checked first.... I don't think what I described here below can work.

I'll  check that I'm making sense first next time.

- Bill

It's the recursion that can happen is related to the technique of 
writing recursive functions without using let rec..

let f1 it a1 b2 = ...
let f2 it a1 b2 = ....
let f3 it a1 b2 = ...

let items = [f1; f2; f3]

let x =  f1 items a b...

[-- Attachment #2: Type: text/html, Size: 457 bytes --]

type abbreviation is cyclic

[William W Smith]

[-- Attachment #1: Type: text/plain, Size: 516 bytes --]

I wonder whether this error is an example of the language being defined more restrictively than required.  What is the reason that I get these results?

type a  = int -> one -> int and one = Unused | One of a;;
type b = int -> b -> int

type a is accepted while type b is not. (b gives "The type abbreviation b is cyclic"  However, in the uses that I intended, there won't be any actual difference between the two.

I'd appreciate an explanation about why there is difference  between a and   b.

Thanks

Bill Smith

[-- Attachment #2: Type: text/html, Size: 594 bytes --]