patch ddc-head: ddc-core-sea: more work on sea output prims

[Ben Lippmeier]

Sat Mar  3 08:32:32 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core-sea: more work on sea output prims

    M ./make/rules.mk -1 +1
    M ./packages/ddc-core-eval/DDC/Core/Eval/Env.hs -2
    M ./packages/ddc-core-eval/DDC/Core/Eval/Name.hs -1 +1
    A ./packages/ddc-core-sea/DDC/Core/Sea/Base/Env.hs
    M ./packages/ddc-core-sea/DDC/Core/Sea/Base/Name.hs -9 +70
    A ./packages/ddc-core-sea/DDC/Core/Sea/Output/Env.hs
    M ./packages/ddc-core-sea/DDC/Core/Sea/Output/Name.hs -52 +138
    M ./packages/ddc-core-sea/DDC/Core/Sea/Output/Profile.hs -5 +22
    M ./packages/ddc-core/DDC/Core/Parser/Lexer.hs -7 +24
    M ./packages/ddc-core/DDC/Type/Compounds.hs -3 +1
    M ./packages/ddci-core/DDCI/Core/Fragment.hs -3 +14
    A ./test/ddci-core/80-Sea/
    A ./test/ddci-core/80-Sea/Test.dcx

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe