Created
June 27, 2014 12:13
-
-
Save johnjcamilleri/c91d94853e5ea55cb4e9 to your computer and use it in GitHub Desktop.
Bug with --optimize-pgf
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| john@Biskuttina:~/repositories/REMU/projects/contract-logic/cnl$ ll | |
| total 28056 | |
| drwxr-xr-x 23 john staff 782B Jun 27 14:04 ./ | |
| drwxr-xr-x 61 john staff 2.0K Jun 27 11:09 ../ | |
| -rw-r--r--@ 1 john staff 6.0K Apr 14 14:08 .DS_Store | |
| -rw-r--r-- 1 john staff 80B May 5 13:06 CODiagFull.gf | |
| -rw-r--r-- 1 john staff 145B Jun 27 14:03 CODiagFull.gfo | |
| -rw-r--r-- 1 john staff 69B May 5 13:06 CODiagFullEng.gf | |
| -rw-r--r-- 1 john staff 157B Jun 27 14:03 CODiagFullEng.gfo | |
| -rw-r--r-- 1 john staff 226B May 5 13:29 CODiagFullEngParse.gf | |
| -rw-r--r-- 1 john staff 173B Jun 27 14:03 CODiagFullEngParse.gfo | |
| -rw-r--r-- 1 john staff 77B May 5 13:06 CODiagFullHaskell.gf | |
| -rw-r--r-- 1 john staff 169B Jun 27 14:03 CODiagFullHaskell.gfo | |
| -rw-r--r-- 1 john staff 2.4K May 5 09:29 CODiagram.gf | |
| -rw-r--r-- 1 john staff 3.6K Jun 27 14:03 CODiagram.gfo | |
| -rw-r--r-- 1 john staff 13M Jun 27 14:04 CODiagram.pgf | |
| -rw-r--r-- 1 john staff 15K Jun 27 13:49 CODiagramEng.gf | |
| -rw-r--r-- 1 john staff 272K Jun 27 14:03 CODiagramEng.gfo | |
| -rw-r--r-- 1 john staff 5.5K May 5 13:25 CODiagramHaskell.gf | |
| -rw-r--r-- 1 john staff 179K Jun 27 14:03 CODiagramHaskell.gfo | |
| -rw-r--r-- 1 john staff 1.9K Mar 19 08:30 List2.gf | |
| -rw-r--r-- 1 john staff 2.1K Jun 27 14:03 List2.gfo | |
| -rw-r--r-- 1 john staff 258B May 5 13:09 Makefile | |
| -rw-r--r-- 1 john staff 4.7K Mar 19 08:30 simple.trees | |
| -rw-r--r-- 1 john staff 537B Jun 27 11:09 trs.trees | |
| john@Biskuttina:~/repositories/REMU/projects/contract-logic/cnl$ rm *.gfo | |
| john@Biskuttina:~/repositories/REMU/projects/contract-logic/cnl$ gf CODiagFullEng.gf | |
| * * * | |
| * * | |
| * * | |
| * | |
| * | |
| * * * * * * * | |
| * * * | |
| * * * * * * | |
| * * * | |
| * * * | |
| This is GF version 3.6-darcs. | |
| One recorded change + 3 files with unrecorded changes since RELEASE-3.6 | |
| Last recorded change: Tue Jun 24 15:59:09 CEST 2014 [email protected] | |
| Built on darwin/x86_64 with ghc-7.6, flags: interrupt server | |
| License: see help -license. | |
| Bug reports: http://code.google.com/p/grammatical-framework/issues/list | |
| - compiling /Users/john/repositories/REMU/projects/contract-logic/CNL/CODiagram.gf... write file /Users/john/repositories/REMU/projects/contract-logic/CNL/CODiagram.gfo | |
| - compiling /Users/john/repositories/REMU/projects/contract-logic/CNL/CODiagFull.gf... write file /Users/john/repositories/REMU/projects/contract-logic/CNL/CODiagFull.gfo | |
| - compiling /Users/john/repositories/REMU/projects/contract-logic/CNL/List2.gf... write file /Users/john/repositories/REMU/projects/contract-logic/CNL/List2.gfo | |
| - compiling /Users/john/repositories/REMU/projects/contract-logic/CNL/CODiagramEng.gf... write file /Users/john/repositories/REMU/projects/contract-logic/CNL/CODiagramEng.gfo | |
| - compiling /Users/john/repositories/REMU/projects/contract-logic/CNL/CODiagFullEng.gf... write file /Users/john/repositories/REMU/projects/contract-logic/CNL/CODiagFullEng.gfo | |
| linking ... OK | |
| Languages: CODiagFullEng | |
| CODiagFull> p -cat=Action "eat somebody" | |
| actionObj eat_V2 somebody_NP | |
| 5924 msec | |
| CODiagFull> | |
| See you. | |
| 0 msec | |
| john@Biskuttina:~/repositories/REMU/projects/contract-logic/cnl$ gf --make CODiagFullEng.gf | |
| linking ... OK | |
| Writing CODiagFull.pgf... | |
| john@Biskuttina:~/repositories/REMU/projects/contract-logic/cnl$ gf CODiagFull.pgf | |
| * * * | |
| * * | |
| * * | |
| * | |
| * | |
| * * * * * * * | |
| * * * | |
| * * * * * * | |
| * * * | |
| * * * | |
| This is GF version 3.6-darcs. | |
| One recorded change + 3 files with unrecorded changes since RELEASE-3.6 | |
| Last recorded change: Tue Jun 24 15:59:09 CEST 2014 [email protected] | |
| Built on darwin/x86_64 with ghc-7.6, flags: interrupt server | |
| License: see help -license. | |
| Bug reports: http://code.google.com/p/grammatical-framework/issues/list | |
| Languages: CODiagFullEng | |
| CODiagFull> p -cat=Action "eat somebody" | |
| actionObj eat_V2 somebody_NP | |
| 2594 msec | |
| CODiagFull> | |
| See you. | |
| 0 msec | |
| john@Biskuttina:~/repositories/REMU/projects/contract-logic/cnl$ rm *.pgf | |
| john@Biskuttina:~/repositories/REMU/projects/contract-logic/cnl$ gf --make --optimize-pgf CODiagFullEng.gf | |
| linking ... OK | |
| Writing CODiagFull.pgf... | |
| john@Biskuttina:~/repositories/REMU/projects/contract-logic/cnl$ gf CODiagFull.pgf | |
| * * * | |
| * * | |
| * * | |
| * | |
| * | |
| * * * * * * * | |
| * * * | |
| * * * * * * | |
| * * * | |
| * * * | |
| This is GF version 3.6-darcs. | |
| One recorded change + 3 files with unrecorded changes since RELEASE-3.6 | |
| Last recorded change: Tue Jun 24 15:59:09 CEST 2014 [email protected] | |
| Built on darwin/x86_64 with ghc-7.6, flags: interrupt server | |
| License: see help -license. | |
| Bug reports: http://code.google.com/p/grammatical-framework/issues/list | |
| Languages: CODiagFullEng | |
| CODiagFull> p -cat=Action "eat somebody" | |
| The parser failed at token "somebody" | |
| 1340 msec | |
| CODiagFull> l actionObj eat_V2 somebody_NP | |
| Ix{Int}.index: Index (-1) out of range ((0,3)) | |
| CODiagFull> | |
| See you. | |
| 0 msec |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment