\EOT Haskell string bug
Please disregard -- this was a bug in the Emacs-Haskell interaction
literal at character
so the error appears to be in the builtin words
function, and this
is the minimal example required to recreate the issue
abs(eric:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then 0 else if iszero(pred(l)) then r else app(app(fix(abs(plus:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then r else succ(app(app(plus,pred(l)),r)) fi)))),r),app(app(eric,p
apparently this defeats all Haskell functions
*Main> length "abs(eric:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then 0 else if iszero(pred(l)) then r else app(app(fix(abs(plus:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then r else succ(app(app(plus,pred(l)),r)) fi)))),r),app(app(eric,p" <interactive>:1:254: lexical error in string/character literal at character '\EOT' *Main> words "abs(eric:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then 0 else if iszero(pred(l)) then r else app(app(fix(abs(plus:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then r else succ(app(app(plus,pred(l)),r)) fi)))),r),app(app(eric,p" <interactive>:1:254: lexical error at character '\EOT' *Main> "abs(eric:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then 0 else if iszero(pred(l)) then r else app(app(fix(abs(plus:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then r else succ(app(app(plus,pred(l)),r)) fi)))),r),app(app(eric,p" "abs(eric:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then 0 else if iszero(pred(l)) then r else app(app(fix(abs(plus:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then r else succ(app(app(plus,pred(l)),r)) fi)))),r),app(app(eric,p" *Main> let str = "abs(eric:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then 0 else if iszero(pred(l)) then r else app(app(fix(abs(plus:->(Nat,->(Nat,Nat)).abs(l:Nat.abs(r:Nat.if iszero(l) then r else succ(app(app(plus,pred(l)),r)) fi)))),r),app(app(eric,p" <interactive>:1:254: lexical error in string/character literal at character '\EOT'