Sven Panne writes:
> I can't figure out what's wrong with the following code, so it's
> hopefully a bug in GreenCard: :-)
>
Yes, not just one but two; patch appended.
--Sigbjorn
*** src/Proc.lhs 1998/03/12 13:13:20 1.12
--- src/Proc.lhs 1998/03/13 20:46:02
***************
*** 270,274 ****
marshall (Apply (Declare cty (Var v)) [d]) = do
(n, m, decl, ps) <- marshall d
! return (n, m, (ppCDecl cty v <+> decl), ps)
marshall (Apply (Declare cty (CCode c)) [d]) = marshall d
--- 270,274 ----
marshall (Apply (Declare cty (Var v)) [d]) = do
(n, m, decl, ps) <- marshall d
! return (n, m, (ppCDecl cty v), ps)
marshall (Apply (Declare cty (CCode c)) [d]) = marshall d
***************
*** 458,461 ****
--- 458,464 ----
unmarshall (Var v) -- no kind info so it's not a casm argument
= return ( id, text v, empty, [])
+
+ unmarshall (CCode c)
+ = return ( id, text c, empty, [])
--unmarshall (Apply (Kind k) [ Declare cv cty (Var v) ])