ただコンパイルしたいだけなのに・・・

Agda2のコンパイルが大変過ぎてもう眠たいです。

/Users/ranha/Agda/Agda2% runhaskell Setup.hs build
Preprocessing library Agda-2.1.2...
Building Agda-2.1.2...
[ 67 of 154] Compiling Syntax.Parser.Lexer[boot] ( dist/build/Syntax/Parser/Lexer.hs-boot, dist/build/Syntax/Parser/Lexer.o-boot )
[ 68 of 154] Compiling Syntax.Parser.LexActions ( src/full/Syntax/Parser/LexActions.hs, dist/build/Syntax/Parser/LexActions.o )

src/full/Syntax/Parser/LexActions.hs:71:6:
    Not in scope: `alexScanUser'

今この辺。

Agda1で良いんじゃないのという気がして来たから苛ついて更にやる気が出ない。
今どこでつまづいているかというと、循環importで、{-# SOURCE #-} pragma使って解決してやろうとしたら上のそれ。

関数が見つけられてないみたい。あーあ。
簡単なサンプル書いてみたけどやっぱり上手く行く。なんで見つけられないんだろう。

進んだ1

[ 67 of 154] Compiling Syntax.Parser.Lexer[boot] ( dist/build/Syntax/Parser/Lexer.hs-boot, dist/build/Syntax/Parser/Lexer.o-boot )
[ 68 of 154] Compiling Syntax.Parser.LexActions ( src/full/Syntax/Parser/LexActions.hs, dist/build/Syntax/Parser/LexActions.o )
[ 69 of 154] Compiling Syntax.Parser.Comments ( src/full/Syntax/Parser/Comments.hs, dist/build/Syntax/Parser/Comments.o )
[ 70 of 154] Compiling Syntax.Parser.Layout ( src/full/Syntax/Parser/Layout.hs, dist/build/Syntax/Parser/Layout.o )
[ 72 of 154] Compiling Syntax.Parser.Lexer ( dist/build/Syntax/Parser/Lexer.hs, dist/build/Syntax/Parser/Lexer.o )

dist/build/Syntax/Parser/Lexer.hs:1:0:
    Identifier `alexScanUser' has conflicting definitions in the module and its hs-boot file
    Main module: alexScanUser :: ParseFlags
                                 -> AlexInput
                                 -> Int
                                 -> AlexReturn (LexAction Token)
    Boot file:   alexScanUser :: ParseFlags
                                 -> AlexInput
                                 -> LexState
                                 -> AlexReturn (LexAction Token)

なんか

dist/build/Syntax/Parser/Lexer.hs:293:4:
    Couldn't match expected type `a'
           against inferred type `LexAction Token'
      `a' is a rigid type variable bound by
          the type signature for `alexScan'
            at dist/build/Syntax/Parser/Lexer.hs:291:43
      Expected type: AlexReturn a
      Inferred type: AlexReturn (LexAction Token)
    In the expression: alexScanUser undefined input (I# (sc))
    In the definition of `alexScan':
        alexScan input (I# (sc)) = alexScanUser undefined input (I# (sc))

めどくなってきたし、もう寝る。

メモメモ

src/full/TypeChecking/Serialise.hs:204:0:
    Illegal instance declaration for `Binary String'
        (All instance types must be of the form (T t1 ... tn)
         where T is not a synonym.
         Use -XTypeSynonymInstances if you want to disable this.)
    In the instance declaration for `Binary String'

コンパイルは出来た

/Users/ranha/Agda/Agda2% runhaskell Setup.hs build
Preprocessing library Agda-2.1.2...
Building Agda-2.1.2...
[ 67 of 154] Compiling Syntax.Parser.Lexer[boot] ( dist/build/Syntax/Parser/Lexer.hs-boot, dist/build/Syntax/Parser/Lexer.o-boot )
[153 of 154] Compiling Interaction.GhciTop ( src/full/Interaction/GhciTop.hs, dist/build/Interaction/GhciTop.o )
[154 of 154] Compiling AgdaMain         ( src/full/AgdaMain.hs, dist/build/AgdaMain.o )
ar: creating archive dist/build/libHSAgda-2.1.2.a

あーあ

/Users/ranha/Agda/Agda2/src/main% runhaskell Main.hs -c Hello.agda 
Main.hs: 
unknown symbol `___stginit_Agdazm2zi1zi2_UtilsziEither_'
Main.hs: exception :: GhcException

・・・もうだめぽ