[mercury-users] Functor(Arg) Terms Construction

[Goncalo Jorge Coelho e Silva]

...still on this subject, regarding the reply posts:

 Thanks a lot for the help Ralph and  Fergus
(for the code). One question on Fergus' code though,
why do I get these errors on the 'io' issue?

 I usually don't use the 'condensed way' to declare
predicates that Fergus did, but that shouldn't be
a problem, right?

>:- pred main(io::di, io::uo) is det.


 And shouldn't `construct.int' be imported without
any problems?



mercury_compile: can't open file `construct.int'.
inter.m:006: In definition of predicate `inter:main'/2:
inter.m:006:   error: undefined type `io'/0.
inter.m:006: In definition of predicate `inter:main'/2:
inter.m:006:   error: undefined type `io'/0.
inter.m:024: In definition of predicate `inter:run_instr'/3:
inter.m:024:   error: undefined type `.'/2.
inter.m:024: In definition of predicate `inter:run_instr'/3:
inter.m:024:   error: undefined type `io'/0.
inter.m:024: In definition of predicate `inter:run_instr'/3:
inter.m:024:   error: undefined type `.'/2.
inter.m:024: In definition of predicate `inter:run_instr'/3:
inter.m:024:   error: undefined type `io'/0.
inter.m:001: In module `inter':
inter.m:001:   warning: module `io'
inter.m:001:   is imported in the interface, but is not
inter.m:001:   used in the interface.
make: *** [run] Error 1


thanks,
Goncalo

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------