Error compiling NICTA FP course

16 views
Skip to first unread message

Evgeny Makarov

unread,
Jun 22, 2019, 5:34:51 PM6/22/19
to nicta-fp
I cloned the repository at https://github.com/data61/fp-course, ran the commands "chmod go-w ." and "chmod go-w .ghci" and then ran ghci. It printed 26 steps compiling different files, all successful. In the end it listed loaded modules from Course to Course.Validation. But then the following message was printed:

<interactive>:1:122:
    Not in scope: type constructor or class ‘String’
    Perhaps you meant ‘IsString’ (imported from Course.Core)

and three similar messages that differed only in line numbers.

I am using GHCi version 7.10.3 in Ubuntu.

Tony Morris

unread,
Jun 22, 2019, 5:36:04 PM6/22/19
to Evgeny Makarov, nicta-fp
Do you have a file located at ~/.ghci ?

--
You received this message because you are subscribed to the Google Groups "nicta-fp" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nicta-fp+u...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/nicta-fp/a22c3822-a54f-4c56-8394-4c3042c72af4%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Evgeny Makarov

unread,
Jun 22, 2019, 5:39:25 PM6/22/19
to nicta-fp
> Do you have a file located at ~/.ghci ?

No. What should I put there?

Tony Morris

unread,
Jun 22, 2019, 5:41:09 PM6/22/19
to Evgeny Makarov, nicta-fp
Nothing, just sometimes if you have a file there it can cause some errors. Want to jump on IRC so we can sort it out?

http://webchat.freenode.net/?randomnick=1&channels=%23qfpl&uio=d4

On Sun, Jun 23, 2019 at 7:39 AM Evgeny Makarov <emak...@gmail.com> wrote:
> Do you have a file located at ~/.ghci ?

No. What should I put there?

--
You received this message because you are subscribed to the Google Groups "nicta-fp" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nicta-fp+u...@googlegroups.com.

Evgeny Makarov

unread,
Jun 22, 2019, 5:45:39 PM6/22/19
to nicta-fp
> Want to jump on IRC so we can sort it out?

Sure. Thanks a lot.

Reply all
Reply to author
Forward
0 new messages