Skip to content

Commit 36bfcf6

Browse files
bladyjokerbladyjoker
committed
Successful lbf run after Vlad's fix on Opaques missing from the context
1 parent e3df106 commit 36bfcf6

File tree

2 files changed

+58
-1046
lines changed

2 files changed

+58
-1046
lines changed

‎lambda-buffers-frontend/resources/good/work-dir/compiler-input.textproto‎

Lines changed: 57 additions & 41 deletions
Original file line numberDiff line numberDiff line change
@@ -647,13 +647,29 @@ modules {
647647
pos_to { column: 11 row: 20 }
648648
}
649649
}
650+
type_defs {
651+
ty_name {
652+
name: "Bytes"
653+
source_info {
654+
file: "good/Test.lbf"
655+
pos_from { column: 8 row: 22 }
656+
pos_to { column: 13 row: 22 }
657+
}
658+
}
659+
ty_abs { ty_body { opaque {} } }
660+
source_info {
661+
file: "good/Test.lbf"
662+
pos_from { column: 1 row: 22 }
663+
pos_to { column: 13 row: 22 }
664+
}
665+
}
650666
type_defs {
651667
ty_name {
652668
name: "Foo"
653669
source_info {
654670
file: "good/Test.lbf"
655-
pos_from { column: 5 row: 22 }
656-
pos_to { column: 8 row: 22 }
671+
pos_from { column: 5 row: 24 }
672+
pos_to { column: 8 row: 24 }
657673
}
658674
}
659675
ty_abs {
@@ -662,8 +678,8 @@ modules {
662678
arg_kind { kind_ref: KIND_REF_TYPE }
663679
source_info {
664680
file: "good/Test.lbf"
665-
pos_from { column: 9 row: 22 }
666-
pos_to { column: 10 row: 22 }
681+
pos_from { column: 9 row: 24 }
682+
pos_to { column: 10 row: 24 }
667683
}
668684
}
669685
ty_body {
@@ -673,8 +689,8 @@ modules {
673689
name: "MkFoo"
674690
source_info {
675691
file: "good/Test.lbf"
676-
pos_from { column: 13 row: 22 }
677-
pos_to { column: 18 row: 22 }
692+
pos_from { column: 13 row: 24 }
693+
pos_to { column: 18 row: 24 }
678694
}
679695
}
680696
product {
@@ -686,8 +702,8 @@ modules {
686702
name: "A"
687703
source_info {
688704
file: "good/Test.lbf"
689-
pos_from { column: 5 row: 23 }
690-
pos_to { column: 6 row: 23 }
705+
pos_from { column: 5 row: 25 }
706+
pos_to { column: 6 row: 25 }
691707
}
692708
}
693709
module_name {
@@ -707,8 +723,8 @@ modules {
707723
}
708724
source_info {
709725
file: "good/Test.lbf"
710-
pos_from { column: 5 row: 23 }
711-
pos_to { column: 6 row: 23 }
726+
pos_from { column: 5 row: 25 }
727+
pos_to { column: 6 row: 25 }
712728
}
713729
}
714730
}
@@ -720,8 +736,8 @@ modules {
720736
name: "A"
721737
source_info {
722738
file: "good/Test.lbf"
723-
pos_from { column: 7 row: 24 }
724-
pos_to { column: 8 row: 24 }
739+
pos_from { column: 7 row: 26 }
740+
pos_to { column: 8 row: 26 }
725741
}
726742
}
727743
module_name {
@@ -741,8 +757,8 @@ modules {
741757
}
742758
source_info {
743759
file: "good/Test.lbf"
744-
pos_from { column: 5 row: 24 }
745-
pos_to { column: 8 row: 24 }
760+
pos_from { column: 5 row: 26 }
761+
pos_to { column: 8 row: 26 }
746762
}
747763
}
748764
}
@@ -754,8 +770,8 @@ modules {
754770
name: "A"
755771
source_info {
756772
file: "good/Test.lbf"
757-
pos_from { column: 7 row: 25 }
758-
pos_to { column: 8 row: 25 }
773+
pos_from { column: 7 row: 27 }
774+
pos_to { column: 8 row: 27 }
759775
}
760776
}
761777
module_name {
@@ -775,8 +791,8 @@ modules {
775791
}
776792
source_info {
777793
file: "good/Test.lbf"
778-
pos_from { column: 5 row: 25 }
779-
pos_to { column: 8 row: 25 }
794+
pos_from { column: 5 row: 27 }
795+
pos_to { column: 8 row: 27 }
780796
}
781797
}
782798
}
@@ -788,8 +804,8 @@ modules {
788804
name: "A"
789805
source_info {
790806
file: "good/Test.lbf"
791-
pos_from { column: 9 row: 26 }
792-
pos_to { column: 10 row: 26 }
807+
pos_from { column: 9 row: 28 }
808+
pos_to { column: 10 row: 28 }
793809
}
794810
}
795811
module_name {
@@ -817,8 +833,8 @@ modules {
817833
}
818834
source_info {
819835
file: "good/Test.lbf"
820-
pos_from { column: 5 row: 26 }
821-
pos_to { column: 10 row: 26 }
836+
pos_from { column: 5 row: 28 }
837+
pos_to { column: 10 row: 28 }
822838
}
823839
}
824840
}
@@ -830,8 +846,8 @@ modules {
830846
name: "A"
831847
source_info {
832848
file: "good/Test.lbf"
833-
pos_from { column: 8 row: 27 }
834-
pos_to { column: 9 row: 27 }
849+
pos_from { column: 8 row: 29 }
850+
pos_to { column: 9 row: 29 }
835851
}
836852
}
837853
module_name {
@@ -859,8 +875,8 @@ modules {
859875
}
860876
source_info {
861877
file: "good/Test.lbf"
862-
pos_from { column: 5 row: 27 }
863-
pos_to { column: 9 row: 27 }
878+
pos_from { column: 5 row: 29 }
879+
pos_to { column: 9 row: 29 }
864880
}
865881
}
866882
}
@@ -872,8 +888,8 @@ modules {
872888
name: "A"
873889
source_info {
874890
file: "good/Test.lbf"
875-
pos_from { column: 7 row: 28 }
876-
pos_to { column: 8 row: 28 }
891+
pos_from { column: 7 row: 30 }
892+
pos_to { column: 8 row: 30 }
877893
}
878894
}
879895
module_name {
@@ -893,8 +909,8 @@ modules {
893909
}
894910
source_info {
895911
file: "good/Test.lbf"
896-
pos_from { column: 5 row: 28 }
897-
pos_to { column: 8 row: 28 }
912+
pos_from { column: 5 row: 30 }
913+
pos_to { column: 8 row: 30 }
898914
}
899915
}
900916
}
@@ -906,8 +922,8 @@ modules {
906922
name: "A"
907923
source_info {
908924
file: "good/Test.lbf"
909-
pos_from { column: 7 row: 29 }
910-
pos_to { column: 8 row: 29 }
925+
pos_from { column: 7 row: 31 }
926+
pos_to { column: 8 row: 31 }
911927
}
912928
}
913929
module_name {
@@ -927,37 +943,37 @@ modules {
927943
}
928944
source_info {
929945
file: "good/Test.lbf"
930-
pos_from { column: 5 row: 29 }
931-
pos_to { column: 8 row: 29 }
946+
pos_from { column: 5 row: 31 }
947+
pos_to { column: 8 row: 31 }
932948
}
933949
}
934950
}
935951
}
936952
source_info {
937953
file: "good/Test.lbf"
938-
pos_from { column: 2 row: 23 }
939-
pos_to { column: 8 row: 29 }
954+
pos_from { column: 2 row: 25 }
955+
pos_to { column: 8 row: 31 }
940956
}
941957
}
942958
}
943959
}
944960
source_info {
945961
file: "good/Test.lbf"
946-
pos_from { column: 13 row: 22 }
947-
pos_to { column: 8 row: 29 }
962+
pos_from { column: 13 row: 24 }
963+
pos_to { column: 8 row: 31 }
948964
}
949965
}
950966
}
951967
}
952968
source_info {
953969
file: "good/Test.lbf"
954-
pos_from { column: 1 row: 22 }
955-
pos_to { column: 8 row: 29 }
970+
pos_from { column: 1 row: 24 }
971+
pos_to { column: 8 row: 31 }
956972
}
957973
}
958974
source_info {
959975
file: "good/Test.lbf"
960976
pos_from { column: 1 row: 1 }
961-
pos_to { column: 1 row: 30 }
977+
pos_to { column: 1 row: 32 }
962978
}
963979
}

0 commit comments

Comments
 (0)