[ocaml] взаимно рекурсивные типы

0

0

собсно сабж. как организовать?

ну что-то вроде:

type i1 =
     T1
   | Itm1 of i2
;; 

type i2 = 
    T2
  | Itm2 of i1
;;

←	Как в QT4 из QString получить char* или const char*?

→

вы хотите чего-то странного^Wочень нехорошего

anonymous
(08.10.08 15:15:06 MSD)

type ... = ... and ... = ... and ... и т.д.

anonymous
(08.10.08 15:16:50 MSD)

Ответ на: комментарий от anonymous 08.10.08 15:16:50 MSD

> type ... = ... and ... = ... and ... и т.д.

не прокатило.

Rastafarra ★★★★
(08.10.08 15:20:33 MSD) автор топика

Ответ на: комментарий от Rastafarra 08.10.08 15:20:33 MSD

Конкретный пример приведи.

anonymous
(08.10.08 15:26:24 MSD)

Конкретно с твоим примером:

type i1 = T1 | Itm1 of i2
and i2 = T2 | Itm2 of i1;;

всё прекрасно работает. Что-то ты не так делаешь.

anonymous
(08.10.08 15:28:33 MSD)

Ответ на: комментарий от anonymous 08.10.08 15:28:33 MSD

а, тьфу... я сделал type = ... and type =...

виноват.

thanx :)

Rastafarra ★★★★
(08.10.08 15:35:33 MSD) автор топика

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.

←	Как в QT4 из QString получить char* или const char*?

→

Похожие темы