tag:blogger.com,1999:blog-696719307153090038.post6258419841521545923..comments2023-06-10T15:15:29.385-04:00Comments on Struggling Through Problems: Agda as a Programming Language: Hello WorldOwenhttp://www.blogger.com/profile/09697040246092989242noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-696719307153090038.post-57348649801507816272014-02-03T19:54:44.278-05:002014-02-03T19:54:44.278-05:00Thank you! I finally was able to compile the thing...Thank you! I finally was able to compile the thing but I guess there is some kind of bug in the current experimental backend because I get this later on:<br /><br />...<br />Calling: ghc -O -o /Users/JR/Projects/Agda/Play -Werror -i/Users/JR/Projects/Agda - main-is MAlonzo.Code.Play /Users/JR/Projects/Agda/MAlonzo/Code/Play.hs --make - fwarn-incomplete-patterns -fno-warn-overlapping-patterns<br /><br />Compilation error:<br /><br />MAlonzo/Code/Foreign/Haskell.hs:5:18:<br /> Could not find module `IO.FFI'<br /> Use -v to see a list of the files searched for.<br />Anonymoushttps://www.blogger.com/profile/00751585791727692408noreply@blogger.comtag:blogger.com,1999:blog-696719307153090038.post-21036569875244209312013-05-04T08:22:29.621-04:002013-05-04T08:22:29.621-04:00Thank you! This is what I was looking for. :)Thank you! This is what I was looking for. :)Anonymousnoreply@blogger.com