[Bug-apl] Small workspace of an example from "APL in Exposition" corrupts keyboard input after reload

ds.jaypee Sun, 02 Feb 2014 06:58:41 -0800

Environment:
- GNU APL 1.2 or latest checkout from SVN, built from source
- OS X Mavericks, MacBookPro 8 GB RAM, More than 10 GB free disk space


Workspace,
- Manually edited and tested on Dyalog APL,
- Exported as UTF8 text

- Text sucessfully copied and pasted in clear Dyalog APL workspace,functions tested 'PARSE S3' provides expected result.

- Same text successfully copied and pasted in GNU APL, workspace saved

Problem:
Goal: Load Workspace in GNU APL, use and extend the functions
Fact: Loading is successful
Fact: After loading, PARSE '(A+B)' displays expected result

Symptom: After loading input of APL characters is broken, iota isechoed as \U+00C3

Symptom: 'PARSE S3' crashes GNU APL

Attachment:
- APL source as text (with and without line numbers)
- Workspace XML

Jean-Pierre de SOZA

<?xml version='1.0' encoding='UTF-8' standalone='yes'?>

<!DOCTYPE Workspace
[
    <!ELEMENT Workspace (Value*,Ravel*,SymbolTable,Symbol*,StateIndicator)>
    <!ATTLIST Workspace  wsid     CDATA #REQUIRED>
    <!ATTLIST Workspace  year     CDATA #REQUIRED>
    <!ATTLIST Workspace  month    CDATA #REQUIRED>
    <!ATTLIST Workspace  day      CDATA #REQUIRED>
    <!ATTLIST Workspace  hour     CDATA #REQUIRED>
    <!ATTLIST Workspace  minute   CDATA #REQUIRED>
    <!ATTLIST Workspace  second   CDATA #REQUIRED>
    <!ATTLIST Workspace  timezone CDATA #REQUIRED>

        <!ELEMENT Value (#PCDATA)>
        <!ATTLIST Value flg    CDATA #REQUIRED>
        <!ATTLIST Value vid    CDATA #REQUIRED>
        <!ATTLIST Value parent CDATA #IMPLIED>
        <!ATTLIST Value rk     CDATA #REQUIRED>
        <!ATTLIST Value sh-0   CDATA #IMPLIED>
        <!ATTLIST Value sh-1   CDATA #IMPLIED>
        <!ATTLIST Value sh-2   CDATA #IMPLIED>
        <!ATTLIST Value sh-3   CDATA #IMPLIED>
        <!ATTLIST Value sh-4   CDATA #IMPLIED>
        <!ATTLIST Value sh-5   CDATA #IMPLIED>
        <!ATTLIST Value sh-6   CDATA #IMPLIED>
        <!ATTLIST Value sh-7   CDATA #IMPLIED>

        <!ELEMENT Ravel (#PCDATA)>
        <!ATTLIST Ravel vid    CDATA #REQUIRED>
        <!ATTLIST Ravel cells  CDATA #REQUIRED>

        <!ELEMENT SymbolTable (Symbol*)>
        <!ATTLIST SymbolTable size CDATA #REQUIRED>

            <!ELEMENT Symbol (unused-name|Variable|Function|Label|Shared-Variable)*>
            <!ATTLIST Symbol name       CDATA #REQUIRED>
            <!ATTLIST Symbol stack-size CDATA #REQUIRED>

                <!ELEMENT unused-name EMPTY>

                <!ELEMENT Variable (#PCDATA)>
                <!ATTLIST Variable vid CDATA #REQUIRED>

                <!ELEMENT Function (UCS)>

                <!ELEMENT Label (#PCDATA)>
                <!ATTLIST Label value CDATA #REQUIRED>

                <!ELEMENT Shared-Variable (#PCDATA)>
                <!ATTLIST Shared-Variable key CDATA #REQUIRED>

        <!ELEMENT UCS (#PCDATA)>
        <!ATTLIST UCS uni CDATA #REQUIRED>

        <!ELEMENT StateIndicator (SI-entry*)>
        <!ATTLIST StateIndicator levels CDATA #REQUIRED>

            <!ELEMENT SI-entry ((Execute|Statements|UserFunction),Parser+)>
            <!ATTLIST SI-entry level     CDATA #REQUIRED>
            <!ATTLIST SI-entry pc        CDATA #REQUIRED>
            <!ATTLIST SI-entry line      CDATA #REQUIRED>
            <!ATTLIST SI-entry vid_arg_A CDATA #IMPLIED>
            <!ATTLIST SI-entry Id_arg_F  CDATA #IMPLIED>
            <!ATTLIST SI-entry vid_arg_B CDATA #IMPLIED>

                <!ELEMENT Statements (UCS)>

                <!ELEMENT Execute (UCS)>

                <!ELEMENT UserFunction (#PCDATA)>
                <!ATTLIST UserFunction ufun-name    CDATA #REQUIRED>
                <!ATTLIST UserFunction symbol-level CDATA #REQUIRED>

                <!ELEMENT Parser (Token*)>
                <!ATTLIST Parser assign-pending CDATA #REQUIRED>
                <!ATTLIST Parser lookahead-high CDATA #REQUIRED>
                    <!ELEMENT Token (#PCDATA)>
                    <!ATTLIST Token pc           CDATA #REQUIRED>
                    <!ATTLIST Token tag          CDATA #REQUIRED>
                    <!ATTLIST Token char         CDATA #IMPLIED>
                    <!ATTLIST Token int          CDATA #IMPLIED>
                    <!ATTLIST Token float        CDATA #IMPLIED>
                    <!ATTLIST Token real         CDATA #IMPLIED>
                    <!ATTLIST Token imag         CDATA #IMPLIED>
                    <!ATTLIST Token sym          CDATA #IMPLIED>
                    <!ATTLIST Token line         CDATA #IMPLIED>
                    <!ATTLIST Token vid          CDATA #IMPLIED>
                    <!ATTLIST Token index        CDATA #IMPLIED>
                    <!ATTLIST Token fun-id       CDATA #IMPLIED>
                    <!ATTLIST Token ufun-name    CDATA #IMPLIED>
                    <!ATTLIST Token symbol-level CDATA #IMPLIED>
                    <!ATTLIST Token comment  CDATA #IMPLIED>

]>


    <!-- hour/minute/second is )SAVE time in UTC (aka. GMT).
         timezone is offset to UTC in seconds.
         local time is UTC + offset -->
<Workspace wsid="bug-gnu-apl" year="2014" month="2" day="2"
           hour="11" minute="44" second="49" timezone="3600">

  <Value flg="400" vid="0" parent="-1" rk="1" sh-0="26"/>
  <Value flg="400" vid="1" parent="-1" rk="0"/>
  <Value flg="400" vid="2" parent="-1" rk="0"/>
  <Value flg="400" vid="3" parent="-1" rk="0"/>
  <Value flg="400" vid="4" parent="-1" rk="0"/>
  <Value flg="400" vid="5" parent="-1" rk="0"/>
  <Value flg="400" vid="6" parent="-1" rk="0"/>
  <Value flg="400" vid="7" parent="-1" rk="0"/>
  <Value flg="400" vid="8" parent="-1" rk="0"/>
  <Value flg="400" vid="9" parent="-1" rk="0"/>
  <Value flg="400" vid="10" parent="-1" rk="1" sh-0="2"/>
  <Value flg="400" vid="11" parent="-1" rk="0"/>
  <Value flg="400" vid="12" parent="-1" rk="1" sh-0="2"/>
  <Value flg="400" vid="13" parent="-1" rk="1" sh-0="2"/>
  <Value flg="400" vid="14" parent="-1" rk="0"/>
  <Value flg="400" vid="15" parent="-1" rk="1" sh-0="2"/>
  <Value flg="400" vid="16" parent="-1" rk="0"/>
  <Value flg="400" vid="17" parent="-1" rk="0"/>
  <Value flg="400" vid="18" parent="-1" rk="1" sh-0="28"/>
  <Value flg="400" vid="19" parent="-1" rk="0"/>
  <Value flg="400" vid="20" parent="-1" rk="0"/>
  <Value flg="400" vid="21" parent="-1" rk="0"/>
  <Value flg="400" vid="22" parent="-1" rk="0"/>
  <Value flg="400" vid="23" parent="-1" rk="0"/>
  <Value flg="400" vid="24" parent="-1" rk="0"/>
  <Value flg="400" vid="25" parent="-1" rk="0"/>
  <Value flg="400" vid="26" parent="-1" rk="0"/>
  <Value flg="400" vid="27" parent="-1" rk="0"/>
  <Value flg="400" vid="28" parent="-1" rk="0"/>
  <Value flg="400" vid="29" parent="-1" rk="0"/>
  <Value flg="400" vid="30" parent="-1" rk="0"/>
  <Value flg="400" vid="31" parent="-1" rk="1" sh-0="1"/>
  <Value flg="400" vid="32" parent="-1" rk="0"/>
  <Value flg="400" vid="33" parent="-1" rk="1" sh-0="1"/>
  <Value flg="400" vid="34" parent="-1" rk="1" sh-0="0"/>
  <Value flg="400" vid="35" parent="-1" rk="0"/>
  <Value flg="400" vid="36" parent="-1" rk="0"/>
  <Value flg="400" vid="37" parent="-1" rk="1" sh-0="6"/>
  <Value flg="400" vid="38" parent="-1" rk="0"/>
  <Value flg="400" vid="39" parent="-1" rk="0"/>
  <Value flg="400" vid="40" parent="-1" rk="0"/>
  <Value flg="400" vid="41" parent="-1" rk="0"/>
  <Value flg="400" vid="42" parent="-1" rk="1" sh-0="3"/>
  <Value flg="400" vid="43" parent="-1" rk="0"/>
  <Value flg="400" vid="44" parent="-1" rk="0"/>
  <Value flg="400" vid="45" parent="-1" rk="0"/>
  <Value flg="400" vid="46" parent="-1" rk="1" sh-0="256"/>
  <Value flg="400" vid="47" parent="-1" rk="1" sh-0="4"/>
  <Value flg="400" vid="48" parent="-1" rk="1" sh-0="21"/>
  <Ravel vid="0" cells="Â²(A+D)-(Â¹F7Â²A)+((B+G)Â¹D7Â²D)Â¹F7Â²G+1Â¹25CBÂ²G"/>
  <Ravel vid="1" cells="Â² "/>
  <Ravel vid="2" cells="Â² "/>
  <Ravel vid="3" cells="Â² "/>
  <Ravel vid="4" cells="Â² "/>
  <Ravel vid="5" cells="Â³0"/>
  <Ravel vid="6" cells="Â³-1"/>
  <Ravel vid="7" cells="Â³1"/>
  <Ravel vid="8" cells="Â³1"/>
  <Ravel vid="9" cells="Â³0"/>
  <Ravel vid="10" cells="Â³0Â³1"/>
  <Ravel vid="11" cells="Â³1"/>
  <Ravel vid="12" cells="Â³0Â³1"/>
  <Ravel vid="13" cells="Â³1Â³1"/>
  <Ravel vid="14" cells="Â³-2"/>
  <Ravel vid="15" cells="Â³1Â³1"/>
  <Ravel vid="16" cells="Â³-2"/>
  <Ravel vid="17" cells="Â³-1"/>
  <Ravel vid="18" cells="Â¹2190Â²+-Â¹D7Â¹F7Â¹3CÂ¹2264Â²=Â¹2265Â²>Â¹2260Â¹2228Â¹2227Â²?Â¹220A
    Â¹2374Â²~Â¹2191Â¹2193Â¹2373Â¹25CBÂ²*Â¹235FÂ¹2308Â¹230AÂ¹22A5Â¹22A4Â²|"/>
  <Ravel vid="19" cells="Â²)"/>
  <Ravel vid="20" cells="Â³-1"/>
  <Ravel vid="21" cells="Â³0"/>
  <Ravel vid="22" cells="Â²("/>
  <Ravel vid="23" cells="Â³1"/>
  <Ravel vid="24" cells="Â³0"/>
  <Ravel vid="25" cells="Â³1"/>
  <Ravel vid="26" cells="Â³0"/>
  <Ravel vid="27" cells="Â³1"/>
  <Ravel vid="28" cells="Â³0"/>
  <Ravel vid="29" cells="Â³80"/>
  <Ravel vid="30" cells="Â³0"/>
  <Ravel vid="31" cells="Â² "/>
  <Ravel vid="32" cells="Â³10"/>
  <Ravel vid="33" cells="Â²C"/>
  <Ravel vid="34" cells="Â² "/>
  <Ravel vid="35" cells="Â³0"/>
  <Ravel vid="36" cells="Â³1"/>
  <Ravel vid="37" cells="Â².,Â¹22C6Â²0_Â¹AF"/>
  <Ravel vid="38" cells="â´1e-13"/>
  <Ravel vid="39" cells="Â³0"/>
  <Ravel vid="40" cells="Â³1"/>
  <Ravel vid="41" cells="Â³0"/>
  <Ravel vid="42" cells="Â¹8Â¹DÂ¹A
    "/>
  <Ravel vid="43" cells="Â³0"/>
  <Ravel vid="44" cells="Â³0"/>
  <Ravel vid="45" cells="Â³0"/>
  <Ravel vid="46" cells="Â¹0Â¹1Â¹2Â¹3Â¹4Â¹5Â¹6Â¹7Â¹8Â¹9Â¹A
    Â¹BÂ¹CÂ¹DÂ¹EÂ¹FÂ¹10Â¹11Â¹12Â¹13Â¹14Â¹15Â¹16Â¹17Â¹18Â¹19Â¹1AÂ¹1BÂ¹1CÂ¹1DÂ¹1EÂ¹1FÂ² !Â¹22Â²#$%Â¹26Â²'â°
    Â²()*+,-./0123456789:;Â¹3CÂ²=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklâ°
    Â²mnopqrstuvwxyz{|}~Â¹7FÂ¹A5Â¹20ACÂ¹21C4Â¹2227Â¹223CÂ¹226CÂ¹22C6Â¹22F8Â¹2338Â¹233A
    Â¹233CÂ¹233EÂ¹2341Â¹A1Â¹2344Â¹2345Â¹2395Â¹235EÂ¹2339Â¹2346Â¹2364Â¹2347Â¹2348Â¹234AÂ¹22A4
    Â¹3BBÂ¹234DÂ¹234FÂ¹A3Â¹22A5Â¹2376Â¹2336Â¹2350Â¹2351Â¹3C7Â¹2354Â¹2356Â¹2357Â¹2358Â¹235A
    Â¹235BÂ¹2308Â¹235CÂ¹2362Â¹222AÂ¹2368Â¹2355Â¹234EÂ¹236CÂ¹236AÂ¹2223Â¹2502Â¹2524Â¹235F
    Â¹2206Â¹2207Â¹2192Â¹2563Â¹2551Â¹2557Â¹255DÂ¹2190Â¹230AÂ¹2510Â¹2514Â¹2534Â¹252CÂ¹251C
    Â¹2500Â¹253CÂ¹2191Â¹2193Â¹2554Â¹255AÂ¹2569Â¹2566Â¹2560Â¹2550Â¹256CÂ¹2261Â¹2378Â¹2377
    Â¹2235Â¹2337Â¹2342Â¹233BÂ¹22A2Â¹22A3Â¹25CAÂ¹2518Â¹250CÂ¹2588Â¹2584Â¹258CÂ¹2590Â¹2580
    Â¹237AÂ¹2379Â¹2282Â¹2283Â¹235DÂ¹2372Â¹2374Â¹2371Â¹233DÂ¹2296Â¹25CBÂ¹2228Â¹2373Â¹2349
    Â¹2208Â¹2229Â¹233FÂ¹2340Â¹2265Â¹2264Â¹2260Â¹D7Â¹F7Â¹2359Â¹2218Â¹2375Â¹236BÂ¹234BÂ¹2352Â¹AF
    Â¹A8Â¹A0"/>
  <Ravel vid="47" cells="Â³-1Â³0Â³0Â³0"/>
  <Ravel vid="48" cells="Â²SystemVariable.cc:719"/>
  <SymbolTable size="14">
    <Symbol name="A" stack-size="1">
      <unused-name/>
    </Symbol>

    <Symbol name="B" stack-size="1">
      <unused-name/>
    </Symbol>

    <Symbol name="C" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²C EÂ¹A
          Â¹235DÂ² Central operatorÂ¹A
          Â²ZÂ¹2190Â²E[CENTRALFN E]Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="CENTRALFN" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²CENTRALFN EÂ¹A
          Â¹235DÂ² Index of operator of lexical level 0Â¹A
          Â²ZÂ¹2190Â²((FUNCTIONS E)Â¹2227Â²0=DEPTH E)Â¹2373Â²1Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="DEPTH" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²DEPTH EÂ¹A
          Â¹235DÂ² Lexical level of expressionÂ¹A
          Â²ZÂ¹2190Â²+\(E='(')-0,Â¹AFÂ²1Â¹2193Â²E=')'Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="E" stack-size="1">
      <unused-name/>
    </Symbol>

    <Symbol name="FUNCTIONS" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²FUNCTIONS EÂ¹A
          Â¹235DÂ² Mask of operators in expressionÂ¹A
          Â²ZÂ¹2190Â²EÂ¹220AÂ²'Â¹2190Â²+-Â¹D7Â¹F7Â¹3CÂ¹2264Â²=Â¹2265Â²>Â¹2260Â¹2228Â¹2227Â²?â°
          Â¹220AÂ¹2374Â²~Â¹2191Â¹2193Â¹2373Â¹25CBÂ²*Â¹235FÂ¹2308Â¹230AÂ¹22A5Â¹22A4Â²|'Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="L" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²L EÂ¹A
          Â¹235DÂ² Left operand, taken up to central opÂ¹A
          Â²ZÂ¹2190Â²(Â¹AFÂ²1+CENTRALFN E)Â¹2191Â²EÂ¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="ON" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²A ON BÂ¹A
          Â¹235DÂ² Utility function stacking 2 stringsÂ¹A
          Â²AÂ¹2190Â²(Â¹AFÂ²2Â¹2191Â²1 1,Â¹2374Â²A)Â¹2374Â²AÂ¹A
          Â²BÂ¹2190Â²(Â¹AFÂ²2Â¹2191Â²1 1,Â¹2374Â²B)Â¹2374Â²BÂ¹A
          Â²ZÂ¹2190Â²(((Â¹2374Â²A)Â¹2308Â²0 1Â¹D7Â¹2374Â²B)Â¹2191Â²A),[1]((Â¹2374Â²B)Â¹2308Â²0â°
          Â² 1Â¹D7Â¹2374Â²A)Â¹2191Â²BÂ¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="PARSE" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²PARSE EÂ¹A
          Â¹235DÂ² Expression represented as a fallen treeÂ¹A
          Â¹235DÂ² Right expression on top of central operator on top of left oâ°
          Â²peratorÂ¹A
          Â¹2192Â²0Â¹D7Â¹2373Â¹2227Â²/~FUNCTIONS ZÂ¹2190Â²STRIP EÂ¹A
          Â²ZÂ¹2190Â²(' ',' ',PARSE R Z)ON(C Z)ON' ',' ',PARSE L ZÂ¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="R" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²R EÂ¹A
          Â¹235DÂ² Right operand by dropping beginning up to and including centâ°
          Â²ral operatorÂ¹A
          Â²ZÂ¹2190Â²(CENTRALFN E)Â¹2193Â²EÂ¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="S3" stack-size="1">
      <Variable vid="0"/>
    </Symbol>

    <Symbol name="STRIP" stack-size="1">
      <Function>
        <UCS uni="Â²ZÂ¹2190Â²STRIP EÂ¹A
          Â¹235DÂ² Remove wrapping parenthesesÂ¹A
          Â¹2192Â²0Â¹D7Â¹2373Â²1Â¹2260Â¹230AÂ²/DEPTH ZÂ¹2190Â²EÂ¹A
          Â²ZÂ¹2190Â²STRIP 1Â¹2193Â¹AFÂ²1Â¹2193Â²EÂ¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="Z" stack-size="1">
      <unused-name/>
    </Symbol>

  </SymbolTable>

  <Symbol name="âAI" stack-size="1">
    <Variable vid="47"/>
  </Symbol>

  <Symbol name="âARG" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âAV" stack-size="1">
    <Variable vid="46"/>
  </Symbol>

  <Symbol name="âEM" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âET" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âLC" stack-size="1">
    <Variable vid="45"/>
  </Symbol>

  <Symbol name="âPT" stack-size="1">
    <Variable vid="44"/>
  </Symbol>

  <Symbol name="âSVE" stack-size="1">
    <Variable vid="43"/>
  </Symbol>

  <Symbol name="âTC" stack-size="1">
    <Variable vid="42"/>
  </Symbol>

  <Symbol name="âTS" stack-size="1">
    <Variable vid="41"/>
  </Symbol>

  <Symbol name="âUL" stack-size="1">
    <Variable vid="40"/>
  </Symbol>

  <Symbol name="âWA" stack-size="1">
    <Variable vid="39"/>
  </Symbol>

  <Symbol name="âCT" stack-size="1">
    <Variable vid="38"/>
  </Symbol>

  <Symbol name="âFC" stack-size="1">
    <Variable vid="37"/>
  </Symbol>

  <Symbol name="âIO" stack-size="1">
    <Variable vid="36"/>
  </Symbol>

  <Symbol name="âL" stack-size="1">
    <Variable vid="35"/>
  </Symbol>

  <Symbol name="âLX" stack-size="1">
    <Variable vid="34"/>
  </Symbol>

  <Symbol name="âNLT" stack-size="1">
    <Variable vid="33"/>
  </Symbol>

  <Symbol name="âPP" stack-size="1">
    <Variable vid="32"/>
  </Symbol>

  <Symbol name="âPR" stack-size="1">
    <Variable vid="31"/>
  </Symbol>

  <Symbol name="âPS" stack-size="1">
    <Variable vid="30"/>
  </Symbol>

  <Symbol name="âPW" stack-size="1">
    <Variable vid="29"/>
  </Symbol>

  <Symbol name="âR" stack-size="1">
    <Variable vid="28"/>
  </Symbol>

  <Symbol name="âRL" stack-size="1">
    <Variable vid="27"/>
  </Symbol>

  <Symbol name="âSYL" stack-size="1">
    <Variable vid="26"/>
  </Symbol>

  <Symbol name="âTZ" stack-size="1">
    <Variable vid="25"/>
  </Symbol>

  <Symbol name="âº" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="â¶" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="Ï" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="Î»" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âµ" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="â¹" stack-size="1">
    <unused-name/>
  </Symbol>

  <StateIndicator levels="0">
  </StateIndicator>

</Workspace>

⍝
⍝ Iverson's examples from 'APL IN EXPOSITION'
⍝
[0]∇ Z←C E
[1] Z←E[CENTRALFN E]
[2]∇
⍝
[0]∇ Z←CENTRALFN E
[1] Z←((FUNCTIONS E)∧0=DEPTH E)⍳1
[2]∇
⍝
[0]∇ Z←DEPTH E
[1] Z←+\(E='(')-0,¯1↓E=')'
[2]∇
⍝
[0]∇ Z←FUNCTIONS E
[1] Z←E∊'←+-×÷<≤=≥>≠∨∧?∊⍴~↑↓⍳○*⍟⌈⌊⊥⊤|'
⍝
[0]∇ Z←L E
[1] Z←(¯1+CENTRALFN E)↑E
[2]∇
⍝
[0]∇ Z←A ON B
[1] A←(¯2↑1 1,⍴A)⍴A
[2] B←(¯2↑1 1,⍴B)⍴B
[3] Z←(((⍴A)⌈0 1×⍴B)↑A),[1]((⍴B)⌈0 1×⍴A)↑B
[4]∇
⍝
[0]∇ Z←STRIP E
[1] →0×⍳1≠⌊/DEPTH Z←E
[2] Z←STRIP 1↓¯1↓E
[3]∇
⍝
[0]∇ Z←PARSE E
[1] →0×⍳∧/~FUNCTIONS Z←STRIP E
[2] Z←(' ',' ',PARSE R Z)ON(C Z)ON' ',' ',PARSE L Z
[3] ∇
⍝
[0] Z←R E
[1] Z←(CENTRALFN E)↓E
[2]∇
 
⍝ Exemple of an expression
S3←'(A+D)-(÷A)+((B+G)×D)÷G+1○G' 
⍝
⍝ Iverson's examples from 'APL IN EXPOSITION'
⍝
∇ Z←C E
⍝ Central operator
Z←E[CENTRALFN E]
∇
⍝
∇ Z←CENTRALFN E
⍝ Index of operator of lexical level 0
Z←((FUNCTIONS E)∧0=DEPTH E)⍳1
∇
⍝
∇ Z←DEPTH E
⍝ Lexical level of expression
Z←+\(E='(')-0,¯1↓E=')'
∇
⍝
∇ Z←FUNCTIONS E
⍝ Mask of operators in expression
Z←E∊'←+-×÷<≤=≥>≠∨∧?∊⍴~↑↓⍳○*⍟⌈⌊⊥⊤|'
∇
⍝
∇ Z←L E
⍝ Left operand, taken up to central op
Z←(¯1+CENTRALFN E)↑E
∇
⍝
∇ Z←A ON B
⍝ Utility function stacking 2 strings
A←(¯2↑1 1,⍴A)⍴A
B←(¯2↑1 1,⍴B)⍴B
Z←(((⍴A)⌈0 1×⍴B)↑A),[1]((⍴B)⌈0 1×⍴A)↑B
∇
⍝
∇ Z←STRIP E
⍝ Remove wrapping parentheses
→0×⍳1≠⌊/DEPTH Z←E
Z←STRIP 1↓¯1↓E
∇
⍝
∇ Z←PARSE E
⍝ Expression represented as a fallen tree
⍝ Right expression on top of central operator on top of left operator
→0×⍳∧/~FUNCTIONS Z←STRIP E
Z←(' ',' ',PARSE R Z)ON(C Z)ON' ',' ',PARSE L Z
∇
⍝
∇ Z←R E
⍝ Right operand by dropping beginning up to and including central operator
Z←(CENTRALFN E)↓E
∇
⍝ Example of a parsing
S3←'(A+D)-(÷A)+((B+G)×D)÷G+1○G'
⍝
PARSE '(A+B)'
⍝

[Bug-apl] Small workspace of an example from "APL in Exposition" corrupts keyboard input after reload

Reply via email to