Re: Bug in PAKCS data inspection ?

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Thu, 25 Oct 2007 10:20:12 +0200

Hi Juan,

> The question is why PAKCS no detect that the problem is with data
> definition ?
>
> data Seq a = a | a :< Seq a

This is a legal definition - it defines a constructor a of type Seq a:

# pakcs
> :l seq
> :t a
a :: Seq a

Cheers,
Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Thu Oct 25 2007 - 12:24:51 CEST

This archive was generated by hypermail 2.3.0 : Mon Sep 23 2019 - 07:15:06 CEST