- 1 名前：デフォルトの名無しさん mailto:sage [2005/05/06(金) 08:28:29 ]
- プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
意味論に関する話題も歓迎です。
前スレ
1 pc.2ch.net/tech/kako/981/981672957.html
2 pc2.2ch.net/test/read.cgi/tech/1021136715/
3 pc5.2ch.net/test/read.cgi/tech/1070089173/
4 pc5.2ch.net/test/read.cgi/tech/1100097050/
5 pc8.2ch.net/test/read.cgi/tech/1106129164/ (前スレ)
関連リンクは多分 >>2-10 あたり
- 504 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:11:57 ]
- >>499には時代という物が理解できないんだろうな。
- 505 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:22:50 ]
- >>499
>>500-504まで、誰もわかってないようだからわからないことを気に病むことはないよ。
同時代のおっさんにはあまりに自明のことなんだが、
わかったからといって何かの足しになるわけでもなし。
スレ違いだし、このへんでひっぱるのはやめよう。
- 506 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:34:42 ]
- 最近見た中で一番ショボいハッタリだ
- 507 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:50:41 ]
- 20代のLISP使いだけど
おっさんネタはさっぱりわからんなあ
昔のPC板ってのがあるから
いいかげん懐古ネタは他所でやんなさいよ
昔のPC
bubble3.2ch.net/i4004/
- 508 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 22:54:22 ]
- >>507
いやPCの話じゃないんだが…
と一応ツッコミは入れとくが、スレ違いということには同意
- 509 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 23:04:49 ]
- >>507
ちらっとその板みたが、自分からみたらちっとも昔ではないのですな。
すでにＰＣ前提ってあたりで昔ではないのですよ。
荒らすつもりじゃ無く純粋に懐古趣味としての昔話かと思って期待がはずれたのです。
- 510 名前：デフォルトの名無しさん mailto:sage [2005/06/15(水) 23:42:23 ]
- >>507
アホか。リアルタイムで知らない事でも、
文献やWebを駆使して勉強するもんだよ。
特にLispなんて80年代に最盛期を迎えた言語だからな
- 511 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 19:36:39 ]
- LISPの全盛期はいつだ？ 80年代か？ MLは今なんだよ…。
- 512 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 20:28:40 ]
- >>511
> MLは今なんだよ…。
いいえ。
- 513 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 21:22:31 ]
- 80年代つーと洋楽だなあ
- 514 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 21:24:57 ]
- >>511
桜木君…
- 515 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 22:03:41 ]
- いいかげんにしろ、スレ違いだ。
- 516 名前：デフォルトの名無しさん mailto:sage [2005/06/16(木) 23:46:50 ]
- そ / _r 、 、 .ヽ、 Ｒ
｜ L_ , - ´ ￣￣ ｀ ヽ 、 ',ヽｰ/＿ヽーヽ／ヽイ _) ｕ
な ＜ ／ ヽ, / λ ヽ. ｂ
の ／/ ｲ ヽ .i く ﾁ＼ｲ_レヽ_／ﾙノヽ ) ｙ
か ＼! !ｲ-/─ﾚｲ、ル─ヽ, ／ >i .ﾚｲ ,r=、 ,.-=ゝiｲ ヽ, ｙ
｜ .|￣i /ｲ,r=-、 ,-=ヽiﾐ}＜] !ﾚｲﾚi { !_r! i、_r! ﾘ ) 最
,、 / .ﾚ| i { i、r! i、_r!} ｱ | | !,"" ＿__ "" ! ! く. 高
｀ | i,"" ＿___ "" | | | .| ! i ヽ、 ! j ,ｲﾚ > ! !
i ﾘヽ、 ! ｀j ,ｲ !| | |ﾉル ｀ﾚ ,_--_イiレ - 、／￣ヽ、
ﾚi レ｀ﾚ ,--_イ ﾚ、 リレ' rｲくi-/ ／ , ---ヽ、／＿_
人/ヽ、_ ,ｲくi--/／__人__人_ ,く,_[>＜]__//＿（⌒）-、i,_ ノ
はあ / / i (>Y<) ) 最Ｒ今 ( ,ヽi ' (＿ゝ_ヽ_ノノﾉ ´
はは i / .! ｀´ ). 高ｕ 夜 ( ./ .! ヽ、＿__ノ
はは > / ｲ、 ヽ, ！ ｂ も ( / <、_ 、 _ く
はは < / ヽr----─> ！ ｙ ( / ／ / ヽ＼
- 517 名前：516 mailto:sage [2005/06/17(金) 00:33:33 ]
- 誤爆しました
- 518 名前：俺の学生時代はi386でGoferかな mailto:sage [2005/06/17(金) 00:36:23 ]
- >>516
さっさと氏ねよ
>>511-512
定理証明系の開発は70年代
SML/NJの開発は80年代半ば
その後87〜98がHaskell標準化・・・もしかして進歩止まってるやん
- 519 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:39:16 ]
- >>518
スレ違いのお前もな
- 520 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:42:57 ]
- >>519 はぁ？煽りやり過ぎて、話題がスレ違いかどうか判断もできなくなってるのか。
- 521 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:44:16 ]
- >>520
どこからどう見てもスレ違い
- 522 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:45:07 ]
- キチガイが粘着中
まともな人はしばらくお待ち下さい
- 523 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 00:47:39 ]
- やっぱりこのスレでLISPとRubyの話は厳禁だな
- 524 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 03:45:37 ]
- MLじゃないの？
- 525 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 20:09:56 ]
- >>523
ではmallocとfreeについて話そう。
- 526 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 20:11:36 ]
- >>525
やっぱこのスレではコンパイラについて話さないとな
- 527 名前：デフォルトの名無しさん mailto:sage [2005/06/17(金) 21:22:29 ]
- lambda liftingについて分り易く教えてください
- 528 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 04:50:11 ]
- 荒らしがいなくなるとスレが止まるんだなぁ。
つかLispもMLも禁止の言語処理系スレって…。
>>526
コンパイラの定義を教えてくれ。
>>527
foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?lambda+lifting
- 529 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 09:55:44 ]
- LALR(1) を勉強するのにお勧めの書籍かサイトありましたら
教えて下さい。
- 530 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 11:02:50 ]
- ・コンパイラの構成と最適化 中田 育男
www.amazon.co.jp/exec/obidos/ASIN/4254121393/
- 531 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 15:27:01 ]
- >>528
よくわからない
変数が増えただけに見えるorz
引数渡しにするってことかな？
- 532 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 16:10:29 ]
- だいたいLispやMLの全盛期の話のどこがスレの趣旨に沿ってるんだよ？
そんな話はLispやMLのスレでやれよ
- 533 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 16:52:39 ]
- >>531
処理系を作る立場で考えてみると良いんじゃないかな。
- 534 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 18:01:40 ]
- >>530
それって最適化でしょ？メインは
- 535 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 19:57:38 ]
- >>529
Dragon Bookでいいんじゃないの。
- 536 名前：デフォルトの名無しさん [2005/06/19(日) 20:34:44 ]
- >>530
良書には違いないが、LALRつーわけどもないだろ。
- 537 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 20:56:36 ]
- >つーわけどもないだろ。
？
- 538 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 21:05:16 ]
- >>536をparseするのにお勧めの書籍かサイトありましたら
教えて下さい。
- 539 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 21:08:06 ]
- >>538
・コンパイラの構成と最適化 中田 育男
www.amazon.co.jp/exec/obidos/ASIN/4254121393/
- 540 名前：デフォルトの名無しさん mailto:sage [2005/06/19(日) 21:13:07 ]
- >>538
Dragon Bookでいいんじゃないの。
- 541 名前：536 mailto:sage [2005/06/19(日) 22:33:02 ]
- スマソ、「つー訳でもないだろ」の誤りorz
- 542 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 00:02:19 ]
- >>536
> LALRつーわけでもないだろ。
？
コンパイラ本の一つも読まずにアフォレス、とても痛い小学生だな
- 543 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 07:23:45 ]
- >>541を意味解析するのにお勧めの書籍かサイトありましたら
教えて下さい。
LALRの良書っていうわけでも無いだろ
ってことか？
じゃあ>>541がLALRの良書を薦めてくれ。
- 544 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 17:15:35 ]
- そもLALR一つに絞った本が良書と言えるのか？
- 545 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 19:51:09 ]
- >>544
それってyaccの入門書のレベルな希ガス
- 546 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 21:58:07 ]
- >>545
いや、案外その手の本は扱ってない。
- 547 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 22:17:16 ]
- はぁ？
LALRわかんなきゃyacc/bisonは使えないじゃん
- 548 名前：デフォルトの名無しさん mailto:sage [2005/06/20(月) 22:28:32 ]
- >>547
理屈ではそうだけど、実際はそうじゃないんだよ。
- 549 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 01:20:40 ]
- 全然自慢にならねぇ主張だな。
わけわかんないけど使ってるって？へ
- 550 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 01:31:52 ]
- 紳士的に解釈すれば、ツールの使い方がわかれば
LALRアルゴリズムの詳細なんて知らなくても良い
ということじゃないかなあ。
いや、ある程度は知ってないとまずいかな。
yaccの作成するテーブルがどういう理屈で作成されてるかぐらいは・・
- 551 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 01:33:23 ]
- いやちゃう。
単にyaccが吐いたコードにアクション追加したり文法をデバッグするのが無理
- 552 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 04:07:32 ]
- >>550
どうだろう？yaccって結構簡単に使えるけど、それとLALRの理解は別だと思う。
極端な話し、関数電卓ぐらいのパーサならLALRの知識なんて必要ないし。
ちがうかな？
- 553 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 04:29:04 ]
- それで結局、今出てるyacc/lex本のLALRの解説は充実してるのか？
- 554 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 09:30:36 ]
- 何するつもりか知らないけど、
LALRだけ勉強しようというのは効率が悪いから
普通の文法解析の教科書では一通りの文法を説明している。
・再帰下降パーサで書ける文法
・LALRパーサじゃないと書きにくい文法
・その他、演算子順位文法、属性文法
とか知っておくと、扱いたい文法が上記のいずれに近いのか、
素早くもしくは効率的に実装するには、どうすれば良いか
判断できるようになると思う。
- 555 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 11:58:26 ]
- ［課題Q]３角形の底辺の長さ，高さをキーボードから読込み，その面積を計算するプログラムを作成しなさい．
ただし，底辺の長さ，高さ，面積の値を入れる変数名をそれぞれteihen， takasa，mensekiとし，いずれも実数型（double型）とする．
void main( void )
{
double teihen, takasa, menseki;
printf( "底辺は？\n" ); /* 入力を促すメッセージを表示 */
scanf( "%d", &teihen );
menseki = teihen * takasa / 2;
printf("%f\n",menseki);
}
これ誰か完成させてくれ
- 556 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 12:28:11 ]
- >>555＝スレ違いのキチガイ
- 557 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 13:09:35 ]
- 次スレから「相談室」ってのを外そうよ。
この文字だけ見て書き込んでいるとしか思えない致傷多すぎる。
- 558 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 13:24:09 ]
- >>555は単なる構ってチャンだろ。キチガイはさっさと逝け
- 559 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 21:03:15 ]
- 標準入力から直接入力すると、行末の改行が削れてしまうんですが、
それを考慮すると行番号の計測ってどうやるんでしょうか
- 560 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 21:13:37 ]
- >>559 スレ違い。初心者向け相談室へ逝け
- 561 名前：デフォルトの名無しさん mailto:sage [2005/06/21(火) 23:43:16 ]
- LALRの話しもすれ違い？？？
- 562 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 01:15:48 ]
- 構文解析の話なんてつまらんだろ
- 563 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 01:24:54 ]
- おれはおもしろいと思うよ。
むしろ他人の作った完成品を貶したり褒めたりするのはよそでやってほしい。
- 564 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 04:10:23 ]
- 文法なんて結局は宗教戦争みたいなもんじゃん。
他人の作った完成品の工夫を見て学ぶのもおもしろいよ。
つか、このスレはいつまでたっても構文解析か荒らしの話しかしてないし…。
- 565 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 13:00:54 ]
- 字句解析・構文解析 ⇒ つまらん。話したくない
意味解析・目的コード生成 ⇒ 各々の機械語スレへどうぞ
各種言語に依存した…… ⇒ 厨は引っ込め
このスレは、何について話すスレなんだ？
- 566 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 13:20:55 ]
- >>565
実装レベルの話はどうでもいい。
- 567 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 13:21:16 ]
- >>565
というか厨はお前だろ。
- 568 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 16:42:34 ]
- >>565
うーん、そこで「他でヤレ」っつってるのは、
単なる荒らしだと思うよ。相手にする必要なし。
つか荒らし被害者のフリして荒らすなって（笑
- 569 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:08:49 ]
- >>1
> 字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
> CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
> それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
> 意味論に関する話題も歓迎です。
字句解析・構文解析以外にも沢山話題はあるじゃない。
- 570 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:12:09 ]
- じゃとりあえず話題をどうぞ（マジ
最近、プログラミング言語系の開発とかやってないなぁ〜(遠い目
- 571 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:17:23 ]
- んじゃ制御フローの話題でも。
最近は制御フロー解析はstructuralな手法に移りつつあるようだけど、reducibleでないループ
はどうしてる？ そこだけ古典的な方法でやってる？
- 572 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:20:19 ]
- 質問するときは、まず相手を探し、次に質問を選ばなきゃ。
>>570に書いたとおり、俺はスルー
- 573 名前：572 mailto:sage [2005/06/22(水) 18:23:37 ]
- つか俺、ドラゴンブックの和訳出る手前で
コンパイラーに関する体系的な勉強が止まってる。
ドラゴンブックに型変数の話がちょこっとしか載ってなくて、興味が萎えたんだよなぁ。
- 574 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:33:58 ]
- subset型が欲しいなと思うときはある。
y : { x in Int | P(x)}みたいな感じで。
ただしimpredicativeなものは勘弁。
- 575 名前：デフォルトの名無しさん [2005/06/22(水) 18:34:32 ]
- Matz召還して議論したらどぉーお？
- 576 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:52:50 ]
- >>574
Pascalの範囲型みたいな話だね。
構文上の判りやすさはさておいて、
そーゆーのはObject指向で解決できるのでわ？
(constractorや各種演算子で範囲型を外れないようにチェックして、
もし外れたら例外発生、とか)
- 577 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 18:55:32 ]
- オブジェクト指向と型は何の関係もない
- 578 名前：デフォルトの名無しさん [2005/06/22(水) 19:10:02 ]
- オブジェクト指向のクラスを型とみなす事「も」できる。
通常のOOプログラミングでは、型とクラスの相違は曖昧にされる事が多い。
理論では識別したがるみたいだけどｗ
- 579 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 19:12:12 ]
- なんで区別したがるんだっけ？
何度か読んだ覚えがあるけどど忘れした
- 580 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 20:13:18 ]
- 俺も教えて欲しい
- 581 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 20:31:22 ]
- Haskellなんか、クラスと型は別もんだけど
そういう意味じゃないの？
- 582 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 20:32:48 ]
- クラスがあるのに静的型が無い言語とか、そもそもクラスが無い言語とかもあることから来たのでは？
- 583 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 21:06:03 ]
- 言語処理系に関する研究の進展によって、
それまで言語処理系の内部機構だったものが、
言語ユーザに安全かつ判りやすい形で開放される事がある。
・・・メモリー・アロケーション然り、ユーザ定義型しかり。型変数、型推論も。
Lispとか、OOとか、そーゆー「開放」を前倒しした形で試すには、
良いプラットフォームなのでわ？と
- 584 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 21:11:57 ]
- >>583
日本語でお願いします
- 585 名前：583じゃないが mailto:sage [2005/06/22(水) 21:15:44 ]
- 言語として本格的に実装する前の実験段階の実装には、LISP や OO を使うと良いのではないか？
って読んだ
- 586 名前：デフォルトの名無しさん [2005/06/22(水) 21:21:16 ]
- お前の日本語力、理解力が低いのは、よく判った。
これまでの言語処理系発展の歴史の中で、
それまで言語処理系内部の仕組みとしてユーザの立ち入りを禁止していた機構
例えば：メモリーの動的アロケーション、型の追加定義、型を推測する仕組み
が、簡潔かつ安全な形でユーザに開放されてきた。
・Lispのように高階関数で言語の実行機構を弄る事ができる言語、
・オブジェクト指向言語のように、データと操作をカプセル化して新しい型を定義しやすい言語、
は、上記のような「新しい機構のユーザへの開放」を実験するのに適しているのではないか？
以上
- 587 名前：583=586 [2005/06/22(水) 21:22:41 ]
- >>585
介錯かたじけないっす。
>>586は>>584宛ての熱いラブレターでつ・・・
- 588 名前：583じゃないが mailto:sage [2005/06/22(水) 21:25:17 ]
- 読みにくいです
- 589 名前：デフォルトの名無しさん mailto:sage [2005/06/22(水) 21:28:39 ]
- はい。反省。
さっき翻訳の真似事で下訳してたから、
むちゃくちゃな語順の日本語をしゃべってるかもしれない・・・
- 590 名前：デフォルトの名無しさん [2005/06/23(木) 00:07:11 ]
- >>586
アフォ
- 591 名前：デフォルトの名無しさん mailto:sage [2005/06/23(木) 00:11:25 ]
- 哀れな奴
- 592 名前：デフォルトの名無しさん mailto:sage [2005/06/23(木) 02:12:10 ]
- 字句解析はできる
コンパイルも通って実行もできる
でも実行した結果は意味不明
そんな感じの文章
- 593 名前：デフォルトの名無しさん mailto:sage [2005/06/23(木) 04:16:57 ]
- 重箱の隅つつくだけ
- 594 名前：デフォルトの名無しさん mailto:sage [2005/06/24(金) 04:24:43 ]
- >>553
O'Reilly の Lex & Yacc には少なくても無い。
用語の説明コーナーに出ているだけ
- 595 名前：デフォルトの名無しさん mailto:sage [2005/06/24(金) 22:01:28 ]
- bison でのエラーメッセージの出し方で質問です。
スクリプト言語を作ろうとしてて
入力にエラーがあったときに詳細なエラーメッセージを出したいんですが
どのようにしたらいいでしょうか？
例えば
if x != 0 {
^
'(' expected.
とか出したいんですが、そもそも「if文の途中」というのが
取れるんでしょうか？
また、現在注目しているトークンの値（yylexからの戻り値）
はどこかに格納されてるでしょうか？
- 596 名前：デフォルトの名無しさん mailto:sage [2005/06/24(金) 22:08:57 ]
- まあ>>595くらいのレベルがこのスレにちょうどあってる気がする
- 597 名前：デフォルトの名無しさん mailto:sage [2005/06/24(金) 23:12:59 ]
- 見てると、LispとRuby、両方ともアンチが厨なだけに見える。
厨だから、ちょっとこの二つが出てくるとすぐ暴れだして
荒れる。
- 598 名前：デフォルトの名無しさん mailto:sage [2005/06/24(金) 23:18:57 ]
- >>597
わかってないな。
何かを貶す時の基本は度外れに褒めまくること。
そうすれば>>597のようなアホがほいほいつられてくれる。
- 599 名前：デフォルトの名無しさん mailto:sage [2005/06/25(土) 00:32:42 ]
- >>595
lexerはどうしてるの？
Lex等を使わずに自分で書いたのなら、どこまで処理してるかは把握してるのでは？
lookahead tokenの値は変数yycharにおさめられてます。
- 600 名前：デフォルトの名無しさん mailto:sage [2005/06/25(土) 01:21:33 ]
- >>595 bisonのオプション
#define YYERROR_VERBOSE 1 /* Enable verbose error messages. */
マニュアルにも出てるはず
> そもそも「if文の途中」というのが
> 取れるんでしょうか？
bison の error を使えば if文の途中でパース失敗した
ときのアクションとか付けられる
なんか説明しづらいけどマニュアルのサンプルに出てそう
- 601 名前：デフォルトの名無しさん [2005/06/25(土) 09:59:34 ]
- >>595
すれ違い。
Lisperより
- 602 名前：595 mailto:sage [2005/06/25(土) 10:03:24 ]
- みなさんありがとうございます。これから試してみようと思います。
>599
flexを使ってます。bison側で「@x」と書けば、トークンの位置が取れると
www1.kcn.ne.jp/~robe/pf/pf012.html
に書いてあったんですがまだ試してません。yycharですか、ありがとうございます。
>600
YYERROR_VERBOSE は試してみました。多少わかりやすいエラーメッセージが
yyerrorに与えられるようになったんですが、自動生成じゃなく自分でエラーメッセージを
決めたいんです（Cコンパイラが出すような）。
error は今のところトップレベルでやっちゃってるんで、
そこを文それぞれにもってかないとだめなんですね。
- 603 名前：デフォルトの名無しさん mailto:sage [2005/06/25(土) 12:44:21 ]
- >>601
死ね。
- 604 名前：デフォルトの名無しさん mailto:sage [2005/06/25(土) 19:51:54 ]
- >>601 ってなにもの?
Lisp 屋からみてもはずかすぃんだけど...
|
 |
