Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/docs/bugs/nhc98test21.hs

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


{-
This is a correct Haskell 98 program (checked with Hugs). But

nhc98    -c -o KindTest3.o KindTest3.hs

Fail: Couldn't find rhs of newtype: Main.Fix
Two conflicting datatype definitions?
-}

newtype Fix f = Fold (f (Fix f))
data PreNat r = Zero | Succ r
type Nat = Fix PreNat

zero = Fold Zero
one = Fold (Succ zero)

main = print "Test"

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to [email protected].