5703
5882
\199\000\199\000\199\000\199\000\199\000\199\000\199\000\199\000\
5704
5883
\199\000\199\000\199\000\199\000\199\000\199\000\199\000\199\000\
5705
5884
\199\000\199\000\199\000\199\000\199\000\255\255\199\000\199\000\
5706
\199\000\199\000\199\000\199\000\199\000\199\000\201\000\255\255\
5707
\255\255\201\000\255\255\255\255\255\255\255\255\255\255\255\255\
5708
\201\000\255\255\201\000\201\000\201\000\201\000\201\000\201\000\
5709
\201\000\201\000\201\000\201\000\201\000\255\255\255\255\255\255\
5710
\255\255\255\255\255\255\201\000\201\000\201\000\201\000\201\000\
5711
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5712
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5713
\201\000\201\000\201\000\201\000\201\000\255\255\255\255\255\255\
5885
\199\000\199\000\199\000\199\000\199\000\199\000\201\000\201\000\
5886
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5887
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5888
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5889
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5890
\201\000\201\000\201\000\201\000\201\000\255\255\201\000\201\000\
5891
\201\000\201\000\201\000\201\000\201\000\201\000\255\255\255\255\
5892
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5893
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\255\255\
5894
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5895
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5896
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5897
\255\255\201\000\201\000\201\000\201\000\255\255\201\000\255\255\
5898
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5899
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5900
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5714
5901
\255\255\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5715
5902
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5716
5903
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5717
\201\000\201\000\201\000\201\000\201\000\255\255\255\255\255\255\
5718
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5719
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5720
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5721
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5722
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5723
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5724
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5725
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5726
\255\255\255\255\201\000\201\000\201\000\201\000\201\000\201\000\
5727
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5728
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5729
\201\000\255\255\201\000\201\000\201\000\201\000\201\000\201\000\
5730
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5731
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5732
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5733
\201\000\255\255\201\000\201\000\201\000\201\000\201\000\201\000\
5734
\201\000\201\000\201\000\205\000\255\255\255\255\255\255\255\255\
5735
\255\255\255\255\255\255\255\255\205\000\205\000\205\000\205\000\
5736
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\255\255\
5737
\255\255\255\255\255\255\255\255\255\255\205\000\205\000\205\000\
5738
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5739
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5740
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\255\255\
5741
\255\255\255\255\255\255\205\000\255\255\205\000\205\000\205\000\
5742
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5743
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5744
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\255\255\
5745
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5746
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5747
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5748
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5749
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5750
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5751
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5752
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5753
\255\255\255\255\255\255\255\255\205\000\205\000\205\000\205\000\
5754
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5755
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5756
\205\000\205\000\205\000\255\255\205\000\205\000\205\000\205\000\
5757
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5758
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5759
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5760
\205\000\205\000\205\000\255\255\205\000\205\000\205\000\205\000\
5761
\205\000\205\000\205\000\205\000\206\000\255\255\255\255\255\255\
5762
\255\255\255\255\255\255\206\000\255\255\206\000\206\000\206\000\
5763
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5904
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5905
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5906
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5907
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5908
\201\000\201\000\201\000\201\000\201\000\201\000\201\000\201\000\
5909
\201\000\201\000\201\000\201\000\201\000\201\000\255\255\255\255\
5910
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5911
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5912
\255\255\255\255\255\255\255\255\255\255\201\000\255\255\255\255\
5913
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5914
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5915
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5916
\255\255\255\255\255\255\255\255\255\255\201\000\205\000\255\255\
5917
\255\255\255\255\255\255\255\255\255\255\255\255\201\000\205\000\
5918
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5919
\205\000\205\000\255\255\255\255\255\255\255\255\255\255\255\255\
5920
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5921
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5922
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5923
\205\000\205\000\255\255\255\255\255\255\255\255\205\000\255\255\
5924
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5925
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5926
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5927
\205\000\205\000\255\255\255\255\255\255\255\255\255\255\255\255\
5928
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5929
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5930
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5931
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5932
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5933
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5934
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5935
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\205\000\
5936
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5937
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5938
\205\000\205\000\205\000\205\000\205\000\205\000\255\255\205\000\
5939
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5940
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5941
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\205\000\
5942
\205\000\205\000\205\000\205\000\205\000\205\000\255\255\205\000\
5943
\205\000\205\000\205\000\205\000\205\000\205\000\205\000\206\000\
5944
\255\255\255\255\255\255\255\255\255\255\206\000\255\255\255\255\
5945
\255\255\255\255\255\255\255\255\206\000\255\255\206\000\206\000\
5946
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5947
\206\000\255\255\255\255\255\255\255\255\255\255\255\255\206\000\
5948
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5949
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5950
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5951
\206\000\255\255\255\255\255\255\255\255\206\000\255\255\206\000\
5952
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5953
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5954
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5955
\206\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5956
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5957
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5958
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5959
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5960
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5961
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5962
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5764
5963
\255\255\255\255\255\255\255\255\255\255\255\255\206\000\206\000\
5765
5964
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5766
5965
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5767
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5768
\255\255\255\255\255\255\255\255\206\000\255\255\206\000\206\000\
5769
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5770
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5771
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5772
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5773
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5774
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5775
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5776
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5777
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5778
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5779
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5780
\255\255\255\255\255\255\255\255\255\255\206\000\206\000\206\000\
5781
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5782
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5783
\206\000\206\000\206\000\206\000\255\255\206\000\206\000\206\000\
5784
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5785
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5786
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5787
\206\000\206\000\206\000\206\000\209\000\206\000\206\000\206\000\
5788
\206\000\206\000\206\000\206\000\206\000\209\000\209\000\209\000\
5789
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5790
\255\255\255\255\255\255\255\255\255\255\255\255\209\000\209\000\
5791
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5792
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5793
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5794
\255\255\255\255\255\255\255\255\209\000\255\255\209\000\209\000\
5795
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5796
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5797
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5798
\255\255\255\255\255\255\255\255\255\255\255\255\218\000\218\000\
5799
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5800
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5801
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5802
\255\255\255\255\255\255\255\255\218\000\255\255\218\000\218\000\
5803
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5804
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5805
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5806
\255\255\255\255\255\255\255\255\255\255\209\000\209\000\209\000\
5807
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5808
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5809
\209\000\209\000\209\000\209\000\255\255\209\000\209\000\209\000\
5810
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5811
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5812
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5813
\209\000\209\000\209\000\209\000\255\255\209\000\209\000\209\000\
5814
\209\000\209\000\209\000\209\000\209\000\218\000\218\000\218\000\
5815
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5816
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5817
\218\000\218\000\218\000\218\000\255\255\218\000\218\000\218\000\
5818
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5819
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5820
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5821
\218\000\218\000\218\000\218\000\255\255\218\000\218\000\218\000\
5822
\218\000\218\000\218\000\218\000\218\000\219\000\219\000\219\000\
5823
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5824
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5825
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\255\255\
5826
\255\255\255\255\255\255\219\000\255\255\219\000\219\000\219\000\
5827
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5828
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5829
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\255\255\
5830
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5831
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5832
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5833
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5834
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5835
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5836
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5837
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5838
\255\255\255\255\255\255\255\255\219\000\219\000\219\000\219\000\
5839
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5840
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5841
\219\000\219\000\219\000\255\255\219\000\219\000\219\000\219\000\
5842
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5843
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5844
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
5845
\219\000\219\000\219\000\220\000\219\000\219\000\219\000\219\000\
5846
\219\000\219\000\219\000\219\000\220\000\220\000\220\000\220\000\
5847
\220\000\220\000\220\000\220\000\220\000\220\000\255\255\255\255\
5848
\220\000\255\255\255\255\255\255\220\000\220\000\220\000\220\000\
5849
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5850
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5851
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\255\255\
5852
\255\255\255\255\255\255\220\000\255\255\220\000\220\000\220\000\
5853
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5854
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5855
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\255\255\
5856
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5857
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5858
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5859
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5860
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5861
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5862
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5863
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5864
\255\255\255\255\255\255\255\255\220\000\220\000\220\000\220\000\
5865
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5866
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5867
\220\000\220\000\220\000\255\255\220\000\220\000\220\000\220\000\
5868
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5869
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5870
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
5871
\220\000\220\000\220\000\221\000\220\000\220\000\220\000\220\000\
5872
\220\000\220\000\220\000\220\000\221\000\221\000\221\000\221\000\
5873
\221\000\221\000\221\000\221\000\221\000\221\000\255\255\255\255\
5874
\221\000\255\255\255\255\255\255\255\255\221\000\221\000\221\000\
5875
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5876
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5877
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\255\255\
5878
\255\255\255\255\255\255\221\000\255\255\221\000\221\000\221\000\
5879
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5880
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5881
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\255\255\
5882
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5883
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5884
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5885
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5886
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5887
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5888
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5889
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
5890
\255\255\255\255\255\255\255\255\221\000\221\000\221\000\221\000\
5891
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5892
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5893
\221\000\221\000\221\000\255\255\221\000\221\000\221\000\221\000\
5894
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5895
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5896
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
5897
\221\000\221\000\221\000\255\255\221\000\221\000\221\000\221\000\
5898
\221\000\221\000\221\000\221\000\255\255";
5966
\206\000\206\000\206\000\206\000\206\000\255\255\206\000\206\000\
5967
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5968
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5969
\206\000\206\000\206\000\206\000\206\000\206\000\206\000\206\000\
5970
\206\000\206\000\206\000\206\000\206\000\209\000\206\000\206\000\
5971
\206\000\206\000\206\000\206\000\206\000\206\000\209\000\209\000\
5972
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5973
\209\000\255\255\255\255\255\255\255\255\255\255\255\255\209\000\
5974
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5975
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5976
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5977
\209\000\255\255\255\255\255\255\255\255\209\000\255\255\209\000\
5978
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5979
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5980
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5981
\209\000\255\255\255\255\255\255\255\255\255\255\255\255\218\000\
5982
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5983
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5984
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5985
\218\000\255\255\255\255\255\255\255\255\218\000\255\255\218\000\
5986
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5987
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5988
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5989
\218\000\255\255\255\255\255\255\255\255\255\255\209\000\209\000\
5990
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5991
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5992
\209\000\209\000\209\000\209\000\209\000\255\255\209\000\209\000\
5993
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5994
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5995
\209\000\209\000\209\000\209\000\209\000\209\000\209\000\209\000\
5996
\209\000\209\000\209\000\209\000\209\000\255\255\209\000\209\000\
5997
\209\000\209\000\209\000\209\000\209\000\209\000\218\000\218\000\
5998
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
5999
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
6000
\218\000\218\000\218\000\218\000\218\000\255\255\218\000\218\000\
6001
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
6002
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
6003
\218\000\218\000\218\000\218\000\218\000\218\000\218\000\218\000\
6004
\218\000\218\000\218\000\218\000\218\000\255\255\218\000\218\000\
6005
\218\000\218\000\218\000\218\000\218\000\218\000\219\000\219\000\
6006
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6007
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6008
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6009
\255\255\255\255\255\255\255\255\219\000\255\255\219\000\219\000\
6010
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6011
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6012
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6013
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6014
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6015
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6016
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6017
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6018
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6019
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6020
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6021
\255\255\255\255\255\255\255\255\255\255\219\000\219\000\219\000\
6022
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6023
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6024
\219\000\219\000\219\000\219\000\255\255\219\000\219\000\219\000\
6025
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6026
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6027
\219\000\219\000\219\000\219\000\219\000\219\000\219\000\219\000\
6028
\219\000\219\000\219\000\219\000\220\000\219\000\219\000\219\000\
6029
\219\000\219\000\219\000\219\000\219\000\220\000\220\000\220\000\
6030
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\255\255\
6031
\255\255\220\000\255\255\255\255\255\255\220\000\220\000\220\000\
6032
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6033
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6034
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6035
\255\255\255\255\255\255\255\255\220\000\255\255\220\000\220\000\
6036
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6037
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6038
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6039
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6040
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6041
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6042
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6043
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6044
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6045
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6046
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6047
\255\255\255\255\255\255\255\255\255\255\220\000\220\000\220\000\
6048
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6049
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6050
\220\000\220\000\220\000\220\000\255\255\220\000\220\000\220\000\
6051
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6052
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6053
\220\000\220\000\220\000\220\000\220\000\220\000\220\000\220\000\
6054
\220\000\220\000\220\000\220\000\221\000\220\000\220\000\220\000\
6055
\220\000\220\000\220\000\220\000\220\000\221\000\221\000\221\000\
6056
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\255\255\
6057
\255\255\221\000\255\255\255\255\255\255\255\255\221\000\221\000\
6058
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6059
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6060
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6061
\255\255\255\255\255\255\255\255\221\000\255\255\221\000\221\000\
6062
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6063
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6064
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6065
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6066
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6067
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6068
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6069
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6070
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6071
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6072
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
6073
\255\255\255\255\255\255\255\255\255\255\221\000\221\000\221\000\
6074
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6075
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6076
\221\000\221\000\221\000\221\000\255\255\221\000\221\000\221\000\
6077
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6078
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6079
\221\000\221\000\221\000\221\000\221\000\221\000\221\000\221\000\
6080
\221\000\221\000\221\000\221\000\255\255\221\000\221\000\221\000\
6081
\221\000\221\000\221\000\221\000\221\000\255\255";
5899
6082
Lexing.lex_base_code =
5900
6083
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
5901
6084
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
7311
7511
let meta_bool _loc =
7314
Ast.ExId (_loc, Ast.IdUid (_loc, "False"))
7315
| true -> Ast.ExId (_loc, Ast.IdUid (_loc, "True"))
7514
Ast.ExId (_loc, (Ast.IdUid (_loc, "False")))
7516
Ast.ExId (_loc, (Ast.IdUid (_loc, "True")))
7317
7518
let rec meta_list mf_a _loc =
7319
| [] -> Ast.ExId (_loc, Ast.IdUid (_loc, "[]"))
7520
| [] -> Ast.ExId (_loc, (Ast.IdUid (_loc, "[]")))
7321
7522
Ast.ExApp (_loc,
7323
Ast.ExId (_loc, Ast.IdUid (_loc, "::")),
7325
meta_list mf_a _loc xs)
7524
(Ast.ExId (_loc, (Ast.IdUid (_loc, "::")))),
7526
(meta_list mf_a _loc xs))
7327
7528
let rec meta_binding _loc =
7329
7530
| Ast.BiAnt (x0, x1) -> Ast.ExAnt (x0, x1)
7330
7531
| Ast.BiEq (x0, x1, x2) ->
7331
7532
Ast.ExApp (_loc,
7336
Ast.IdUid (_loc, "Ast"),
7337
Ast.IdUid (_loc, "BiEq"))),
7537
(Ast.IdUid (_loc, "Ast")),
7538
(Ast.IdUid (_loc, "BiEq")))))),
7539
(meta_loc _loc x0))),
7540
(meta_patt _loc x1))),
7541
(meta_expr _loc x2))
7341
7542
| Ast.BiAnd (x0, x1, x2) ->
7342
7543
Ast.ExApp (_loc,
7347
Ast.IdUid (_loc, "Ast"),
7348
Ast.IdUid (_loc, "BiAnd"))),
7350
meta_binding _loc x1),
7351
meta_binding _loc x2)
7548
(Ast.IdUid (_loc, "Ast")),
7549
(Ast.IdUid (_loc, "BiAnd")))))),
7550
(meta_loc _loc x0))),
7551
(meta_binding _loc x1))),
7552
(meta_binding _loc x2))
7352
7553
| Ast.BiNil x0 ->
7353
7554
Ast.ExApp (_loc,
7355
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7356
Ast.IdUid (_loc, "BiNil"))),
7557
(Ast.IdUid (_loc, "Ast")),
7558
(Ast.IdUid (_loc, "BiNil")))))),
7358
7560
and meta_class_expr _loc =
7360
7562
| Ast.CeAnt (x0, x1) -> Ast.ExAnt (x0, x1)
7361
7563
| Ast.CeEq (x0, x1, x2) ->
7362
7564
Ast.ExApp (_loc,
7367
Ast.IdUid (_loc, "Ast"),
7368
Ast.IdUid (_loc, "CeEq"))),
7370
meta_class_expr _loc x1),
7371
meta_class_expr _loc x2)
7569
(Ast.IdUid (_loc, "Ast")),
7570
(Ast.IdUid (_loc, "CeEq")))))),
7571
(meta_loc _loc x0))),
7572
(meta_class_expr _loc x1))),
7573
(meta_class_expr _loc x2))
7372
7574
| Ast.CeAnd (x0, x1, x2) ->
7373
7575
Ast.ExApp (_loc,
7378
Ast.IdUid (_loc, "Ast"),
7379
Ast.IdUid (_loc, "CeAnd"))),
7381
meta_class_expr _loc x1),
7382
meta_class_expr _loc x2)
7580
(Ast.IdUid (_loc, "Ast")),
7581
(Ast.IdUid (_loc, "CeAnd")))))),
7582
(meta_loc _loc x0))),
7583
(meta_class_expr _loc x1))),
7584
(meta_class_expr _loc x2))
7383
7585
| Ast.CeTyc (x0, x1, x2) ->
7384
7586
Ast.ExApp (_loc,
7389
Ast.IdUid (_loc, "Ast"),
7390
Ast.IdUid (_loc, "CeTyc"))),
7392
meta_class_expr _loc x1),
7393
meta_class_type _loc x2)
7591
(Ast.IdUid (_loc, "Ast")),
7592
(Ast.IdUid (_loc, "CeTyc")))))),
7593
(meta_loc _loc x0))),
7594
(meta_class_expr _loc x1))),
7595
(meta_class_type _loc x2))
7394
7596
| Ast.CeStr (x0, x1, x2) ->
7395
7597
Ast.ExApp (_loc,
7400
Ast.IdUid (_loc, "Ast"),
7401
Ast.IdUid (_loc, "CeStr"))),
7404
meta_class_str_item _loc x2)
7602
(Ast.IdUid (_loc, "Ast")),
7603
(Ast.IdUid (_loc, "CeStr")))))),
7604
(meta_loc _loc x0))),
7605
(meta_patt _loc x1))),
7606
(meta_class_str_item _loc x2))
7405
7607
| Ast.CeLet (x0, x1, x2, x3) ->
7406
7608
Ast.ExApp (_loc,
7412
Ast.IdUid (_loc, "Ast"),
7413
Ast.IdUid (_loc, "CeLet"))),
7415
meta_meta_bool _loc x1),
7416
meta_binding _loc x2),
7417
meta_class_expr _loc x3)
7614
(Ast.IdUid (_loc, "Ast")),
7615
(Ast.IdUid (_loc, "CeLet")))))),
7616
(meta_loc _loc x0))),
7617
(meta_rec_flag _loc x1))),
7618
(meta_binding _loc x2))),
7619
(meta_class_expr _loc x3))
7418
7620
| Ast.CeFun (x0, x1, x2) ->
7419
7621
Ast.ExApp (_loc,
7424
Ast.IdUid (_loc, "Ast"),
7425
Ast.IdUid (_loc, "CeFun"))),
7428
meta_class_expr _loc x2)
7626
(Ast.IdUid (_loc, "Ast")),
7627
(Ast.IdUid (_loc, "CeFun")))))),
7628
(meta_loc _loc x0))),
7629
(meta_patt _loc x1))),
7630
(meta_class_expr _loc x2))
7429
7631
| Ast.CeCon (x0, x1, x2, x3) ->
7430
7632
Ast.ExApp (_loc,
7436
Ast.IdUid (_loc, "Ast"),
7437
Ast.IdUid (_loc, "CeCon"))),
7439
meta_meta_bool _loc x1),
7440
meta_ident _loc x2),
7638
(Ast.IdUid (_loc, "Ast")),
7639
(Ast.IdUid (_loc, "CeCon")))))),
7640
(meta_loc _loc x0))),
7641
(meta_virtual_flag _loc x1))),
7642
(meta_ident _loc x2))),
7643
(meta_ctyp _loc x3))
7442
7644
| Ast.CeApp (x0, x1, x2) ->
7443
7645
Ast.ExApp (_loc,
7448
Ast.IdUid (_loc, "Ast"),
7449
Ast.IdUid (_loc, "CeApp"))),
7451
meta_class_expr _loc x1),
7650
(Ast.IdUid (_loc, "Ast")),
7651
(Ast.IdUid (_loc, "CeApp")))))),
7652
(meta_loc _loc x0))),
7653
(meta_class_expr _loc x1))),
7654
(meta_expr _loc x2))
7453
7655
| Ast.CeNil x0 ->
7454
7656
Ast.ExApp (_loc,
7456
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7457
Ast.IdUid (_loc, "CeNil"))),
7659
(Ast.IdUid (_loc, "Ast")),
7660
(Ast.IdUid (_loc, "CeNil")))))),
7459
7662
and meta_class_sig_item _loc =
7461
7664
| Ast.CgAnt (x0, x1) -> Ast.ExAnt (x0, x1)
7462
7665
| Ast.CgVir (x0, x1, x2, x3) ->
7463
7666
Ast.ExApp (_loc,
7469
Ast.IdUid (_loc, "Ast"),
7470
Ast.IdUid (_loc, "CgVir"))),
7472
meta_string _loc x1),
7473
meta_meta_bool _loc x2),
7672
(Ast.IdUid (_loc, "Ast")),
7673
(Ast.IdUid (_loc, "CgVir")))))),
7674
(meta_loc _loc x0))),
7675
(meta_string _loc x1))),
7676
(meta_private_flag _loc x2))),
7677
(meta_ctyp _loc x3))
7475
7678
| Ast.CgVal (x0, x1, x2, x3, x4) ->
7476
7679
Ast.ExApp (_loc,
7483
Ast.IdUid (_loc, "Ast"),
7484
Ast.IdUid (_loc, "CgVal"))),
7486
meta_string _loc x1),
7487
meta_meta_bool _loc x2),
7488
meta_meta_bool _loc x3),
7686
(Ast.IdUid (_loc, "Ast")),
7687
(Ast.IdUid (_loc, "CgVal")))))),
7688
(meta_loc _loc x0))),
7689
(meta_string _loc x1))),
7690
(meta_mutable_flag _loc x2))),
7691
(meta_virtual_flag _loc x3))),
7692
(meta_ctyp _loc x4))
7490
7693
| Ast.CgMth (x0, x1, x2, x3) ->
7491
7694
Ast.ExApp (_loc,
7497
Ast.IdUid (_loc, "Ast"),
7498
Ast.IdUid (_loc, "CgMth"))),
7500
meta_string _loc x1),
7501
meta_meta_bool _loc x2),
7700
(Ast.IdUid (_loc, "Ast")),
7701
(Ast.IdUid (_loc, "CgMth")))))),
7702
(meta_loc _loc x0))),
7703
(meta_string _loc x1))),
7704
(meta_private_flag _loc x2))),
7705
(meta_ctyp _loc x3))
7503
7706
| Ast.CgInh (x0, x1) ->
7504
7707
Ast.ExApp (_loc,
7507
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7508
Ast.IdUid (_loc, "CgInh"))),
7510
meta_class_type _loc x1)
7711
(Ast.IdUid (_loc, "Ast")),
7712
(Ast.IdUid (_loc, "CgInh")))))),
7713
(meta_loc _loc x0))),
7714
(meta_class_type _loc x1))
7511
7715
| Ast.CgSem (x0, x1, x2) ->
7512
7716
Ast.ExApp (_loc,
7517
Ast.IdUid (_loc, "Ast"),
7518
Ast.IdUid (_loc, "CgSem"))),
7520
meta_class_sig_item _loc x1),
7521
meta_class_sig_item _loc x2)
7721
(Ast.IdUid (_loc, "Ast")),
7722
(Ast.IdUid (_loc, "CgSem")))))),
7723
(meta_loc _loc x0))),
7724
(meta_class_sig_item _loc x1))),
7725
(meta_class_sig_item _loc x2))
7522
7726
| Ast.CgCtr (x0, x1, x2) ->
7523
7727
Ast.ExApp (_loc,
7528
Ast.IdUid (_loc, "Ast"),
7529
Ast.IdUid (_loc, "CgCtr"))),
7732
(Ast.IdUid (_loc, "Ast")),
7733
(Ast.IdUid (_loc, "CgCtr")))))),
7734
(meta_loc _loc x0))),
7735
(meta_ctyp _loc x1))),
7736
(meta_ctyp _loc x2))
7533
7737
| Ast.CgNil x0 ->
7534
7738
Ast.ExApp (_loc,
7536
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7537
Ast.IdUid (_loc, "CgNil"))),
7741
(Ast.IdUid (_loc, "Ast")),
7742
(Ast.IdUid (_loc, "CgNil")))))),
7539
7744
and meta_class_str_item _loc =
7541
7746
| Ast.CrAnt (x0, x1) -> Ast.ExAnt (x0, x1)
7542
7747
| Ast.CrVvr (x0, x1, x2, x3) ->
7543
7748
Ast.ExApp (_loc,
7549
Ast.IdUid (_loc, "Ast"),
7550
Ast.IdUid (_loc, "CrVvr"))),
7552
meta_string _loc x1),
7553
meta_meta_bool _loc x2),
7754
(Ast.IdUid (_loc, "Ast")),
7755
(Ast.IdUid (_loc, "CrVvr")))))),
7756
(meta_loc _loc x0))),
7757
(meta_string _loc x1))),
7758
(meta_mutable_flag _loc x2))),
7759
(meta_ctyp _loc x3))
7555
7760
| Ast.CrVir (x0, x1, x2, x3) ->
7556
7761
Ast.ExApp (_loc,
7562
Ast.IdUid (_loc, "Ast"),
7563
Ast.IdUid (_loc, "CrVir"))),
7565
meta_string _loc x1),
7566
meta_meta_bool _loc x2),
7568
| Ast.CrVal (x0, x1, x2, x3) ->
7575
Ast.IdUid (_loc, "Ast"),
7576
Ast.IdUid (_loc, "CrVal"))),
7578
meta_string _loc x1),
7579
meta_meta_bool _loc x2),
7581
| Ast.CrMth (x0, x1, x2, x3, x4) ->
7589
Ast.IdUid (_loc, "Ast"),
7590
Ast.IdUid (_loc, "CrMth"))),
7592
meta_string _loc x1),
7593
meta_meta_bool _loc x2),
7767
(Ast.IdUid (_loc, "Ast")),
7768
(Ast.IdUid (_loc, "CrVir")))))),
7769
(meta_loc _loc x0))),
7770
(meta_string _loc x1))),
7771
(meta_private_flag _loc x2))),
7772
(meta_ctyp _loc x3))
7773
| Ast.CrVal (x0, x1, x2, x3, x4) ->
7781
(Ast.IdUid (_loc, "Ast")),
7782
(Ast.IdUid (_loc, "CrVal")))))),
7783
(meta_loc _loc x0))),
7784
(meta_string _loc x1))),
7785
(meta_override_flag _loc x2))),
7786
(meta_mutable_flag _loc x3))),
7787
(meta_expr _loc x4))
7788
| Ast.CrMth (x0, x1, x2, x3, x4, x5) ->
7797
(Ast.IdUid (_loc, "Ast")),
7800
(meta_loc _loc x0))),
7801
(meta_string _loc x1))),
7802
(meta_override_flag _loc x2))),
7803
(meta_private_flag _loc x3))),
7804
(meta_expr _loc x4))),
7805
(meta_ctyp _loc x5))
7596
7806
| Ast.CrIni (x0, x1) ->
7597
7807
Ast.ExApp (_loc,
7600
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7601
Ast.IdUid (_loc, "CrIni"))),
7604
| Ast.CrInh (x0, x1, x2) ->
7811
(Ast.IdUid (_loc, "Ast")),
7812
(Ast.IdUid (_loc, "CrIni")))))),
7813
(meta_loc _loc x0))),
7814
(meta_expr _loc x1))
7815
| Ast.CrInh (x0, x1, x2, x3) ->
7605
7816
Ast.ExApp (_loc,
7610
Ast.IdUid (_loc, "Ast"),
7611
Ast.IdUid (_loc, "CrInh"))),
7613
meta_class_expr _loc x1),
7614
meta_string _loc x2)
7822
(Ast.IdUid (_loc, "Ast")),
7823
(Ast.IdUid (_loc, "CrInh")))))),
7824
(meta_loc _loc x0))),
7825
(meta_override_flag _loc x1))),
7826
(meta_class_expr _loc x2))),
7827
(meta_string _loc x3))
7615
7828
| Ast.CrCtr (x0, x1, x2) ->
7616
7829
Ast.ExApp (_loc,
7621
Ast.IdUid (_loc, "Ast"),
7622
Ast.IdUid (_loc, "CrCtr"))),
7834
(Ast.IdUid (_loc, "Ast")),
7835
(Ast.IdUid (_loc, "CrCtr")))))),
7836
(meta_loc _loc x0))),
7837
(meta_ctyp _loc x1))),
7838
(meta_ctyp _loc x2))
7626
7839
| Ast.CrSem (x0, x1, x2) ->
7627
7840
Ast.ExApp (_loc,
7632
Ast.IdUid (_loc, "Ast"),
7633
Ast.IdUid (_loc, "CrSem"))),
7635
meta_class_str_item _loc x1),
7636
meta_class_str_item _loc x2)
7845
(Ast.IdUid (_loc, "Ast")),
7846
(Ast.IdUid (_loc, "CrSem")))))),
7847
(meta_loc _loc x0))),
7848
(meta_class_str_item _loc x1))),
7849
(meta_class_str_item _loc x2))
7637
7850
| Ast.CrNil x0 ->
7638
7851
Ast.ExApp (_loc,
7640
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7641
Ast.IdUid (_loc, "CrNil"))),
7854
(Ast.IdUid (_loc, "Ast")),
7855
(Ast.IdUid (_loc, "CrNil")))))),
7643
7857
and meta_class_type _loc =
7645
7859
| Ast.CtAnt (x0, x1) -> Ast.ExAnt (x0, x1)
7646
7860
| Ast.CtEq (x0, x1, x2) ->
7647
7861
Ast.ExApp (_loc,
7652
Ast.IdUid (_loc, "Ast"),
7653
Ast.IdUid (_loc, "CtEq"))),
7655
meta_class_type _loc x1),
7656
meta_class_type _loc x2)
7866
(Ast.IdUid (_loc, "Ast")),
7867
(Ast.IdUid (_loc, "CtEq")))))),
7868
(meta_loc _loc x0))),
7869
(meta_class_type _loc x1))),
7870
(meta_class_type _loc x2))
7657
7871
| Ast.CtCol (x0, x1, x2) ->
7658
7872
Ast.ExApp (_loc,
7663
Ast.IdUid (_loc, "Ast"),
7664
Ast.IdUid (_loc, "CtCol"))),
7666
meta_class_type _loc x1),
7667
meta_class_type _loc x2)
7877
(Ast.IdUid (_loc, "Ast")),
7878
(Ast.IdUid (_loc, "CtCol")))))),
7879
(meta_loc _loc x0))),
7880
(meta_class_type _loc x1))),
7881
(meta_class_type _loc x2))
7668
7882
| Ast.CtAnd (x0, x1, x2) ->
7669
7883
Ast.ExApp (_loc,
7674
Ast.IdUid (_loc, "Ast"),
7675
Ast.IdUid (_loc, "CtAnd"))),
7677
meta_class_type _loc x1),
7678
meta_class_type _loc x2)
7888
(Ast.IdUid (_loc, "Ast")),
7889
(Ast.IdUid (_loc, "CtAnd")))))),
7890
(meta_loc _loc x0))),
7891
(meta_class_type _loc x1))),
7892
(meta_class_type _loc x2))
7679
7893
| Ast.CtSig (x0, x1, x2) ->
7680
7894
Ast.ExApp (_loc,
7685
Ast.IdUid (_loc, "Ast"),
7686
Ast.IdUid (_loc, "CtSig"))),
7689
meta_class_sig_item _loc x2)
7899
(Ast.IdUid (_loc, "Ast")),
7900
(Ast.IdUid (_loc, "CtSig")))))),
7901
(meta_loc _loc x0))),
7902
(meta_ctyp _loc x1))),
7903
(meta_class_sig_item _loc x2))
7690
7904
| Ast.CtFun (x0, x1, x2) ->
7691
7905
Ast.ExApp (_loc,
7696
Ast.IdUid (_loc, "Ast"),
7697
Ast.IdUid (_loc, "CtFun"))),
7700
meta_class_type _loc x2)
7910
(Ast.IdUid (_loc, "Ast")),
7911
(Ast.IdUid (_loc, "CtFun")))))),
7912
(meta_loc _loc x0))),
7913
(meta_ctyp _loc x1))),
7914
(meta_class_type _loc x2))
7701
7915
| Ast.CtCon (x0, x1, x2, x3) ->
7702
7916
Ast.ExApp (_loc,
7708
Ast.IdUid (_loc, "Ast"),
7709
Ast.IdUid (_loc, "CtCon"))),
7711
meta_meta_bool _loc x1),
7712
meta_ident _loc x2),
7922
(Ast.IdUid (_loc, "Ast")),
7923
(Ast.IdUid (_loc, "CtCon")))))),
7924
(meta_loc _loc x0))),
7925
(meta_virtual_flag _loc x1))),
7926
(meta_ident _loc x2))),
7927
(meta_ctyp _loc x3))
7714
7928
| Ast.CtNil x0 ->
7715
7929
Ast.ExApp (_loc,
7717
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7718
Ast.IdUid (_loc, "CtNil"))),
7932
(Ast.IdUid (_loc, "Ast")),
7933
(Ast.IdUid (_loc, "CtNil")))))),
7720
7935
and meta_ctyp _loc =
7722
7937
| Ast.TyAnt (x0, x1) -> Ast.ExAnt (x0, x1)
7938
| Ast.TyPkg (x0, x1) ->
7943
(Ast.IdUid (_loc, "Ast")),
7944
(Ast.IdUid (_loc, "TyPkg")))))),
7945
(meta_loc _loc x0))),
7946
(meta_module_type _loc x1))
7723
7947
| Ast.TyOfAmp (x0, x1, x2) ->
7724
7948
Ast.ExApp (_loc,
7729
Ast.IdUid (_loc, "Ast"),
7730
Ast.IdUid (_loc, "TyOfAmp"))),
7953
(Ast.IdUid (_loc, "Ast")),
7954
(Ast.IdUid (_loc, "TyOfAmp")))))),
7955
(meta_loc _loc x0))),
7956
(meta_ctyp _loc x1))),
7957
(meta_ctyp _loc x2))
7734
7958
| Ast.TyAmp (x0, x1, x2) ->
7735
7959
Ast.ExApp (_loc,
7740
Ast.IdUid (_loc, "Ast"),
7741
Ast.IdUid (_loc, "TyAmp"))),
7964
(Ast.IdUid (_loc, "Ast")),
7965
(Ast.IdUid (_loc, "TyAmp")))))),
7966
(meta_loc _loc x0))),
7967
(meta_ctyp _loc x1))),
7968
(meta_ctyp _loc x2))
7745
7969
| Ast.TyVrnInfSup (x0, x1, x2) ->
7746
7970
Ast.ExApp (_loc,
7751
Ast.IdUid (_loc, "Ast"),
7752
Ast.IdUid (_loc, "TyVrnInfSup"))),
7975
(Ast.IdUid (_loc, "Ast")),
7976
(Ast.IdUid (_loc, "TyVrnInfSup")))))),
7977
(meta_loc _loc x0))),
7978
(meta_ctyp _loc x1))),
7979
(meta_ctyp _loc x2))
7756
7980
| Ast.TyVrnInf (x0, x1) ->
7757
7981
Ast.ExApp (_loc,
7760
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7761
Ast.IdUid (_loc, "TyVrnInf"))),
7985
(Ast.IdUid (_loc, "Ast")),
7986
(Ast.IdUid (_loc, "TyVrnInf")))))),
7987
(meta_loc _loc x0))),
7988
(meta_ctyp _loc x1))
7764
7989
| Ast.TyVrnSup (x0, x1) ->
7765
7990
Ast.ExApp (_loc,
7768
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7769
Ast.IdUid (_loc, "TyVrnSup"))),
7994
(Ast.IdUid (_loc, "Ast")),
7995
(Ast.IdUid (_loc, "TyVrnSup")))))),
7996
(meta_loc _loc x0))),
7997
(meta_ctyp _loc x1))
7772
7998
| Ast.TyVrnEq (x0, x1) ->
7773
7999
Ast.ExApp (_loc,
7776
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7777
Ast.IdUid (_loc, "TyVrnEq"))),
8003
(Ast.IdUid (_loc, "Ast")),
8004
(Ast.IdUid (_loc, "TyVrnEq")))))),
8005
(meta_loc _loc x0))),
8006
(meta_ctyp _loc x1))
7780
8007
| Ast.TySta (x0, x1, x2) ->
7781
8008
Ast.ExApp (_loc,
7786
Ast.IdUid (_loc, "Ast"),
7787
Ast.IdUid (_loc, "TySta"))),
8013
(Ast.IdUid (_loc, "Ast")),
8014
(Ast.IdUid (_loc, "TySta")))))),
8015
(meta_loc _loc x0))),
8016
(meta_ctyp _loc x1))),
8017
(meta_ctyp _loc x2))
7791
8018
| Ast.TyTup (x0, x1) ->
7792
8019
Ast.ExApp (_loc,
7795
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7796
Ast.IdUid (_loc, "TyTup"))),
8023
(Ast.IdUid (_loc, "Ast")),
8024
(Ast.IdUid (_loc, "TyTup")))))),
8025
(meta_loc _loc x0))),
8026
(meta_ctyp _loc x1))
7799
8027
| Ast.TyMut (x0, x1) ->
7800
8028
Ast.ExApp (_loc,
7803
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7804
Ast.IdUid (_loc, "TyMut"))),
8032
(Ast.IdUid (_loc, "Ast")),
8033
(Ast.IdUid (_loc, "TyMut")))))),
8034
(meta_loc _loc x0))),
8035
(meta_ctyp _loc x1))
7807
8036
| Ast.TyPrv (x0, x1) ->
7808
8037
Ast.ExApp (_loc,
7811
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7812
Ast.IdUid (_loc, "TyPrv"))),
8041
(Ast.IdUid (_loc, "Ast")),
8042
(Ast.IdUid (_loc, "TyPrv")))))),
8043
(meta_loc _loc x0))),
8044
(meta_ctyp _loc x1))
7815
8045
| Ast.TyOr (x0, x1, x2) ->
7816
8046
Ast.ExApp (_loc,
7821
Ast.IdUid (_loc, "Ast"),
7822
Ast.IdUid (_loc, "TyOr"))),
8051
(Ast.IdUid (_loc, "Ast")),
8052
(Ast.IdUid (_loc, "TyOr")))))),
8053
(meta_loc _loc x0))),
8054
(meta_ctyp _loc x1))),
8055
(meta_ctyp _loc x2))
7826
8056
| Ast.TyAnd (x0, x1, x2) ->
7827
8057
Ast.ExApp (_loc,
7832
Ast.IdUid (_loc, "Ast"),
7833
Ast.IdUid (_loc, "TyAnd"))),
8062
(Ast.IdUid (_loc, "Ast")),
8063
(Ast.IdUid (_loc, "TyAnd")))))),
8064
(meta_loc _loc x0))),
8065
(meta_ctyp _loc x1))),
8066
(meta_ctyp _loc x2))
7837
8067
| Ast.TyOf (x0, x1, x2) ->
7838
8068
Ast.ExApp (_loc,
7843
Ast.IdUid (_loc, "Ast"),
7844
Ast.IdUid (_loc, "TyOf"))),
8073
(Ast.IdUid (_loc, "Ast")),
8074
(Ast.IdUid (_loc, "TyOf")))))),
8075
(meta_loc _loc x0))),
8076
(meta_ctyp _loc x1))),
8077
(meta_ctyp _loc x2))
7848
8078
| Ast.TySum (x0, x1) ->
7849
8079
Ast.ExApp (_loc,
7852
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7853
Ast.IdUid (_loc, "TySum"))),
8083
(Ast.IdUid (_loc, "Ast")),
8084
(Ast.IdUid (_loc, "TySum")))))),
8085
(meta_loc _loc x0))),
8086
(meta_ctyp _loc x1))
7856
8087
| Ast.TyCom (x0, x1, x2) ->
7857
8088
Ast.ExApp (_loc,
7862
Ast.IdUid (_loc, "Ast"),
7863
Ast.IdUid (_loc, "TyCom"))),
8093
(Ast.IdUid (_loc, "Ast")),
8094
(Ast.IdUid (_loc, "TyCom")))))),
8095
(meta_loc _loc x0))),
8096
(meta_ctyp _loc x1))),
8097
(meta_ctyp _loc x2))
7867
8098
| Ast.TySem (x0, x1, x2) ->
7868
8099
Ast.ExApp (_loc,
7873
Ast.IdUid (_loc, "Ast"),
7874
Ast.IdUid (_loc, "TySem"))),
8104
(Ast.IdUid (_loc, "Ast")),
8105
(Ast.IdUid (_loc, "TySem")))))),
8106
(meta_loc _loc x0))),
8107
(meta_ctyp _loc x1))),
8108
(meta_ctyp _loc x2))
7878
8109
| Ast.TyCol (x0, x1, x2) ->
7879
8110
Ast.ExApp (_loc,
7884
Ast.IdUid (_loc, "Ast"),
7885
Ast.IdUid (_loc, "TyCol"))),
8115
(Ast.IdUid (_loc, "Ast")),
8116
(Ast.IdUid (_loc, "TyCol")))))),
8117
(meta_loc _loc x0))),
8118
(meta_ctyp _loc x1))),
8119
(meta_ctyp _loc x2))
7889
8120
| Ast.TyRec (x0, x1) ->
7890
8121
Ast.ExApp (_loc,
7893
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7894
Ast.IdUid (_loc, "TyRec"))),
8125
(Ast.IdUid (_loc, "Ast")),
8126
(Ast.IdUid (_loc, "TyRec")))))),
8127
(meta_loc _loc x0))),
8128
(meta_ctyp _loc x1))
7897
8129
| Ast.TyVrn (x0, x1) ->
7898
8130
Ast.ExApp (_loc,
7901
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7902
Ast.IdUid (_loc, "TyVrn"))),
7904
meta_string _loc x1)
8134
(Ast.IdUid (_loc, "Ast")),
8135
(Ast.IdUid (_loc, "TyVrn")))))),
8136
(meta_loc _loc x0))),
8137
(meta_string _loc x1))
7905
8138
| Ast.TyQuM (x0, x1) ->
7906
8139
Ast.ExApp (_loc,
7909
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7910
Ast.IdUid (_loc, "TyQuM"))),
7912
meta_string _loc x1)
8143
(Ast.IdUid (_loc, "Ast")),
8144
(Ast.IdUid (_loc, "TyQuM")))))),
8145
(meta_loc _loc x0))),
8146
(meta_string _loc x1))
7913
8147
| Ast.TyQuP (x0, x1) ->
7914
8148
Ast.ExApp (_loc,
7917
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7918
Ast.IdUid (_loc, "TyQuP"))),
7920
meta_string _loc x1)
8152
(Ast.IdUid (_loc, "Ast")),
8153
(Ast.IdUid (_loc, "TyQuP")))))),
8154
(meta_loc _loc x0))),
8155
(meta_string _loc x1))
7921
8156
| Ast.TyQuo (x0, x1) ->
7922
8157
Ast.ExApp (_loc,
7925
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7926
Ast.IdUid (_loc, "TyQuo"))),
7928
meta_string _loc x1)
8161
(Ast.IdUid (_loc, "Ast")),
8162
(Ast.IdUid (_loc, "TyQuo")))))),
8163
(meta_loc _loc x0))),
8164
(meta_string _loc x1))
7929
8165
| Ast.TyPol (x0, x1, x2) ->
7930
8166
Ast.ExApp (_loc,
7935
Ast.IdUid (_loc, "Ast"),
7936
Ast.IdUid (_loc, "TyPol"))),
8171
(Ast.IdUid (_loc, "Ast")),
8172
(Ast.IdUid (_loc, "TyPol")))))),
8173
(meta_loc _loc x0))),
8174
(meta_ctyp _loc x1))),
8175
(meta_ctyp _loc x2))
7940
8176
| Ast.TyOlb (x0, x1, x2) ->
7941
8177
Ast.ExApp (_loc,
7946
Ast.IdUid (_loc, "Ast"),
7947
Ast.IdUid (_loc, "TyOlb"))),
7949
meta_string _loc x1),
8182
(Ast.IdUid (_loc, "Ast")),
8183
(Ast.IdUid (_loc, "TyOlb")))))),
8184
(meta_loc _loc x0))),
8185
(meta_string _loc x1))),
8186
(meta_ctyp _loc x2))
7951
8187
| Ast.TyObj (x0, x1, x2) ->
7952
8188
Ast.ExApp (_loc,
7957
Ast.IdUid (_loc, "Ast"),
7958
Ast.IdUid (_loc, "TyObj"))),
7961
meta_meta_bool _loc x2)
8193
(Ast.IdUid (_loc, "Ast")),
8194
(Ast.IdUid (_loc, "TyObj")))))),
8195
(meta_loc _loc x0))),
8196
(meta_ctyp _loc x1))),
8197
(meta_row_var_flag _loc x2))
7962
8198
| Ast.TyDcl (x0, x1, x2, x3, x4) ->
7963
8199
Ast.ExApp (_loc,
7970
Ast.IdUid (_loc, "Ast"),
7971
Ast.IdUid (_loc, "TyDcl"))),
7973
meta_string _loc x1),
7974
meta_list meta_ctyp _loc x2),
7977
(fun _loc (x1, x2) ->
7979
Ast.ExCom (_loc, meta_ctyp _loc x1,
7980
meta_ctyp _loc x2)))
8206
(Ast.IdUid (_loc, "Ast")),
8207
(Ast.IdUid (_loc, "TyDcl")))))),
8208
(meta_loc _loc x0))),
8209
(meta_string _loc x1))),
8210
(meta_list meta_ctyp _loc x2))),
8211
(meta_ctyp _loc x3))),
8213
(fun _loc (x1, x2) ->
8216
(meta_ctyp _loc x1),
8217
(meta_ctyp _loc x2)))))
7982
8219
| Ast.TyMan (x0, x1, x2) ->
7983
8220
Ast.ExApp (_loc,
7988
Ast.IdUid (_loc, "Ast"),
7989
Ast.IdUid (_loc, "TyMan"))),
8225
(Ast.IdUid (_loc, "Ast")),
8226
(Ast.IdUid (_loc, "TyMan")))))),
8227
(meta_loc _loc x0))),
8228
(meta_ctyp _loc x1))),
8229
(meta_ctyp _loc x2))
7993
8230
| Ast.TyId (x0, x1) ->
7994
8231
Ast.ExApp (_loc,
7997
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
7998
Ast.IdUid (_loc, "TyId"))),
8235
(Ast.IdUid (_loc, "Ast")),
8236
(Ast.IdUid (_loc, "TyId")))))),
8237
(meta_loc _loc x0))),
8238
(meta_ident _loc x1))
8001
8239
| Ast.TyLab (x0, x1, x2) ->
8002
8240
Ast.ExApp (_loc,
8007
Ast.IdUid (_loc, "Ast"),
8008
Ast.IdUid (_loc, "TyLab"))),
8010
meta_string _loc x1),
8245
(Ast.IdUid (_loc, "Ast")),
8246
(Ast.IdUid (_loc, "TyLab")))))),
8247
(meta_loc _loc x0))),
8248
(meta_string _loc x1))),
8249
(meta_ctyp _loc x2))
8012
8250
| Ast.TyCls (x0, x1) ->
8013
8251
Ast.ExApp (_loc,
8016
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8017
Ast.IdUid (_loc, "TyCls"))),
8255
(Ast.IdUid (_loc, "Ast")),
8256
(Ast.IdUid (_loc, "TyCls")))))),
8257
(meta_loc _loc x0))),
8258
(meta_ident _loc x1))
8020
8259
| Ast.TyArr (x0, x1, x2) ->
8021
8260
Ast.ExApp (_loc,
8026
Ast.IdUid (_loc, "Ast"),
8027
Ast.IdUid (_loc, "TyArr"))),
8265
(Ast.IdUid (_loc, "Ast")),
8266
(Ast.IdUid (_loc, "TyArr")))))),
8267
(meta_loc _loc x0))),
8268
(meta_ctyp _loc x1))),
8269
(meta_ctyp _loc x2))
8031
8270
| Ast.TyApp (x0, x1, x2) ->
8032
8271
Ast.ExApp (_loc,
8037
Ast.IdUid (_loc, "Ast"),
8038
Ast.IdUid (_loc, "TyApp"))),
8276
(Ast.IdUid (_loc, "Ast")),
8277
(Ast.IdUid (_loc, "TyApp")))))),
8278
(meta_loc _loc x0))),
8279
(meta_ctyp _loc x1))),
8280
(meta_ctyp _loc x2))
8042
8281
| Ast.TyAny x0 ->
8043
8282
Ast.ExApp (_loc,
8045
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8046
Ast.IdUid (_loc, "TyAny"))),
8285
(Ast.IdUid (_loc, "Ast")),
8286
(Ast.IdUid (_loc, "TyAny")))))),
8048
8288
| Ast.TyAli (x0, x1, x2) ->
8049
8289
Ast.ExApp (_loc,
8054
Ast.IdUid (_loc, "Ast"),
8055
Ast.IdUid (_loc, "TyAli"))),
8294
(Ast.IdUid (_loc, "Ast")),
8295
(Ast.IdUid (_loc, "TyAli")))))),
8296
(meta_loc _loc x0))),
8297
(meta_ctyp _loc x1))),
8298
(meta_ctyp _loc x2))
8059
8299
| Ast.TyNil x0 ->
8060
8300
Ast.ExApp (_loc,
8062
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8063
Ast.IdUid (_loc, "TyNil"))),
8303
(Ast.IdUid (_loc, "Ast")),
8304
(Ast.IdUid (_loc, "TyNil")))))),
8306
and meta_direction_flag _loc =
8308
| Ast.DiAnt x0 -> Ast.ExAnt (_loc, x0)
8311
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
8312
(Ast.IdUid (_loc, "DiDownto")))))
8315
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
8316
(Ast.IdUid (_loc, "DiTo")))))
8065
8317
and meta_expr _loc =
8319
| Ast.ExPkg (x0, x1) ->
8324
(Ast.IdUid (_loc, "Ast")),
8325
(Ast.IdUid (_loc, "ExPkg")))))),
8326
(meta_loc _loc x0))),
8327
(meta_module_expr _loc x1))
8328
| Ast.ExFUN (x0, x1, x2) ->
8334
(Ast.IdUid (_loc, "Ast")),
8335
(Ast.IdUid (_loc, "ExFUN")))))),
8336
(meta_loc _loc x0))),
8337
(meta_string _loc x1))),
8338
(meta_expr _loc x2))
8339
| Ast.ExOpI (x0, x1, x2) ->
8345
(Ast.IdUid (_loc, "Ast")),
8346
(Ast.IdUid (_loc, "ExOpI")))))),
8347
(meta_loc _loc x0))),
8348
(meta_ident _loc x1))),
8349
(meta_expr _loc x2))
8067
8350
| Ast.ExWhi (x0, x1, x2) ->
8068
8351
Ast.ExApp (_loc,
8073
Ast.IdUid (_loc, "Ast"),
8074
Ast.IdUid (_loc, "ExWhi"))),
8356
(Ast.IdUid (_loc, "Ast")),
8357
(Ast.IdUid (_loc, "ExWhi")))))),
8358
(meta_loc _loc x0))),
8359
(meta_expr _loc x1))),
8360
(meta_expr _loc x2))
8078
8361
| Ast.ExVrn (x0, x1) ->
8079
8362
Ast.ExApp (_loc,
8082
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8083
Ast.IdUid (_loc, "ExVrn"))),
8085
meta_string _loc x1)
8366
(Ast.IdUid (_loc, "Ast")),
8367
(Ast.IdUid (_loc, "ExVrn")))))),
8368
(meta_loc _loc x0))),
8369
(meta_string _loc x1))
8086
8370
| Ast.ExTyc (x0, x1, x2) ->
8087
8371
Ast.ExApp (_loc,
8092
Ast.IdUid (_loc, "Ast"),
8093
Ast.IdUid (_loc, "ExTyc"))),
8376
(Ast.IdUid (_loc, "Ast")),
8377
(Ast.IdUid (_loc, "ExTyc")))))),
8378
(meta_loc _loc x0))),
8379
(meta_expr _loc x1))),
8380
(meta_ctyp _loc x2))
8097
8381
| Ast.ExCom (x0, x1, x2) ->
8098
8382
Ast.ExApp (_loc,
8103
Ast.IdUid (_loc, "Ast"),
8104
Ast.IdUid (_loc, "ExCom"))),
8387
(Ast.IdUid (_loc, "Ast")),
8388
(Ast.IdUid (_loc, "ExCom")))))),
8389
(meta_loc _loc x0))),
8390
(meta_expr _loc x1))),
8391
(meta_expr _loc x2))
8108
8392
| Ast.ExTup (x0, x1) ->
8109
8393
Ast.ExApp (_loc,
8112
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8113
Ast.IdUid (_loc, "ExTup"))),
8397
(Ast.IdUid (_loc, "Ast")),
8398
(Ast.IdUid (_loc, "ExTup")))))),
8399
(meta_loc _loc x0))),
8400
(meta_expr _loc x1))
8116
8401
| Ast.ExTry (x0, x1, x2) ->
8117
8402
Ast.ExApp (_loc,
8122
Ast.IdUid (_loc, "Ast"),
8123
Ast.IdUid (_loc, "ExTry"))),
8126
meta_match_case _loc x2)
8407
(Ast.IdUid (_loc, "Ast")),
8408
(Ast.IdUid (_loc, "ExTry")))))),
8409
(meta_loc _loc x0))),
8410
(meta_expr _loc x1))),
8411
(meta_match_case _loc x2))
8127
8412
| Ast.ExStr (x0, x1) ->
8128
8413
Ast.ExApp (_loc,
8131
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8132
Ast.IdUid (_loc, "ExStr"))),
8134
meta_string _loc x1)
8417
(Ast.IdUid (_loc, "Ast")),
8418
(Ast.IdUid (_loc, "ExStr")))))),
8419
(meta_loc _loc x0))),
8420
(meta_string _loc x1))
8135
8421
| Ast.ExSte (x0, x1, x2) ->
8136
8422
Ast.ExApp (_loc,
8141
Ast.IdUid (_loc, "Ast"),
8142
Ast.IdUid (_loc, "ExSte"))),
8427
(Ast.IdUid (_loc, "Ast")),
8428
(Ast.IdUid (_loc, "ExSte")))))),
8429
(meta_loc _loc x0))),
8430
(meta_expr _loc x1))),
8431
(meta_expr _loc x2))
8146
8432
| Ast.ExSnd (x0, x1, x2) ->
8147
8433
Ast.ExApp (_loc,
8152
Ast.IdUid (_loc, "Ast"),
8153
Ast.IdUid (_loc, "ExSnd"))),
8156
meta_string _loc x2)
8438
(Ast.IdUid (_loc, "Ast")),
8439
(Ast.IdUid (_loc, "ExSnd")))))),
8440
(meta_loc _loc x0))),
8441
(meta_expr _loc x1))),
8442
(meta_string _loc x2))
8157
8443
| Ast.ExSeq (x0, x1) ->
8158
8444
Ast.ExApp (_loc,
8161
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8162
Ast.IdUid (_loc, "ExSeq"))),
8448
(Ast.IdUid (_loc, "Ast")),
8449
(Ast.IdUid (_loc, "ExSeq")))))),
8450
(meta_loc _loc x0))),
8451
(meta_expr _loc x1))
8165
8452
| Ast.ExRec (x0, x1, x2) ->
8166
8453
Ast.ExApp (_loc,
8171
Ast.IdUid (_loc, "Ast"),
8172
Ast.IdUid (_loc, "ExRec"))),
8174
meta_rec_binding _loc x1),
8458
(Ast.IdUid (_loc, "Ast")),
8459
(Ast.IdUid (_loc, "ExRec")))))),
8460
(meta_loc _loc x0))),
8461
(meta_rec_binding _loc x1))),
8462
(meta_expr _loc x2))
8176
8463
| Ast.ExOvr (x0, x1) ->
8177
8464
Ast.ExApp (_loc,
8180
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8181
Ast.IdUid (_loc, "ExOvr"))),
8183
meta_rec_binding _loc x1)
8468
(Ast.IdUid (_loc, "Ast")),
8469
(Ast.IdUid (_loc, "ExOvr")))))),
8470
(meta_loc _loc x0))),
8471
(meta_rec_binding _loc x1))
8184
8472
| Ast.ExOlb (x0, x1, x2) ->
8185
8473
Ast.ExApp (_loc,
8190
Ast.IdUid (_loc, "Ast"),
8191
Ast.IdUid (_loc, "ExOlb"))),
8193
meta_string _loc x1),
8478
(Ast.IdUid (_loc, "Ast")),
8479
(Ast.IdUid (_loc, "ExOlb")))))),
8480
(meta_loc _loc x0))),
8481
(meta_string _loc x1))),
8482
(meta_expr _loc x2))
8195
8483
| Ast.ExObj (x0, x1, x2) ->
8196
8484
Ast.ExApp (_loc,
8201
Ast.IdUid (_loc, "Ast"),
8202
Ast.IdUid (_loc, "ExObj"))),
8205
meta_class_str_item _loc x2)
8489
(Ast.IdUid (_loc, "Ast")),
8490
(Ast.IdUid (_loc, "ExObj")))))),
8491
(meta_loc _loc x0))),
8492
(meta_patt _loc x1))),
8493
(meta_class_str_item _loc x2))
8206
8494
| Ast.ExNew (x0, x1) ->
8207
8495
Ast.ExApp (_loc,
8210
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8211
Ast.IdUid (_loc, "ExNew"))),
8499
(Ast.IdUid (_loc, "Ast")),
8500
(Ast.IdUid (_loc, "ExNew")))))),
8501
(meta_loc _loc x0))),
8502
(meta_ident _loc x1))
8214
8503
| Ast.ExMat (x0, x1, x2) ->
8215
8504
Ast.ExApp (_loc,
8220
Ast.IdUid (_loc, "Ast"),
8221
Ast.IdUid (_loc, "ExMat"))),
8224
meta_match_case _loc x2)
8509
(Ast.IdUid (_loc, "Ast")),
8510
(Ast.IdUid (_loc, "ExMat")))))),
8511
(meta_loc _loc x0))),
8512
(meta_expr _loc x1))),
8513
(meta_match_case _loc x2))
8225
8514
| Ast.ExLmd (x0, x1, x2, x3) ->
8226
8515
Ast.ExApp (_loc,
8232
Ast.IdUid (_loc, "Ast"),
8233
Ast.IdUid (_loc, "ExLmd"))),
8235
meta_string _loc x1),
8236
meta_module_expr _loc x2),
8521
(Ast.IdUid (_loc, "Ast")),
8522
(Ast.IdUid (_loc, "ExLmd")))))),
8523
(meta_loc _loc x0))),
8524
(meta_string _loc x1))),
8525
(meta_module_expr _loc x2))),
8526
(meta_expr _loc x3))
8238
8527
| Ast.ExLet (x0, x1, x2, x3) ->
8239
8528
Ast.ExApp (_loc,
8245
Ast.IdUid (_loc, "Ast"),
8246
Ast.IdUid (_loc, "ExLet"))),
8248
meta_meta_bool _loc x1),
8249
meta_binding _loc x2),
8534
(Ast.IdUid (_loc, "Ast")),
8535
(Ast.IdUid (_loc, "ExLet")))))),
8536
(meta_loc _loc x0))),
8537
(meta_rec_flag _loc x1))),
8538
(meta_binding _loc x2))),
8539
(meta_expr _loc x3))
8251
8540
| Ast.ExLaz (x0, x1) ->
8252
8541
Ast.ExApp (_loc,
8255
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8256
Ast.IdUid (_loc, "ExLaz"))),
8545
(Ast.IdUid (_loc, "Ast")),
8546
(Ast.IdUid (_loc, "ExLaz")))))),
8547
(meta_loc _loc x0))),
8548
(meta_expr _loc x1))
8259
8549
| Ast.ExLab (x0, x1, x2) ->
8260
8550
Ast.ExApp (_loc,
8265
Ast.IdUid (_loc, "Ast"),
8266
Ast.IdUid (_loc, "ExLab"))),
8268
meta_string _loc x1),
8555
(Ast.IdUid (_loc, "Ast")),
8556
(Ast.IdUid (_loc, "ExLab")))))),
8557
(meta_loc _loc x0))),
8558
(meta_string _loc x1))),
8559
(meta_expr _loc x2))
8270
8560
| Ast.ExNativeInt (x0, x1) ->
8271
8561
Ast.ExApp (_loc,
8274
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8275
Ast.IdUid (_loc, "ExNativeInt"))),
8277
meta_string _loc x1)
8565
(Ast.IdUid (_loc, "Ast")),
8566
(Ast.IdUid (_loc, "ExNativeInt")))))),
8567
(meta_loc _loc x0))),
8568
(meta_string _loc x1))
8278
8569
| Ast.ExInt64 (x0, x1) ->
8279
8570
Ast.ExApp (_loc,
8282
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8283
Ast.IdUid (_loc, "ExInt64"))),
8285
meta_string _loc x1)
8574
(Ast.IdUid (_loc, "Ast")),
8575
(Ast.IdUid (_loc, "ExInt64")))))),
8576
(meta_loc _loc x0))),
8577
(meta_string _loc x1))
8286
8578
| Ast.ExInt32 (x0, x1) ->
8287
8579
Ast.ExApp (_loc,
8290
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8291
Ast.IdUid (_loc, "ExInt32"))),
8293
meta_string _loc x1)
8583
(Ast.IdUid (_loc, "Ast")),
8584
(Ast.IdUid (_loc, "ExInt32")))))),
8585
(meta_loc _loc x0))),
8586
(meta_string _loc x1))
8294
8587
| Ast.ExInt (x0, x1) ->
8295
8588
Ast.ExApp (_loc,
8298
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8299
Ast.IdUid (_loc, "ExInt"))),
8301
meta_string _loc x1)
8592
(Ast.IdUid (_loc, "Ast")),
8593
(Ast.IdUid (_loc, "ExInt")))))),
8594
(meta_loc _loc x0))),
8595
(meta_string _loc x1))
8302
8596
| Ast.ExIfe (x0, x1, x2, x3) ->
8303
8597
Ast.ExApp (_loc,
8309
Ast.IdUid (_loc, "Ast"),
8310
Ast.IdUid (_loc, "ExIfe"))),
8603
(Ast.IdUid (_loc, "Ast")),
8604
(Ast.IdUid (_loc, "ExIfe")))))),
8605
(meta_loc _loc x0))),
8606
(meta_expr _loc x1))),
8607
(meta_expr _loc x2))),
8608
(meta_expr _loc x3))
8315
8609
| Ast.ExFun (x0, x1) ->
8316
8610
Ast.ExApp (_loc,
8319
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8320
Ast.IdUid (_loc, "ExFun"))),
8322
meta_match_case _loc x1)
8614
(Ast.IdUid (_loc, "Ast")),
8615
(Ast.IdUid (_loc, "ExFun")))))),
8616
(meta_loc _loc x0))),
8617
(meta_match_case _loc x1))
8323
8618
| Ast.ExFor (x0, x1, x2, x3, x4, x5) ->
8324
8619
Ast.ExApp (_loc,
8332
Ast.IdUid (_loc, "Ast"),
8333
Ast.IdUid (_loc, "ExFor"))),
8335
meta_string _loc x1),
8338
meta_meta_bool _loc x4),
8627
(Ast.IdUid (_loc, "Ast")),
8630
(meta_loc _loc x0))),
8631
(meta_string _loc x1))),
8632
(meta_expr _loc x2))),
8633
(meta_expr _loc x3))),
8634
(meta_direction_flag _loc x4))),
8635
(meta_expr _loc x5))
8340
8636
| Ast.ExFlo (x0, x1) ->
8341
8637
Ast.ExApp (_loc,
8344
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8345
Ast.IdUid (_loc, "ExFlo"))),
8347
meta_string _loc x1)
8641
(Ast.IdUid (_loc, "Ast")),
8642
(Ast.IdUid (_loc, "ExFlo")))))),
8643
(meta_loc _loc x0))),
8644
(meta_string _loc x1))
8348
8645
| Ast.ExCoe (x0, x1, x2, x3) ->
8349
8646
Ast.ExApp (_loc,
8355
Ast.IdUid (_loc, "Ast"),
8356
Ast.IdUid (_loc, "ExCoe"))),
8652
(Ast.IdUid (_loc, "Ast")),
8653
(Ast.IdUid (_loc, "ExCoe")))))),
8654
(meta_loc _loc x0))),
8655
(meta_expr _loc x1))),
8656
(meta_ctyp _loc x2))),
8657
(meta_ctyp _loc x3))
8361
8658
| Ast.ExChr (x0, x1) ->
8362
8659
Ast.ExApp (_loc,
8365
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8366
Ast.IdUid (_loc, "ExChr"))),
8368
meta_string _loc x1)
8663
(Ast.IdUid (_loc, "Ast")),
8664
(Ast.IdUid (_loc, "ExChr")))))),
8665
(meta_loc _loc x0))),
8666
(meta_string _loc x1))
8369
8667
| Ast.ExAss (x0, x1, x2) ->
8370
8668
Ast.ExApp (_loc,
8375
Ast.IdUid (_loc, "Ast"),
8376
Ast.IdUid (_loc, "ExAss"))),
8673
(Ast.IdUid (_loc, "Ast")),
8674
(Ast.IdUid (_loc, "ExAss")))))),
8675
(meta_loc _loc x0))),
8676
(meta_expr _loc x1))),
8677
(meta_expr _loc x2))
8380
8678
| Ast.ExAsr (x0, x1) ->
8381
8679
Ast.ExApp (_loc,
8384
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8385
Ast.IdUid (_loc, "ExAsr"))),
8683
(Ast.IdUid (_loc, "Ast")),
8684
(Ast.IdUid (_loc, "ExAsr")))))),
8685
(meta_loc _loc x0))),
8686
(meta_expr _loc x1))
8388
8687
| Ast.ExAsf x0 ->
8389
8688
Ast.ExApp (_loc,
8391
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8392
Ast.IdUid (_loc, "ExAsf"))),
8691
(Ast.IdUid (_loc, "Ast")),
8692
(Ast.IdUid (_loc, "ExAsf")))))),
8394
8694
| Ast.ExSem (x0, x1, x2) ->
8395
8695
Ast.ExApp (_loc,
8400
Ast.IdUid (_loc, "Ast"),
8401
Ast.IdUid (_loc, "ExSem"))),
8700
(Ast.IdUid (_loc, "Ast")),
8701
(Ast.IdUid (_loc, "ExSem")))))),
8702
(meta_loc _loc x0))),
8703
(meta_expr _loc x1))),
8704
(meta_expr _loc x2))
8405
8705
| Ast.ExArr (x0, x1) ->
8406
8706
Ast.ExApp (_loc,
8409
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8410
Ast.IdUid (_loc, "ExArr"))),
8710
(Ast.IdUid (_loc, "Ast")),
8711
(Ast.IdUid (_loc, "ExArr")))))),
8712
(meta_loc _loc x0))),
8713
(meta_expr _loc x1))
8413
8714
| Ast.ExAre (x0, x1, x2) ->
8414
8715
Ast.ExApp (_loc,
8419
Ast.IdUid (_loc, "Ast"),
8420
Ast.IdUid (_loc, "ExAre"))),
8720
(Ast.IdUid (_loc, "Ast")),
8721
(Ast.IdUid (_loc, "ExAre")))))),
8722
(meta_loc _loc x0))),
8723
(meta_expr _loc x1))),
8724
(meta_expr _loc x2))
8424
8725
| Ast.ExApp (x0, x1, x2) ->
8425
8726
Ast.ExApp (_loc,
8430
Ast.IdUid (_loc, "Ast"),
8431
Ast.IdUid (_loc, "ExApp"))),
8731
(Ast.IdUid (_loc, "Ast")),
8732
(Ast.IdUid (_loc, "ExApp")))))),
8733
(meta_loc _loc x0))),
8734
(meta_expr _loc x1))),
8735
(meta_expr _loc x2))
8435
8736
| Ast.ExAnt (x0, x1) -> Ast.ExAnt (x0, x1)
8436
8737
| Ast.ExAcc (x0, x1, x2) ->
8437
8738
Ast.ExApp (_loc,
8442
Ast.IdUid (_loc, "Ast"),
8443
Ast.IdUid (_loc, "ExAcc"))),
8743
(Ast.IdUid (_loc, "Ast")),
8744
(Ast.IdUid (_loc, "ExAcc")))))),
8745
(meta_loc _loc x0))),
8746
(meta_expr _loc x1))),
8747
(meta_expr _loc x2))
8447
8748
| Ast.ExId (x0, x1) ->
8448
8749
Ast.ExApp (_loc,
8451
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8452
Ast.IdUid (_loc, "ExId"))),
8753
(Ast.IdUid (_loc, "Ast")),
8754
(Ast.IdUid (_loc, "ExId")))))),
8755
(meta_loc _loc x0))),
8756
(meta_ident _loc x1))
8455
8757
| Ast.ExNil x0 ->
8456
8758
Ast.ExApp (_loc,
8458
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8459
Ast.IdUid (_loc, "ExNil"))),
8761
(Ast.IdUid (_loc, "Ast")),
8762
(Ast.IdUid (_loc, "ExNil")))))),
8461
8764
and meta_ident _loc =
8463
8766
| Ast.IdAnt (x0, x1) -> Ast.ExAnt (x0, x1)
8464
8767
| Ast.IdUid (x0, x1) ->
8465
8768
Ast.ExApp (_loc,
8468
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8469
Ast.IdUid (_loc, "IdUid"))),
8471
meta_string _loc x1)
8772
(Ast.IdUid (_loc, "Ast")),
8773
(Ast.IdUid (_loc, "IdUid")))))),
8774
(meta_loc _loc x0))),
8775
(meta_string _loc x1))
8472
8776
| Ast.IdLid (x0, x1) ->
8473
8777
Ast.ExApp (_loc,
8476
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8477
Ast.IdUid (_loc, "IdLid"))),
8479
meta_string _loc x1)
8781
(Ast.IdUid (_loc, "Ast")),
8782
(Ast.IdUid (_loc, "IdLid")))))),
8783
(meta_loc _loc x0))),
8784
(meta_string _loc x1))
8480
8785
| Ast.IdApp (x0, x1, x2) ->
8481
8786
Ast.ExApp (_loc,
8486
Ast.IdUid (_loc, "Ast"),
8487
Ast.IdUid (_loc, "IdApp"))),
8489
meta_ident _loc x1),
8791
(Ast.IdUid (_loc, "Ast")),
8792
(Ast.IdUid (_loc, "IdApp")))))),
8793
(meta_loc _loc x0))),
8794
(meta_ident _loc x1))),
8795
(meta_ident _loc x2))
8491
8796
| Ast.IdAcc (x0, x1, x2) ->
8492
8797
Ast.ExApp (_loc,
8497
Ast.IdUid (_loc, "Ast"),
8498
Ast.IdUid (_loc, "IdAcc"))),
8500
meta_ident _loc x1),
8802
(Ast.IdUid (_loc, "Ast")),
8803
(Ast.IdUid (_loc, "IdAcc")))))),
8804
(meta_loc _loc x0))),
8805
(meta_ident _loc x1))),
8806
(meta_ident _loc x2))
8502
8807
and meta_match_case _loc =
8504
8809
| Ast.McAnt (x0, x1) -> Ast.ExAnt (x0, x1)
8505
8810
| Ast.McArr (x0, x1, x2, x3) ->
8506
8811
Ast.ExApp (_loc,
8512
Ast.IdUid (_loc, "Ast"),
8513
Ast.IdUid (_loc, "McArr"))),
8817
(Ast.IdUid (_loc, "Ast")),
8818
(Ast.IdUid (_loc, "McArr")))))),
8819
(meta_loc _loc x0))),
8820
(meta_patt _loc x1))),
8821
(meta_expr _loc x2))),
8822
(meta_expr _loc x3))
8518
8823
| Ast.McOr (x0, x1, x2) ->
8519
8824
Ast.ExApp (_loc,
8524
Ast.IdUid (_loc, "Ast"),
8525
Ast.IdUid (_loc, "McOr"))),
8527
meta_match_case _loc x1),
8528
meta_match_case _loc x2)
8829
(Ast.IdUid (_loc, "Ast")),
8830
(Ast.IdUid (_loc, "McOr")))))),
8831
(meta_loc _loc x0))),
8832
(meta_match_case _loc x1))),
8833
(meta_match_case _loc x2))
8529
8834
| Ast.McNil x0 ->
8530
8835
Ast.ExApp (_loc,
8532
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8533
Ast.IdUid (_loc, "McNil"))),
8838
(Ast.IdUid (_loc, "Ast")),
8839
(Ast.IdUid (_loc, "McNil")))))),
8535
8841
and meta_meta_bool _loc =
8537
8843
| Ast.BAnt x0 -> Ast.ExAnt (_loc, x0)
8538
8844
| Ast.BFalse ->
8539
8845
Ast.ExId (_loc,
8540
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8541
Ast.IdUid (_loc, "BFalse")))
8846
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
8847
(Ast.IdUid (_loc, "BFalse")))))
8543
8849
Ast.ExId (_loc,
8544
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8545
Ast.IdUid (_loc, "BTrue")))
8850
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
8851
(Ast.IdUid (_loc, "BTrue")))))
8546
8852
and meta_meta_list mf_a _loc =
8548
8854
| Ast.LAnt x0 -> Ast.ExAnt (_loc, x0)
8549
8855
| Ast.LCons (x0, x1) ->
8550
8856
Ast.ExApp (_loc,
8553
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8554
Ast.IdUid (_loc, "LCons"))),
8556
meta_meta_list mf_a _loc x1)
8860
(Ast.IdUid (_loc, "Ast")),
8861
(Ast.IdUid (_loc, "LCons")))))),
8863
(meta_meta_list mf_a _loc x1))
8558
8865
Ast.ExId (_loc,
8559
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8560
Ast.IdUid (_loc, "LNil")))
8866
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
8867
(Ast.IdUid (_loc, "LNil")))))
8561
8868
and meta_meta_option mf_a _loc =
8563
8870
| Ast.OAnt x0 -> Ast.ExAnt (_loc, x0)
8564
8871
| Ast.OSome x0 ->
8565
8872
Ast.ExApp (_loc,
8567
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8568
Ast.IdUid (_loc, "OSome"))),
8875
(Ast.IdUid (_loc, "Ast")),
8876
(Ast.IdUid (_loc, "OSome")))))),
8571
8879
Ast.ExId (_loc,
8572
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8573
Ast.IdUid (_loc, "ONone")))
8880
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
8881
(Ast.IdUid (_loc, "ONone")))))
8574
8882
and meta_module_binding _loc =
8576
8884
| Ast.MbAnt (x0, x1) -> Ast.ExAnt (x0, x1)
8577
8885
| Ast.MbCol (x0, x1, x2) ->
8578
8886
Ast.ExApp (_loc,
8583
Ast.IdUid (_loc, "Ast"),
8584
Ast.IdUid (_loc, "MbCol"))),
8586
meta_string _loc x1),
8587
meta_module_type _loc x2)
8891
(Ast.IdUid (_loc, "Ast")),
8892
(Ast.IdUid (_loc, "MbCol")))))),
8893
(meta_loc _loc x0))),
8894
(meta_string _loc x1))),
8895
(meta_module_type _loc x2))
8588
8896
| Ast.MbColEq (x0, x1, x2, x3) ->
8589
8897
Ast.ExApp (_loc,
8595
Ast.IdUid (_loc, "Ast"),
8596
Ast.IdUid (_loc, "MbColEq"))),
8598
meta_string _loc x1),
8599
meta_module_type _loc x2),
8600
meta_module_expr _loc x3)
8903
(Ast.IdUid (_loc, "Ast")),
8904
(Ast.IdUid (_loc, "MbColEq")))))),
8905
(meta_loc _loc x0))),
8906
(meta_string _loc x1))),
8907
(meta_module_type _loc x2))),
8908
(meta_module_expr _loc x3))
8601
8909
| Ast.MbAnd (x0, x1, x2) ->
8602
8910
Ast.ExApp (_loc,
8607
Ast.IdUid (_loc, "Ast"),
8608
Ast.IdUid (_loc, "MbAnd"))),
8610
meta_module_binding _loc x1),
8611
meta_module_binding _loc x2)
8915
(Ast.IdUid (_loc, "Ast")),
8916
(Ast.IdUid (_loc, "MbAnd")))))),
8917
(meta_loc _loc x0))),
8918
(meta_module_binding _loc x1))),
8919
(meta_module_binding _loc x2))
8612
8920
| Ast.MbNil x0 ->
8613
8921
Ast.ExApp (_loc,
8615
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8616
Ast.IdUid (_loc, "MbNil"))),
8924
(Ast.IdUid (_loc, "Ast")),
8925
(Ast.IdUid (_loc, "MbNil")))))),
8618
8927
and meta_module_expr _loc =
8620
8929
| Ast.MeAnt (x0, x1) -> Ast.ExAnt (x0, x1)
8930
| Ast.MePkg (x0, x1) ->
8935
(Ast.IdUid (_loc, "Ast")),
8936
(Ast.IdUid (_loc, "MePkg")))))),
8937
(meta_loc _loc x0))),
8938
(meta_expr _loc x1))
8621
8939
| Ast.MeTyc (x0, x1, x2) ->
8622
8940
Ast.ExApp (_loc,
8627
Ast.IdUid (_loc, "Ast"),
8628
Ast.IdUid (_loc, "MeTyc"))),
8630
meta_module_expr _loc x1),
8631
meta_module_type _loc x2)
8945
(Ast.IdUid (_loc, "Ast")),
8946
(Ast.IdUid (_loc, "MeTyc")))))),
8947
(meta_loc _loc x0))),
8948
(meta_module_expr _loc x1))),
8949
(meta_module_type _loc x2))
8632
8950
| Ast.MeStr (x0, x1) ->
8633
8951
Ast.ExApp (_loc,
8636
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8637
Ast.IdUid (_loc, "MeStr"))),
8639
meta_str_item _loc x1)
8955
(Ast.IdUid (_loc, "Ast")),
8956
(Ast.IdUid (_loc, "MeStr")))))),
8957
(meta_loc _loc x0))),
8958
(meta_str_item _loc x1))
8640
8959
| Ast.MeFun (x0, x1, x2, x3) ->
8641
8960
Ast.ExApp (_loc,
8647
Ast.IdUid (_loc, "Ast"),
8648
Ast.IdUid (_loc, "MeFun"))),
8650
meta_string _loc x1),
8651
meta_module_type _loc x2),
8652
meta_module_expr _loc x3)
8966
(Ast.IdUid (_loc, "Ast")),
8967
(Ast.IdUid (_loc, "MeFun")))))),
8968
(meta_loc _loc x0))),
8969
(meta_string _loc x1))),
8970
(meta_module_type _loc x2))),
8971
(meta_module_expr _loc x3))
8653
8972
| Ast.MeApp (x0, x1, x2) ->
8654
8973
Ast.ExApp (_loc,
8659
Ast.IdUid (_loc, "Ast"),
8660
Ast.IdUid (_loc, "MeApp"))),
8662
meta_module_expr _loc x1),
8663
meta_module_expr _loc x2)
8978
(Ast.IdUid (_loc, "Ast")),
8979
(Ast.IdUid (_loc, "MeApp")))))),
8980
(meta_loc _loc x0))),
8981
(meta_module_expr _loc x1))),
8982
(meta_module_expr _loc x2))
8664
8983
| Ast.MeId (x0, x1) ->
8665
8984
Ast.ExApp (_loc,
8668
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8669
Ast.IdUid (_loc, "MeId"))),
8988
(Ast.IdUid (_loc, "Ast")),
8989
(Ast.IdUid (_loc, "MeId")))))),
8990
(meta_loc _loc x0))),
8991
(meta_ident _loc x1))
8672
8992
| Ast.MeNil x0 ->
8673
8993
Ast.ExApp (_loc,
8675
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8676
Ast.IdUid (_loc, "MeNil"))),
8996
(Ast.IdUid (_loc, "Ast")),
8997
(Ast.IdUid (_loc, "MeNil")))))),
8678
8999
and meta_module_type _loc =
8680
9001
| Ast.MtAnt (x0, x1) -> Ast.ExAnt (x0, x1)
8681
9002
| Ast.MtWit (x0, x1, x2) ->
8682
9003
Ast.ExApp (_loc,
8687
Ast.IdUid (_loc, "Ast"),
8688
Ast.IdUid (_loc, "MtWit"))),
8690
meta_module_type _loc x1),
8691
meta_with_constr _loc x2)
9008
(Ast.IdUid (_loc, "Ast")),
9009
(Ast.IdUid (_loc, "MtWit")))))),
9010
(meta_loc _loc x0))),
9011
(meta_module_type _loc x1))),
9012
(meta_with_constr _loc x2))
8692
9013
| Ast.MtSig (x0, x1) ->
8693
9014
Ast.ExApp (_loc,
8696
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8697
Ast.IdUid (_loc, "MtSig"))),
8699
meta_sig_item _loc x1)
9018
(Ast.IdUid (_loc, "Ast")),
9019
(Ast.IdUid (_loc, "MtSig")))))),
9020
(meta_loc _loc x0))),
9021
(meta_sig_item _loc x1))
8700
9022
| Ast.MtQuo (x0, x1) ->
8701
9023
Ast.ExApp (_loc,
8704
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8705
Ast.IdUid (_loc, "MtQuo"))),
8707
meta_string _loc x1)
9027
(Ast.IdUid (_loc, "Ast")),
9028
(Ast.IdUid (_loc, "MtQuo")))))),
9029
(meta_loc _loc x0))),
9030
(meta_string _loc x1))
8708
9031
| Ast.MtFun (x0, x1, x2, x3) ->
8709
9032
Ast.ExApp (_loc,
8715
Ast.IdUid (_loc, "Ast"),
8716
Ast.IdUid (_loc, "MtFun"))),
8718
meta_string _loc x1),
8719
meta_module_type _loc x2),
8720
meta_module_type _loc x3)
9038
(Ast.IdUid (_loc, "Ast")),
9039
(Ast.IdUid (_loc, "MtFun")))))),
9040
(meta_loc _loc x0))),
9041
(meta_string _loc x1))),
9042
(meta_module_type _loc x2))),
9043
(meta_module_type _loc x3))
8721
9044
| Ast.MtId (x0, x1) ->
8722
9045
Ast.ExApp (_loc,
8725
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8726
Ast.IdUid (_loc, "MtId"))),
9049
(Ast.IdUid (_loc, "Ast")),
9050
(Ast.IdUid (_loc, "MtId")))))),
9051
(meta_loc _loc x0))),
9052
(meta_ident _loc x1))
8729
9053
| Ast.MtNil x0 ->
8730
9054
Ast.ExApp (_loc,
8732
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8733
Ast.IdUid (_loc, "MtNil"))),
9057
(Ast.IdUid (_loc, "Ast")),
9058
(Ast.IdUid (_loc, "MtNil")))))),
9060
and meta_mutable_flag _loc =
9062
| Ast.MuAnt x0 -> Ast.ExAnt (_loc, x0)
9065
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9066
(Ast.IdUid (_loc, "MuNil")))))
9069
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9070
(Ast.IdUid (_loc, "MuMutable")))))
9071
and meta_override_flag _loc =
9073
| Ast.OvAnt x0 -> Ast.ExAnt (_loc, x0)
9076
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9077
(Ast.IdUid (_loc, "OvNil")))))
9080
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9081
(Ast.IdUid (_loc, "OvOverride")))))
8735
9082
and meta_patt _loc =
8737
9084
| Ast.PaLaz (x0, x1) ->
8738
9085
Ast.ExApp (_loc,
8741
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8742
Ast.IdUid (_loc, "PaLaz"))),
9089
(Ast.IdUid (_loc, "Ast")),
9090
(Ast.IdUid (_loc, "PaLaz")))))),
9091
(meta_loc _loc x0))),
9092
(meta_patt _loc x1))
8745
9093
| Ast.PaVrn (x0, x1) ->
8746
9094
Ast.ExApp (_loc,
8749
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8750
Ast.IdUid (_loc, "PaVrn"))),
8752
meta_string _loc x1)
9098
(Ast.IdUid (_loc, "Ast")),
9099
(Ast.IdUid (_loc, "PaVrn")))))),
9100
(meta_loc _loc x0))),
9101
(meta_string _loc x1))
8753
9102
| Ast.PaTyp (x0, x1) ->
8754
9103
Ast.ExApp (_loc,
8757
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8758
Ast.IdUid (_loc, "PaTyp"))),
9107
(Ast.IdUid (_loc, "Ast")),
9108
(Ast.IdUid (_loc, "PaTyp")))))),
9109
(meta_loc _loc x0))),
9110
(meta_ident _loc x1))
8761
9111
| Ast.PaTyc (x0, x1, x2) ->
8762
9112
Ast.ExApp (_loc,
8767
Ast.IdUid (_loc, "Ast"),
8768
Ast.IdUid (_loc, "PaTyc"))),
9117
(Ast.IdUid (_loc, "Ast")),
9118
(Ast.IdUid (_loc, "PaTyc")))))),
9119
(meta_loc _loc x0))),
9120
(meta_patt _loc x1))),
9121
(meta_ctyp _loc x2))
8772
9122
| Ast.PaTup (x0, x1) ->
8773
9123
Ast.ExApp (_loc,
8776
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8777
Ast.IdUid (_loc, "PaTup"))),
9127
(Ast.IdUid (_loc, "Ast")),
9128
(Ast.IdUid (_loc, "PaTup")))))),
9129
(meta_loc _loc x0))),
9130
(meta_patt _loc x1))
8780
9131
| Ast.PaStr (x0, x1) ->
8781
9132
Ast.ExApp (_loc,
8784
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8785
Ast.IdUid (_loc, "PaStr"))),
8787
meta_string _loc x1)
9136
(Ast.IdUid (_loc, "Ast")),
9137
(Ast.IdUid (_loc, "PaStr")))))),
9138
(meta_loc _loc x0))),
9139
(meta_string _loc x1))
8788
9140
| Ast.PaEq (x0, x1, x2) ->
8789
9141
Ast.ExApp (_loc,
8794
Ast.IdUid (_loc, "Ast"),
8795
Ast.IdUid (_loc, "PaEq"))),
8797
meta_ident _loc x1),
9146
(Ast.IdUid (_loc, "Ast")),
9147
(Ast.IdUid (_loc, "PaEq")))))),
9148
(meta_loc _loc x0))),
9149
(meta_ident _loc x1))),
9150
(meta_patt _loc x2))
8799
9151
| Ast.PaRec (x0, x1) ->
8800
9152
Ast.ExApp (_loc,
8803
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8804
Ast.IdUid (_loc, "PaRec"))),
9156
(Ast.IdUid (_loc, "Ast")),
9157
(Ast.IdUid (_loc, "PaRec")))))),
9158
(meta_loc _loc x0))),
9159
(meta_patt _loc x1))
8807
9160
| Ast.PaRng (x0, x1, x2) ->
8808
9161
Ast.ExApp (_loc,
8813
Ast.IdUid (_loc, "Ast"),
8814
Ast.IdUid (_loc, "PaRng"))),
9166
(Ast.IdUid (_loc, "Ast")),
9167
(Ast.IdUid (_loc, "PaRng")))))),
9168
(meta_loc _loc x0))),
9169
(meta_patt _loc x1))),
9170
(meta_patt _loc x2))
8818
9171
| Ast.PaOrp (x0, x1, x2) ->
8819
9172
Ast.ExApp (_loc,
8824
Ast.IdUid (_loc, "Ast"),
8825
Ast.IdUid (_loc, "PaOrp"))),
9177
(Ast.IdUid (_loc, "Ast")),
9178
(Ast.IdUid (_loc, "PaOrp")))))),
9179
(meta_loc _loc x0))),
9180
(meta_patt _loc x1))),
9181
(meta_patt _loc x2))
8829
9182
| Ast.PaOlbi (x0, x1, x2, x3) ->
8830
9183
Ast.ExApp (_loc,
8836
Ast.IdUid (_loc, "Ast"),
8837
Ast.IdUid (_loc, "PaOlbi"))),
8839
meta_string _loc x1),
9189
(Ast.IdUid (_loc, "Ast")),
9190
(Ast.IdUid (_loc, "PaOlbi")))))),
9191
(meta_loc _loc x0))),
9192
(meta_string _loc x1))),
9193
(meta_patt _loc x2))),
9194
(meta_expr _loc x3))
8842
9195
| Ast.PaOlb (x0, x1, x2) ->
8843
9196
Ast.ExApp (_loc,
8848
Ast.IdUid (_loc, "Ast"),
8849
Ast.IdUid (_loc, "PaOlb"))),
8851
meta_string _loc x1),
9201
(Ast.IdUid (_loc, "Ast")),
9202
(Ast.IdUid (_loc, "PaOlb")))))),
9203
(meta_loc _loc x0))),
9204
(meta_string _loc x1))),
9205
(meta_patt _loc x2))
8853
9206
| Ast.PaLab (x0, x1, x2) ->
8854
9207
Ast.ExApp (_loc,
8859
Ast.IdUid (_loc, "Ast"),
8860
Ast.IdUid (_loc, "PaLab"))),
8862
meta_string _loc x1),
9212
(Ast.IdUid (_loc, "Ast")),
9213
(Ast.IdUid (_loc, "PaLab")))))),
9214
(meta_loc _loc x0))),
9215
(meta_string _loc x1))),
9216
(meta_patt _loc x2))
8864
9217
| Ast.PaFlo (x0, x1) ->
8865
9218
Ast.ExApp (_loc,
8868
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8869
Ast.IdUid (_loc, "PaFlo"))),
8871
meta_string _loc x1)
9222
(Ast.IdUid (_loc, "Ast")),
9223
(Ast.IdUid (_loc, "PaFlo")))))),
9224
(meta_loc _loc x0))),
9225
(meta_string _loc x1))
8872
9226
| Ast.PaNativeInt (x0, x1) ->
8873
9227
Ast.ExApp (_loc,
8876
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8877
Ast.IdUid (_loc, "PaNativeInt"))),
8879
meta_string _loc x1)
9231
(Ast.IdUid (_loc, "Ast")),
9232
(Ast.IdUid (_loc, "PaNativeInt")))))),
9233
(meta_loc _loc x0))),
9234
(meta_string _loc x1))
8880
9235
| Ast.PaInt64 (x0, x1) ->
8881
9236
Ast.ExApp (_loc,
8884
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8885
Ast.IdUid (_loc, "PaInt64"))),
8887
meta_string _loc x1)
9240
(Ast.IdUid (_loc, "Ast")),
9241
(Ast.IdUid (_loc, "PaInt64")))))),
9242
(meta_loc _loc x0))),
9243
(meta_string _loc x1))
8888
9244
| Ast.PaInt32 (x0, x1) ->
8889
9245
Ast.ExApp (_loc,
8892
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8893
Ast.IdUid (_loc, "PaInt32"))),
8895
meta_string _loc x1)
9249
(Ast.IdUid (_loc, "Ast")),
9250
(Ast.IdUid (_loc, "PaInt32")))))),
9251
(meta_loc _loc x0))),
9252
(meta_string _loc x1))
8896
9253
| Ast.PaInt (x0, x1) ->
8897
9254
Ast.ExApp (_loc,
8900
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8901
Ast.IdUid (_loc, "PaInt"))),
8903
meta_string _loc x1)
9258
(Ast.IdUid (_loc, "Ast")),
9259
(Ast.IdUid (_loc, "PaInt")))))),
9260
(meta_loc _loc x0))),
9261
(meta_string _loc x1))
8904
9262
| Ast.PaChr (x0, x1) ->
8905
9263
Ast.ExApp (_loc,
8908
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8909
Ast.IdUid (_loc, "PaChr"))),
8911
meta_string _loc x1)
9267
(Ast.IdUid (_loc, "Ast")),
9268
(Ast.IdUid (_loc, "PaChr")))))),
9269
(meta_loc _loc x0))),
9270
(meta_string _loc x1))
8912
9271
| Ast.PaSem (x0, x1, x2) ->
8913
9272
Ast.ExApp (_loc,
8918
Ast.IdUid (_loc, "Ast"),
8919
Ast.IdUid (_loc, "PaSem"))),
9277
(Ast.IdUid (_loc, "Ast")),
9278
(Ast.IdUid (_loc, "PaSem")))))),
9279
(meta_loc _loc x0))),
9280
(meta_patt _loc x1))),
9281
(meta_patt _loc x2))
8923
9282
| Ast.PaCom (x0, x1, x2) ->
8924
9283
Ast.ExApp (_loc,
8929
Ast.IdUid (_loc, "Ast"),
8930
Ast.IdUid (_loc, "PaCom"))),
9288
(Ast.IdUid (_loc, "Ast")),
9289
(Ast.IdUid (_loc, "PaCom")))))),
9290
(meta_loc _loc x0))),
9291
(meta_patt _loc x1))),
9292
(meta_patt _loc x2))
8934
9293
| Ast.PaArr (x0, x1) ->
8935
9294
Ast.ExApp (_loc,
8938
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8939
Ast.IdUid (_loc, "PaArr"))),
9298
(Ast.IdUid (_loc, "Ast")),
9299
(Ast.IdUid (_loc, "PaArr")))))),
9300
(meta_loc _loc x0))),
9301
(meta_patt _loc x1))
8942
9302
| Ast.PaApp (x0, x1, x2) ->
8943
9303
Ast.ExApp (_loc,
8948
Ast.IdUid (_loc, "Ast"),
8949
Ast.IdUid (_loc, "PaApp"))),
9308
(Ast.IdUid (_loc, "Ast")),
9309
(Ast.IdUid (_loc, "PaApp")))))),
9310
(meta_loc _loc x0))),
9311
(meta_patt _loc x1))),
9312
(meta_patt _loc x2))
8953
9313
| Ast.PaAny x0 ->
8954
9314
Ast.ExApp (_loc,
8956
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8957
Ast.IdUid (_loc, "PaAny"))),
9317
(Ast.IdUid (_loc, "Ast")),
9318
(Ast.IdUid (_loc, "PaAny")))))),
8959
9320
| Ast.PaAnt (x0, x1) -> Ast.ExAnt (x0, x1)
8960
9321
| Ast.PaAli (x0, x1, x2) ->
8961
9322
Ast.ExApp (_loc,
8966
Ast.IdUid (_loc, "Ast"),
8967
Ast.IdUid (_loc, "PaAli"))),
9327
(Ast.IdUid (_loc, "Ast")),
9328
(Ast.IdUid (_loc, "PaAli")))))),
9329
(meta_loc _loc x0))),
9330
(meta_patt _loc x1))),
9331
(meta_patt _loc x2))
8971
9332
| Ast.PaId (x0, x1) ->
8972
9333
Ast.ExApp (_loc,
8975
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8976
Ast.IdUid (_loc, "PaId"))),
9337
(Ast.IdUid (_loc, "Ast")),
9338
(Ast.IdUid (_loc, "PaId")))))),
9339
(meta_loc _loc x0))),
9340
(meta_ident _loc x1))
8979
9341
| Ast.PaNil x0 ->
8980
9342
Ast.ExApp (_loc,
8982
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
8983
Ast.IdUid (_loc, "PaNil"))),
9345
(Ast.IdUid (_loc, "Ast")),
9346
(Ast.IdUid (_loc, "PaNil")))))),
9348
and meta_private_flag _loc =
9350
| Ast.PrAnt x0 -> Ast.ExAnt (_loc, x0)
9353
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9354
(Ast.IdUid (_loc, "PrNil")))))
9357
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9358
(Ast.IdUid (_loc, "PrPrivate")))))
8985
9359
and meta_rec_binding _loc =
8987
9361
| Ast.RbAnt (x0, x1) -> Ast.ExAnt (x0, x1)
8988
9362
| Ast.RbEq (x0, x1, x2) ->
8989
9363
Ast.ExApp (_loc,
8994
Ast.IdUid (_loc, "Ast"),
8995
Ast.IdUid (_loc, "RbEq"))),
8997
meta_ident _loc x1),
9368
(Ast.IdUid (_loc, "Ast")),
9369
(Ast.IdUid (_loc, "RbEq")))))),
9370
(meta_loc _loc x0))),
9371
(meta_ident _loc x1))),
9372
(meta_expr _loc x2))
8999
9373
| Ast.RbSem (x0, x1, x2) ->
9000
9374
Ast.ExApp (_loc,
9005
Ast.IdUid (_loc, "Ast"),
9006
Ast.IdUid (_loc, "RbSem"))),
9008
meta_rec_binding _loc x1),
9009
meta_rec_binding _loc x2)
9379
(Ast.IdUid (_loc, "Ast")),
9380
(Ast.IdUid (_loc, "RbSem")))))),
9381
(meta_loc _loc x0))),
9382
(meta_rec_binding _loc x1))),
9383
(meta_rec_binding _loc x2))
9010
9384
| Ast.RbNil x0 ->
9011
9385
Ast.ExApp (_loc,
9013
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9014
Ast.IdUid (_loc, "RbNil"))),
9388
(Ast.IdUid (_loc, "Ast")),
9389
(Ast.IdUid (_loc, "RbNil")))))),
9391
and meta_rec_flag _loc =
9393
| Ast.ReAnt x0 -> Ast.ExAnt (_loc, x0)
9396
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9397
(Ast.IdUid (_loc, "ReNil")))))
9398
| Ast.ReRecursive ->
9400
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9401
(Ast.IdUid (_loc, "ReRecursive")))))
9402
and meta_row_var_flag _loc =
9404
| Ast.RvAnt x0 -> Ast.ExAnt (_loc, x0)
9407
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9408
(Ast.IdUid (_loc, "RvNil")))))
9411
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9412
(Ast.IdUid (_loc, "RvRowVar")))))
9016
9413
and meta_sig_item _loc =
9018
9415
| Ast.SgAnt (x0, x1) -> Ast.ExAnt (x0, x1)
9019
9416
| Ast.SgVal (x0, x1, x2) ->
9020
9417
Ast.ExApp (_loc,
9025
Ast.IdUid (_loc, "Ast"),
9026
Ast.IdUid (_loc, "SgVal"))),
9028
meta_string _loc x1),
9422
(Ast.IdUid (_loc, "Ast")),
9423
(Ast.IdUid (_loc, "SgVal")))))),
9424
(meta_loc _loc x0))),
9425
(meta_string _loc x1))),
9426
(meta_ctyp _loc x2))
9030
9427
| Ast.SgTyp (x0, x1) ->
9031
9428
Ast.ExApp (_loc,
9034
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9035
Ast.IdUid (_loc, "SgTyp"))),
9432
(Ast.IdUid (_loc, "Ast")),
9433
(Ast.IdUid (_loc, "SgTyp")))))),
9434
(meta_loc _loc x0))),
9435
(meta_ctyp _loc x1))
9038
9436
| Ast.SgOpn (x0, x1) ->
9039
9437
Ast.ExApp (_loc,
9042
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9043
Ast.IdUid (_loc, "SgOpn"))),
9441
(Ast.IdUid (_loc, "Ast")),
9442
(Ast.IdUid (_loc, "SgOpn")))))),
9443
(meta_loc _loc x0))),
9444
(meta_ident _loc x1))
9046
9445
| Ast.SgMty (x0, x1, x2) ->
9047
9446
Ast.ExApp (_loc,
9052
Ast.IdUid (_loc, "Ast"),
9053
Ast.IdUid (_loc, "SgMty"))),
9055
meta_string _loc x1),
9056
meta_module_type _loc x2)
9451
(Ast.IdUid (_loc, "Ast")),
9452
(Ast.IdUid (_loc, "SgMty")))))),
9453
(meta_loc _loc x0))),
9454
(meta_string _loc x1))),
9455
(meta_module_type _loc x2))
9057
9456
| Ast.SgRecMod (x0, x1) ->
9058
9457
Ast.ExApp (_loc,
9061
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9062
Ast.IdUid (_loc, "SgRecMod"))),
9064
meta_module_binding _loc x1)
9461
(Ast.IdUid (_loc, "Ast")),
9462
(Ast.IdUid (_loc, "SgRecMod")))))),
9463
(meta_loc _loc x0))),
9464
(meta_module_binding _loc x1))
9065
9465
| Ast.SgMod (x0, x1, x2) ->
9066
9466
Ast.ExApp (_loc,
9071
Ast.IdUid (_loc, "Ast"),
9072
Ast.IdUid (_loc, "SgMod"))),
9074
meta_string _loc x1),
9075
meta_module_type _loc x2)
9471
(Ast.IdUid (_loc, "Ast")),
9472
(Ast.IdUid (_loc, "SgMod")))))),
9473
(meta_loc _loc x0))),
9474
(meta_string _loc x1))),
9475
(meta_module_type _loc x2))
9076
9476
| Ast.SgInc (x0, x1) ->
9077
9477
Ast.ExApp (_loc,
9080
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9081
Ast.IdUid (_loc, "SgInc"))),
9083
meta_module_type _loc x1)
9481
(Ast.IdUid (_loc, "Ast")),
9482
(Ast.IdUid (_loc, "SgInc")))))),
9483
(meta_loc _loc x0))),
9484
(meta_module_type _loc x1))
9084
9485
| Ast.SgExt (x0, x1, x2, x3) ->
9085
9486
Ast.ExApp (_loc,
9091
Ast.IdUid (_loc, "Ast"),
9092
Ast.IdUid (_loc, "SgExt"))),
9094
meta_string _loc x1),
9096
meta_meta_list meta_string _loc x3)
9492
(Ast.IdUid (_loc, "Ast")),
9493
(Ast.IdUid (_loc, "SgExt")))))),
9494
(meta_loc _loc x0))),
9495
(meta_string _loc x1))),
9496
(meta_ctyp _loc x2))),
9497
(meta_meta_list meta_string _loc x3))
9097
9498
| Ast.SgExc (x0, x1) ->
9098
9499
Ast.ExApp (_loc,
9101
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9102
Ast.IdUid (_loc, "SgExc"))),
9503
(Ast.IdUid (_loc, "Ast")),
9504
(Ast.IdUid (_loc, "SgExc")))))),
9505
(meta_loc _loc x0))),
9506
(meta_ctyp _loc x1))
9105
9507
| Ast.SgDir (x0, x1, x2) ->
9106
9508
Ast.ExApp (_loc,
9111
Ast.IdUid (_loc, "Ast"),
9112
Ast.IdUid (_loc, "SgDir"))),
9114
meta_string _loc x1),
9513
(Ast.IdUid (_loc, "Ast")),
9514
(Ast.IdUid (_loc, "SgDir")))))),
9515
(meta_loc _loc x0))),
9516
(meta_string _loc x1))),
9517
(meta_expr _loc x2))
9116
9518
| Ast.SgSem (x0, x1, x2) ->
9117
9519
Ast.ExApp (_loc,
9122
Ast.IdUid (_loc, "Ast"),
9123
Ast.IdUid (_loc, "SgSem"))),
9125
meta_sig_item _loc x1),
9126
meta_sig_item _loc x2)
9524
(Ast.IdUid (_loc, "Ast")),
9525
(Ast.IdUid (_loc, "SgSem")))))),
9526
(meta_loc _loc x0))),
9527
(meta_sig_item _loc x1))),
9528
(meta_sig_item _loc x2))
9127
9529
| Ast.SgClt (x0, x1) ->
9128
9530
Ast.ExApp (_loc,
9131
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9132
Ast.IdUid (_loc, "SgClt"))),
9134
meta_class_type _loc x1)
9534
(Ast.IdUid (_loc, "Ast")),
9535
(Ast.IdUid (_loc, "SgClt")))))),
9536
(meta_loc _loc x0))),
9537
(meta_class_type _loc x1))
9135
9538
| Ast.SgCls (x0, x1) ->
9136
9539
Ast.ExApp (_loc,
9139
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9140
Ast.IdUid (_loc, "SgCls"))),
9142
meta_class_type _loc x1)
9543
(Ast.IdUid (_loc, "Ast")),
9544
(Ast.IdUid (_loc, "SgCls")))))),
9545
(meta_loc _loc x0))),
9546
(meta_class_type _loc x1))
9143
9547
| Ast.SgNil x0 ->
9144
9548
Ast.ExApp (_loc,
9146
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9147
Ast.IdUid (_loc, "SgNil"))),
9551
(Ast.IdUid (_loc, "Ast")),
9552
(Ast.IdUid (_loc, "SgNil")))))),
9149
9554
and meta_str_item _loc =
9151
9556
| Ast.StAnt (x0, x1) -> Ast.ExAnt (x0, x1)
9152
9557
| Ast.StVal (x0, x1, x2) ->
9153
9558
Ast.ExApp (_loc,
9158
Ast.IdUid (_loc, "Ast"),
9159
Ast.IdUid (_loc, "StVal"))),
9161
meta_meta_bool _loc x1),
9162
meta_binding _loc x2)
9563
(Ast.IdUid (_loc, "Ast")),
9564
(Ast.IdUid (_loc, "StVal")))))),
9565
(meta_loc _loc x0))),
9566
(meta_rec_flag _loc x1))),
9567
(meta_binding _loc x2))
9163
9568
| Ast.StTyp (x0, x1) ->
9164
9569
Ast.ExApp (_loc,
9167
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9168
Ast.IdUid (_loc, "StTyp"))),
9573
(Ast.IdUid (_loc, "Ast")),
9574
(Ast.IdUid (_loc, "StTyp")))))),
9575
(meta_loc _loc x0))),
9576
(meta_ctyp _loc x1))
9171
9577
| Ast.StOpn (x0, x1) ->
9172
9578
Ast.ExApp (_loc,
9175
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9176
Ast.IdUid (_loc, "StOpn"))),
9582
(Ast.IdUid (_loc, "Ast")),
9583
(Ast.IdUid (_loc, "StOpn")))))),
9584
(meta_loc _loc x0))),
9585
(meta_ident _loc x1))
9179
9586
| Ast.StMty (x0, x1, x2) ->
9180
9587
Ast.ExApp (_loc,
9185
Ast.IdUid (_loc, "Ast"),
9186
Ast.IdUid (_loc, "StMty"))),
9188
meta_string _loc x1),
9189
meta_module_type _loc x2)
9592
(Ast.IdUid (_loc, "Ast")),
9593
(Ast.IdUid (_loc, "StMty")))))),
9594
(meta_loc _loc x0))),
9595
(meta_string _loc x1))),
9596
(meta_module_type _loc x2))
9190
9597
| Ast.StRecMod (x0, x1) ->
9191
9598
Ast.ExApp (_loc,
9194
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9195
Ast.IdUid (_loc, "StRecMod"))),
9197
meta_module_binding _loc x1)
9602
(Ast.IdUid (_loc, "Ast")),
9603
(Ast.IdUid (_loc, "StRecMod")))))),
9604
(meta_loc _loc x0))),
9605
(meta_module_binding _loc x1))
9198
9606
| Ast.StMod (x0, x1, x2) ->
9199
9607
Ast.ExApp (_loc,
9204
Ast.IdUid (_loc, "Ast"),
9205
Ast.IdUid (_loc, "StMod"))),
9207
meta_string _loc x1),
9208
meta_module_expr _loc x2)
9612
(Ast.IdUid (_loc, "Ast")),
9613
(Ast.IdUid (_loc, "StMod")))))),
9614
(meta_loc _loc x0))),
9615
(meta_string _loc x1))),
9616
(meta_module_expr _loc x2))
9209
9617
| Ast.StInc (x0, x1) ->
9210
9618
Ast.ExApp (_loc,
9213
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9214
Ast.IdUid (_loc, "StInc"))),
9216
meta_module_expr _loc x1)
9622
(Ast.IdUid (_loc, "Ast")),
9623
(Ast.IdUid (_loc, "StInc")))))),
9624
(meta_loc _loc x0))),
9625
(meta_module_expr _loc x1))
9217
9626
| Ast.StExt (x0, x1, x2, x3) ->
9218
9627
Ast.ExApp (_loc,
9224
Ast.IdUid (_loc, "Ast"),
9225
Ast.IdUid (_loc, "StExt"))),
9227
meta_string _loc x1),
9229
meta_meta_list meta_string _loc x3)
9633
(Ast.IdUid (_loc, "Ast")),
9634
(Ast.IdUid (_loc, "StExt")))))),
9635
(meta_loc _loc x0))),
9636
(meta_string _loc x1))),
9637
(meta_ctyp _loc x2))),
9638
(meta_meta_list meta_string _loc x3))
9230
9639
| Ast.StExp (x0, x1) ->
9231
9640
Ast.ExApp (_loc,
9234
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9235
Ast.IdUid (_loc, "StExp"))),
9644
(Ast.IdUid (_loc, "Ast")),
9645
(Ast.IdUid (_loc, "StExp")))))),
9646
(meta_loc _loc x0))),
9647
(meta_expr _loc x1))
9238
9648
| Ast.StExc (x0, x1, x2) ->
9239
9649
Ast.ExApp (_loc,
9244
Ast.IdUid (_loc, "Ast"),
9245
Ast.IdUid (_loc, "StExc"))),
9248
meta_meta_option meta_ident _loc x2)
9654
(Ast.IdUid (_loc, "Ast")),
9655
(Ast.IdUid (_loc, "StExc")))))),
9656
(meta_loc _loc x0))),
9657
(meta_ctyp _loc x1))),
9658
(meta_meta_option meta_ident _loc x2))
9249
9659
| Ast.StDir (x0, x1, x2) ->
9250
9660
Ast.ExApp (_loc,
9255
Ast.IdUid (_loc, "Ast"),
9256
Ast.IdUid (_loc, "StDir"))),
9258
meta_string _loc x1),
9665
(Ast.IdUid (_loc, "Ast")),
9666
(Ast.IdUid (_loc, "StDir")))))),
9667
(meta_loc _loc x0))),
9668
(meta_string _loc x1))),
9669
(meta_expr _loc x2))
9260
9670
| Ast.StSem (x0, x1, x2) ->
9261
9671
Ast.ExApp (_loc,
9266
Ast.IdUid (_loc, "Ast"),
9267
Ast.IdUid (_loc, "StSem"))),
9269
meta_str_item _loc x1),
9270
meta_str_item _loc x2)
9676
(Ast.IdUid (_loc, "Ast")),
9677
(Ast.IdUid (_loc, "StSem")))))),
9678
(meta_loc _loc x0))),
9679
(meta_str_item _loc x1))),
9680
(meta_str_item _loc x2))
9271
9681
| Ast.StClt (x0, x1) ->
9272
9682
Ast.ExApp (_loc,
9275
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9276
Ast.IdUid (_loc, "StClt"))),
9278
meta_class_type _loc x1)
9686
(Ast.IdUid (_loc, "Ast")),
9687
(Ast.IdUid (_loc, "StClt")))))),
9688
(meta_loc _loc x0))),
9689
(meta_class_type _loc x1))
9279
9690
| Ast.StCls (x0, x1) ->
9280
9691
Ast.ExApp (_loc,
9283
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9284
Ast.IdUid (_loc, "StCls"))),
9286
meta_class_expr _loc x1)
9695
(Ast.IdUid (_loc, "Ast")),
9696
(Ast.IdUid (_loc, "StCls")))))),
9697
(meta_loc _loc x0))),
9698
(meta_class_expr _loc x1))
9287
9699
| Ast.StNil x0 ->
9288
9700
Ast.ExApp (_loc,
9290
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9291
Ast.IdUid (_loc, "StNil"))),
9703
(Ast.IdUid (_loc, "Ast")),
9704
(Ast.IdUid (_loc, "StNil")))))),
9706
and meta_virtual_flag _loc =
9708
| Ast.ViAnt x0 -> Ast.ExAnt (_loc, x0)
9711
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9712
(Ast.IdUid (_loc, "ViNil")))))
9715
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
9716
(Ast.IdUid (_loc, "ViVirtual")))))
9293
9717
and meta_with_constr _loc =
9295
9719
| Ast.WcAnt (x0, x1) -> Ast.ExAnt (x0, x1)
9296
9720
| Ast.WcAnd (x0, x1, x2) ->
9297
9721
Ast.ExApp (_loc,
9302
Ast.IdUid (_loc, "Ast"),
9303
Ast.IdUid (_loc, "WcAnd"))),
9305
meta_with_constr _loc x1),
9306
meta_with_constr _loc x2)
9726
(Ast.IdUid (_loc, "Ast")),
9727
(Ast.IdUid (_loc, "WcAnd")))))),
9728
(meta_loc _loc x0))),
9729
(meta_with_constr _loc x1))),
9730
(meta_with_constr _loc x2))
9731
| Ast.WcMoS (x0, x1, x2) ->
9737
(Ast.IdUid (_loc, "Ast")),
9738
(Ast.IdUid (_loc, "WcMoS")))))),
9739
(meta_loc _loc x0))),
9740
(meta_ident _loc x1))),
9741
(meta_ident _loc x2))
9742
| Ast.WcTyS (x0, x1, x2) ->
9748
(Ast.IdUid (_loc, "Ast")),
9749
(Ast.IdUid (_loc, "WcTyS")))))),
9750
(meta_loc _loc x0))),
9751
(meta_ctyp _loc x1))),
9752
(meta_ctyp _loc x2))
9307
9753
| Ast.WcMod (x0, x1, x2) ->
9308
9754
Ast.ExApp (_loc,
9313
Ast.IdUid (_loc, "Ast"),
9314
Ast.IdUid (_loc, "WcMod"))),
9316
meta_ident _loc x1),
9759
(Ast.IdUid (_loc, "Ast")),
9760
(Ast.IdUid (_loc, "WcMod")))))),
9761
(meta_loc _loc x0))),
9762
(meta_ident _loc x1))),
9763
(meta_ident _loc x2))
9318
9764
| Ast.WcTyp (x0, x1, x2) ->
9319
9765
Ast.ExApp (_loc,
9324
Ast.IdUid (_loc, "Ast"),
9325
Ast.IdUid (_loc, "WcTyp"))),
9770
(Ast.IdUid (_loc, "Ast")),
9771
(Ast.IdUid (_loc, "WcTyp")))))),
9772
(meta_loc _loc x0))),
9773
(meta_ctyp _loc x1))),
9774
(meta_ctyp _loc x2))
9329
9775
| Ast.WcNil x0 ->
9330
9776
Ast.ExApp (_loc,
9332
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9333
Ast.IdUid (_loc, "WcNil"))),
9779
(Ast.IdUid (_loc, "Ast")),
9780
(Ast.IdUid (_loc, "WcNil")))))),
9350
9797
let meta_bool _loc =
9353
Ast.PaId (_loc, Ast.IdUid (_loc, "False"))
9354
| true -> Ast.PaId (_loc, Ast.IdUid (_loc, "True"))
9800
Ast.PaId (_loc, (Ast.IdUid (_loc, "False")))
9802
Ast.PaId (_loc, (Ast.IdUid (_loc, "True")))
9356
9804
let rec meta_list mf_a _loc =
9358
| [] -> Ast.PaId (_loc, Ast.IdUid (_loc, "[]"))
9806
| [] -> Ast.PaId (_loc, (Ast.IdUid (_loc, "[]")))
9360
9808
Ast.PaApp (_loc,
9362
Ast.PaId (_loc, Ast.IdUid (_loc, "::")),
9364
meta_list mf_a _loc xs)
9810
(Ast.PaId (_loc, (Ast.IdUid (_loc, "::")))),
9812
(meta_list mf_a _loc xs))
9366
9814
let rec meta_binding _loc =
9368
9816
| Ast.BiAnt (x0, x1) -> Ast.PaAnt (x0, x1)
9369
9817
| Ast.BiEq (x0, x1, x2) ->
9370
9818
Ast.PaApp (_loc,
9375
Ast.IdUid (_loc, "Ast"),
9376
Ast.IdUid (_loc, "BiEq"))),
9823
(Ast.IdUid (_loc, "Ast")),
9824
(Ast.IdUid (_loc, "BiEq")))))),
9825
(meta_loc _loc x0))),
9826
(meta_patt _loc x1))),
9827
(meta_expr _loc x2))
9380
9828
| Ast.BiAnd (x0, x1, x2) ->
9381
9829
Ast.PaApp (_loc,
9386
Ast.IdUid (_loc, "Ast"),
9387
Ast.IdUid (_loc, "BiAnd"))),
9389
meta_binding _loc x1),
9390
meta_binding _loc x2)
9834
(Ast.IdUid (_loc, "Ast")),
9835
(Ast.IdUid (_loc, "BiAnd")))))),
9836
(meta_loc _loc x0))),
9837
(meta_binding _loc x1))),
9838
(meta_binding _loc x2))
9391
9839
| Ast.BiNil x0 ->
9392
9840
Ast.PaApp (_loc,
9394
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9395
Ast.IdUid (_loc, "BiNil"))),
9843
(Ast.IdUid (_loc, "Ast")),
9844
(Ast.IdUid (_loc, "BiNil")))))),
9397
9846
and meta_class_expr _loc =
9399
9848
| Ast.CeAnt (x0, x1) -> Ast.PaAnt (x0, x1)
9400
9849
| Ast.CeEq (x0, x1, x2) ->
9401
9850
Ast.PaApp (_loc,
9406
Ast.IdUid (_loc, "Ast"),
9407
Ast.IdUid (_loc, "CeEq"))),
9409
meta_class_expr _loc x1),
9410
meta_class_expr _loc x2)
9855
(Ast.IdUid (_loc, "Ast")),
9856
(Ast.IdUid (_loc, "CeEq")))))),
9857
(meta_loc _loc x0))),
9858
(meta_class_expr _loc x1))),
9859
(meta_class_expr _loc x2))
9411
9860
| Ast.CeAnd (x0, x1, x2) ->
9412
9861
Ast.PaApp (_loc,
9417
Ast.IdUid (_loc, "Ast"),
9418
Ast.IdUid (_loc, "CeAnd"))),
9420
meta_class_expr _loc x1),
9421
meta_class_expr _loc x2)
9866
(Ast.IdUid (_loc, "Ast")),
9867
(Ast.IdUid (_loc, "CeAnd")))))),
9868
(meta_loc _loc x0))),
9869
(meta_class_expr _loc x1))),
9870
(meta_class_expr _loc x2))
9422
9871
| Ast.CeTyc (x0, x1, x2) ->
9423
9872
Ast.PaApp (_loc,
9428
Ast.IdUid (_loc, "Ast"),
9429
Ast.IdUid (_loc, "CeTyc"))),
9431
meta_class_expr _loc x1),
9432
meta_class_type _loc x2)
9877
(Ast.IdUid (_loc, "Ast")),
9878
(Ast.IdUid (_loc, "CeTyc")))))),
9879
(meta_loc _loc x0))),
9880
(meta_class_expr _loc x1))),
9881
(meta_class_type _loc x2))
9433
9882
| Ast.CeStr (x0, x1, x2) ->
9434
9883
Ast.PaApp (_loc,
9439
Ast.IdUid (_loc, "Ast"),
9440
Ast.IdUid (_loc, "CeStr"))),
9443
meta_class_str_item _loc x2)
9888
(Ast.IdUid (_loc, "Ast")),
9889
(Ast.IdUid (_loc, "CeStr")))))),
9890
(meta_loc _loc x0))),
9891
(meta_patt _loc x1))),
9892
(meta_class_str_item _loc x2))
9444
9893
| Ast.CeLet (x0, x1, x2, x3) ->
9445
9894
Ast.PaApp (_loc,
9451
Ast.IdUid (_loc, "Ast"),
9452
Ast.IdUid (_loc, "CeLet"))),
9454
meta_meta_bool _loc x1),
9455
meta_binding _loc x2),
9456
meta_class_expr _loc x3)
9900
(Ast.IdUid (_loc, "Ast")),
9901
(Ast.IdUid (_loc, "CeLet")))))),
9902
(meta_loc _loc x0))),
9903
(meta_rec_flag _loc x1))),
9904
(meta_binding _loc x2))),
9905
(meta_class_expr _loc x3))
9457
9906
| Ast.CeFun (x0, x1, x2) ->
9458
9907
Ast.PaApp (_loc,
9463
Ast.IdUid (_loc, "Ast"),
9464
Ast.IdUid (_loc, "CeFun"))),
9467
meta_class_expr _loc x2)
9912
(Ast.IdUid (_loc, "Ast")),
9913
(Ast.IdUid (_loc, "CeFun")))))),
9914
(meta_loc _loc x0))),
9915
(meta_patt _loc x1))),
9916
(meta_class_expr _loc x2))
9468
9917
| Ast.CeCon (x0, x1, x2, x3) ->
9469
9918
Ast.PaApp (_loc,
9475
Ast.IdUid (_loc, "Ast"),
9476
Ast.IdUid (_loc, "CeCon"))),
9478
meta_meta_bool _loc x1),
9479
meta_ident _loc x2),
9924
(Ast.IdUid (_loc, "Ast")),
9925
(Ast.IdUid (_loc, "CeCon")))))),
9926
(meta_loc _loc x0))),
9927
(meta_virtual_flag _loc x1))),
9928
(meta_ident _loc x2))),
9929
(meta_ctyp _loc x3))
9481
9930
| Ast.CeApp (x0, x1, x2) ->
9482
9931
Ast.PaApp (_loc,
9487
Ast.IdUid (_loc, "Ast"),
9488
Ast.IdUid (_loc, "CeApp"))),
9490
meta_class_expr _loc x1),
9936
(Ast.IdUid (_loc, "Ast")),
9937
(Ast.IdUid (_loc, "CeApp")))))),
9938
(meta_loc _loc x0))),
9939
(meta_class_expr _loc x1))),
9940
(meta_expr _loc x2))
9492
9941
| Ast.CeNil x0 ->
9493
9942
Ast.PaApp (_loc,
9495
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9496
Ast.IdUid (_loc, "CeNil"))),
9945
(Ast.IdUid (_loc, "Ast")),
9946
(Ast.IdUid (_loc, "CeNil")))))),
9498
9948
and meta_class_sig_item _loc =
9500
9950
| Ast.CgAnt (x0, x1) -> Ast.PaAnt (x0, x1)
9501
9951
| Ast.CgVir (x0, x1, x2, x3) ->
9502
9952
Ast.PaApp (_loc,
9508
Ast.IdUid (_loc, "Ast"),
9509
Ast.IdUid (_loc, "CgVir"))),
9511
meta_string _loc x1),
9512
meta_meta_bool _loc x2),
9958
(Ast.IdUid (_loc, "Ast")),
9959
(Ast.IdUid (_loc, "CgVir")))))),
9960
(meta_loc _loc x0))),
9961
(meta_string _loc x1))),
9962
(meta_private_flag _loc x2))),
9963
(meta_ctyp _loc x3))
9514
9964
| Ast.CgVal (x0, x1, x2, x3, x4) ->
9515
9965
Ast.PaApp (_loc,
9522
Ast.IdUid (_loc, "Ast"),
9523
Ast.IdUid (_loc, "CgVal"))),
9525
meta_string _loc x1),
9526
meta_meta_bool _loc x2),
9527
meta_meta_bool _loc x3),
9972
(Ast.IdUid (_loc, "Ast")),
9973
(Ast.IdUid (_loc, "CgVal")))))),
9974
(meta_loc _loc x0))),
9975
(meta_string _loc x1))),
9976
(meta_mutable_flag _loc x2))),
9977
(meta_virtual_flag _loc x3))),
9978
(meta_ctyp _loc x4))
9529
9979
| Ast.CgMth (x0, x1, x2, x3) ->
9530
9980
Ast.PaApp (_loc,
9536
Ast.IdUid (_loc, "Ast"),
9537
Ast.IdUid (_loc, "CgMth"))),
9539
meta_string _loc x1),
9540
meta_meta_bool _loc x2),
9986
(Ast.IdUid (_loc, "Ast")),
9987
(Ast.IdUid (_loc, "CgMth")))))),
9988
(meta_loc _loc x0))),
9989
(meta_string _loc x1))),
9990
(meta_private_flag _loc x2))),
9991
(meta_ctyp _loc x3))
9542
9992
| Ast.CgInh (x0, x1) ->
9543
9993
Ast.PaApp (_loc,
9546
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9547
Ast.IdUid (_loc, "CgInh"))),
9549
meta_class_type _loc x1)
9997
(Ast.IdUid (_loc, "Ast")),
9998
(Ast.IdUid (_loc, "CgInh")))))),
9999
(meta_loc _loc x0))),
10000
(meta_class_type _loc x1))
9550
10001
| Ast.CgSem (x0, x1, x2) ->
9551
10002
Ast.PaApp (_loc,
9556
Ast.IdUid (_loc, "Ast"),
9557
Ast.IdUid (_loc, "CgSem"))),
9559
meta_class_sig_item _loc x1),
9560
meta_class_sig_item _loc x2)
10007
(Ast.IdUid (_loc, "Ast")),
10008
(Ast.IdUid (_loc, "CgSem")))))),
10009
(meta_loc _loc x0))),
10010
(meta_class_sig_item _loc x1))),
10011
(meta_class_sig_item _loc x2))
9561
10012
| Ast.CgCtr (x0, x1, x2) ->
9562
10013
Ast.PaApp (_loc,
9567
Ast.IdUid (_loc, "Ast"),
9568
Ast.IdUid (_loc, "CgCtr"))),
10018
(Ast.IdUid (_loc, "Ast")),
10019
(Ast.IdUid (_loc, "CgCtr")))))),
10020
(meta_loc _loc x0))),
10021
(meta_ctyp _loc x1))),
10022
(meta_ctyp _loc x2))
9572
10023
| Ast.CgNil x0 ->
9573
10024
Ast.PaApp (_loc,
9575
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9576
Ast.IdUid (_loc, "CgNil"))),
10027
(Ast.IdUid (_loc, "Ast")),
10028
(Ast.IdUid (_loc, "CgNil")))))),
10029
(meta_loc _loc x0))
9578
10030
and meta_class_str_item _loc =
9580
10032
| Ast.CrAnt (x0, x1) -> Ast.PaAnt (x0, x1)
9581
10033
| Ast.CrVvr (x0, x1, x2, x3) ->
9582
10034
Ast.PaApp (_loc,
9588
Ast.IdUid (_loc, "Ast"),
9589
Ast.IdUid (_loc, "CrVvr"))),
9591
meta_string _loc x1),
9592
meta_meta_bool _loc x2),
10040
(Ast.IdUid (_loc, "Ast")),
10041
(Ast.IdUid (_loc, "CrVvr")))))),
10042
(meta_loc _loc x0))),
10043
(meta_string _loc x1))),
10044
(meta_mutable_flag _loc x2))),
10045
(meta_ctyp _loc x3))
9594
10046
| Ast.CrVir (x0, x1, x2, x3) ->
9595
10047
Ast.PaApp (_loc,
9601
Ast.IdUid (_loc, "Ast"),
9602
Ast.IdUid (_loc, "CrVir"))),
9604
meta_string _loc x1),
9605
meta_meta_bool _loc x2),
9607
| Ast.CrVal (x0, x1, x2, x3) ->
9614
Ast.IdUid (_loc, "Ast"),
9615
Ast.IdUid (_loc, "CrVal"))),
9617
meta_string _loc x1),
9618
meta_meta_bool _loc x2),
9620
| Ast.CrMth (x0, x1, x2, x3, x4) ->
9628
Ast.IdUid (_loc, "Ast"),
9629
Ast.IdUid (_loc, "CrMth"))),
9631
meta_string _loc x1),
9632
meta_meta_bool _loc x2),
10053
(Ast.IdUid (_loc, "Ast")),
10054
(Ast.IdUid (_loc, "CrVir")))))),
10055
(meta_loc _loc x0))),
10056
(meta_string _loc x1))),
10057
(meta_private_flag _loc x2))),
10058
(meta_ctyp _loc x3))
10059
| Ast.CrVal (x0, x1, x2, x3, x4) ->
10067
(Ast.IdUid (_loc, "Ast")),
10068
(Ast.IdUid (_loc, "CrVal")))))),
10069
(meta_loc _loc x0))),
10070
(meta_string _loc x1))),
10071
(meta_override_flag _loc x2))),
10072
(meta_mutable_flag _loc x3))),
10073
(meta_expr _loc x4))
10074
| Ast.CrMth (x0, x1, x2, x3, x4, x5) ->
10083
(Ast.IdUid (_loc, "Ast")),
10086
(meta_loc _loc x0))),
10087
(meta_string _loc x1))),
10088
(meta_override_flag _loc x2))),
10089
(meta_private_flag _loc x3))),
10090
(meta_expr _loc x4))),
10091
(meta_ctyp _loc x5))
9635
10092
| Ast.CrIni (x0, x1) ->
9636
10093
Ast.PaApp (_loc,
9639
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9640
Ast.IdUid (_loc, "CrIni"))),
9643
| Ast.CrInh (x0, x1, x2) ->
10097
(Ast.IdUid (_loc, "Ast")),
10098
(Ast.IdUid (_loc, "CrIni")))))),
10099
(meta_loc _loc x0))),
10100
(meta_expr _loc x1))
10101
| Ast.CrInh (x0, x1, x2, x3) ->
9644
10102
Ast.PaApp (_loc,
9649
Ast.IdUid (_loc, "Ast"),
9650
Ast.IdUid (_loc, "CrInh"))),
9652
meta_class_expr _loc x1),
9653
meta_string _loc x2)
10108
(Ast.IdUid (_loc, "Ast")),
10109
(Ast.IdUid (_loc, "CrInh")))))),
10110
(meta_loc _loc x0))),
10111
(meta_override_flag _loc x1))),
10112
(meta_class_expr _loc x2))),
10113
(meta_string _loc x3))
9654
10114
| Ast.CrCtr (x0, x1, x2) ->
9655
10115
Ast.PaApp (_loc,
9660
Ast.IdUid (_loc, "Ast"),
9661
Ast.IdUid (_loc, "CrCtr"))),
10120
(Ast.IdUid (_loc, "Ast")),
10121
(Ast.IdUid (_loc, "CrCtr")))))),
10122
(meta_loc _loc x0))),
10123
(meta_ctyp _loc x1))),
10124
(meta_ctyp _loc x2))
9665
10125
| Ast.CrSem (x0, x1, x2) ->
9666
10126
Ast.PaApp (_loc,
9671
Ast.IdUid (_loc, "Ast"),
9672
Ast.IdUid (_loc, "CrSem"))),
9674
meta_class_str_item _loc x1),
9675
meta_class_str_item _loc x2)
10131
(Ast.IdUid (_loc, "Ast")),
10132
(Ast.IdUid (_loc, "CrSem")))))),
10133
(meta_loc _loc x0))),
10134
(meta_class_str_item _loc x1))),
10135
(meta_class_str_item _loc x2))
9676
10136
| Ast.CrNil x0 ->
9677
10137
Ast.PaApp (_loc,
9679
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9680
Ast.IdUid (_loc, "CrNil"))),
10140
(Ast.IdUid (_loc, "Ast")),
10141
(Ast.IdUid (_loc, "CrNil")))))),
10142
(meta_loc _loc x0))
9682
10143
and meta_class_type _loc =
9684
10145
| Ast.CtAnt (x0, x1) -> Ast.PaAnt (x0, x1)
9685
10146
| Ast.CtEq (x0, x1, x2) ->
9686
10147
Ast.PaApp (_loc,
9691
Ast.IdUid (_loc, "Ast"),
9692
Ast.IdUid (_loc, "CtEq"))),
9694
meta_class_type _loc x1),
9695
meta_class_type _loc x2)
10152
(Ast.IdUid (_loc, "Ast")),
10153
(Ast.IdUid (_loc, "CtEq")))))),
10154
(meta_loc _loc x0))),
10155
(meta_class_type _loc x1))),
10156
(meta_class_type _loc x2))
9696
10157
| Ast.CtCol (x0, x1, x2) ->
9697
10158
Ast.PaApp (_loc,
9702
Ast.IdUid (_loc, "Ast"),
9703
Ast.IdUid (_loc, "CtCol"))),
9705
meta_class_type _loc x1),
9706
meta_class_type _loc x2)
10163
(Ast.IdUid (_loc, "Ast")),
10164
(Ast.IdUid (_loc, "CtCol")))))),
10165
(meta_loc _loc x0))),
10166
(meta_class_type _loc x1))),
10167
(meta_class_type _loc x2))
9707
10168
| Ast.CtAnd (x0, x1, x2) ->
9708
10169
Ast.PaApp (_loc,
9713
Ast.IdUid (_loc, "Ast"),
9714
Ast.IdUid (_loc, "CtAnd"))),
9716
meta_class_type _loc x1),
9717
meta_class_type _loc x2)
10174
(Ast.IdUid (_loc, "Ast")),
10175
(Ast.IdUid (_loc, "CtAnd")))))),
10176
(meta_loc _loc x0))),
10177
(meta_class_type _loc x1))),
10178
(meta_class_type _loc x2))
9718
10179
| Ast.CtSig (x0, x1, x2) ->
9719
10180
Ast.PaApp (_loc,
9724
Ast.IdUid (_loc, "Ast"),
9725
Ast.IdUid (_loc, "CtSig"))),
9728
meta_class_sig_item _loc x2)
10185
(Ast.IdUid (_loc, "Ast")),
10186
(Ast.IdUid (_loc, "CtSig")))))),
10187
(meta_loc _loc x0))),
10188
(meta_ctyp _loc x1))),
10189
(meta_class_sig_item _loc x2))
9729
10190
| Ast.CtFun (x0, x1, x2) ->
9730
10191
Ast.PaApp (_loc,
9735
Ast.IdUid (_loc, "Ast"),
9736
Ast.IdUid (_loc, "CtFun"))),
9739
meta_class_type _loc x2)
10196
(Ast.IdUid (_loc, "Ast")),
10197
(Ast.IdUid (_loc, "CtFun")))))),
10198
(meta_loc _loc x0))),
10199
(meta_ctyp _loc x1))),
10200
(meta_class_type _loc x2))
9740
10201
| Ast.CtCon (x0, x1, x2, x3) ->
9741
10202
Ast.PaApp (_loc,
9747
Ast.IdUid (_loc, "Ast"),
9748
Ast.IdUid (_loc, "CtCon"))),
9750
meta_meta_bool _loc x1),
9751
meta_ident _loc x2),
10208
(Ast.IdUid (_loc, "Ast")),
10209
(Ast.IdUid (_loc, "CtCon")))))),
10210
(meta_loc _loc x0))),
10211
(meta_virtual_flag _loc x1))),
10212
(meta_ident _loc x2))),
10213
(meta_ctyp _loc x3))
9753
10214
| Ast.CtNil x0 ->
9754
10215
Ast.PaApp (_loc,
9756
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9757
Ast.IdUid (_loc, "CtNil"))),
10218
(Ast.IdUid (_loc, "Ast")),
10219
(Ast.IdUid (_loc, "CtNil")))))),
10220
(meta_loc _loc x0))
9759
10221
and meta_ctyp _loc =
9761
10223
| Ast.TyAnt (x0, x1) -> Ast.PaAnt (x0, x1)
10224
| Ast.TyPkg (x0, x1) ->
10229
(Ast.IdUid (_loc, "Ast")),
10230
(Ast.IdUid (_loc, "TyPkg")))))),
10231
(meta_loc _loc x0))),
10232
(meta_module_type _loc x1))
9762
10233
| Ast.TyOfAmp (x0, x1, x2) ->
9763
10234
Ast.PaApp (_loc,
9768
Ast.IdUid (_loc, "Ast"),
9769
Ast.IdUid (_loc, "TyOfAmp"))),
10239
(Ast.IdUid (_loc, "Ast")),
10240
(Ast.IdUid (_loc, "TyOfAmp")))))),
10241
(meta_loc _loc x0))),
10242
(meta_ctyp _loc x1))),
10243
(meta_ctyp _loc x2))
9773
10244
| Ast.TyAmp (x0, x1, x2) ->
9774
10245
Ast.PaApp (_loc,
9779
Ast.IdUid (_loc, "Ast"),
9780
Ast.IdUid (_loc, "TyAmp"))),
10250
(Ast.IdUid (_loc, "Ast")),
10251
(Ast.IdUid (_loc, "TyAmp")))))),
10252
(meta_loc _loc x0))),
10253
(meta_ctyp _loc x1))),
10254
(meta_ctyp _loc x2))
9784
10255
| Ast.TyVrnInfSup (x0, x1, x2) ->
9785
10256
Ast.PaApp (_loc,
9790
Ast.IdUid (_loc, "Ast"),
9791
Ast.IdUid (_loc, "TyVrnInfSup"))),
10261
(Ast.IdUid (_loc, "Ast")),
10262
(Ast.IdUid (_loc, "TyVrnInfSup")))))),
10263
(meta_loc _loc x0))),
10264
(meta_ctyp _loc x1))),
10265
(meta_ctyp _loc x2))
9795
10266
| Ast.TyVrnInf (x0, x1) ->
9796
10267
Ast.PaApp (_loc,
9799
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9800
Ast.IdUid (_loc, "TyVrnInf"))),
10271
(Ast.IdUid (_loc, "Ast")),
10272
(Ast.IdUid (_loc, "TyVrnInf")))))),
10273
(meta_loc _loc x0))),
10274
(meta_ctyp _loc x1))
9803
10275
| Ast.TyVrnSup (x0, x1) ->
9804
10276
Ast.PaApp (_loc,
9807
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9808
Ast.IdUid (_loc, "TyVrnSup"))),
10280
(Ast.IdUid (_loc, "Ast")),
10281
(Ast.IdUid (_loc, "TyVrnSup")))))),
10282
(meta_loc _loc x0))),
10283
(meta_ctyp _loc x1))
9811
10284
| Ast.TyVrnEq (x0, x1) ->
9812
10285
Ast.PaApp (_loc,
9815
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9816
Ast.IdUid (_loc, "TyVrnEq"))),
10289
(Ast.IdUid (_loc, "Ast")),
10290
(Ast.IdUid (_loc, "TyVrnEq")))))),
10291
(meta_loc _loc x0))),
10292
(meta_ctyp _loc x1))
9819
10293
| Ast.TySta (x0, x1, x2) ->
9820
10294
Ast.PaApp (_loc,
9825
Ast.IdUid (_loc, "Ast"),
9826
Ast.IdUid (_loc, "TySta"))),
10299
(Ast.IdUid (_loc, "Ast")),
10300
(Ast.IdUid (_loc, "TySta")))))),
10301
(meta_loc _loc x0))),
10302
(meta_ctyp _loc x1))),
10303
(meta_ctyp _loc x2))
9830
10304
| Ast.TyTup (x0, x1) ->
9831
10305
Ast.PaApp (_loc,
9834
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9835
Ast.IdUid (_loc, "TyTup"))),
10309
(Ast.IdUid (_loc, "Ast")),
10310
(Ast.IdUid (_loc, "TyTup")))))),
10311
(meta_loc _loc x0))),
10312
(meta_ctyp _loc x1))
9838
10313
| Ast.TyMut (x0, x1) ->
9839
10314
Ast.PaApp (_loc,
9842
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9843
Ast.IdUid (_loc, "TyMut"))),
10318
(Ast.IdUid (_loc, "Ast")),
10319
(Ast.IdUid (_loc, "TyMut")))))),
10320
(meta_loc _loc x0))),
10321
(meta_ctyp _loc x1))
9846
10322
| Ast.TyPrv (x0, x1) ->
9847
10323
Ast.PaApp (_loc,
9850
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9851
Ast.IdUid (_loc, "TyPrv"))),
10327
(Ast.IdUid (_loc, "Ast")),
10328
(Ast.IdUid (_loc, "TyPrv")))))),
10329
(meta_loc _loc x0))),
10330
(meta_ctyp _loc x1))
9854
10331
| Ast.TyOr (x0, x1, x2) ->
9855
10332
Ast.PaApp (_loc,
9860
Ast.IdUid (_loc, "Ast"),
9861
Ast.IdUid (_loc, "TyOr"))),
10337
(Ast.IdUid (_loc, "Ast")),
10338
(Ast.IdUid (_loc, "TyOr")))))),
10339
(meta_loc _loc x0))),
10340
(meta_ctyp _loc x1))),
10341
(meta_ctyp _loc x2))
9865
10342
| Ast.TyAnd (x0, x1, x2) ->
9866
10343
Ast.PaApp (_loc,
9871
Ast.IdUid (_loc, "Ast"),
9872
Ast.IdUid (_loc, "TyAnd"))),
10348
(Ast.IdUid (_loc, "Ast")),
10349
(Ast.IdUid (_loc, "TyAnd")))))),
10350
(meta_loc _loc x0))),
10351
(meta_ctyp _loc x1))),
10352
(meta_ctyp _loc x2))
9876
10353
| Ast.TyOf (x0, x1, x2) ->
9877
10354
Ast.PaApp (_loc,
9882
Ast.IdUid (_loc, "Ast"),
9883
Ast.IdUid (_loc, "TyOf"))),
10359
(Ast.IdUid (_loc, "Ast")),
10360
(Ast.IdUid (_loc, "TyOf")))))),
10361
(meta_loc _loc x0))),
10362
(meta_ctyp _loc x1))),
10363
(meta_ctyp _loc x2))
9887
10364
| Ast.TySum (x0, x1) ->
9888
10365
Ast.PaApp (_loc,
9891
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9892
Ast.IdUid (_loc, "TySum"))),
10369
(Ast.IdUid (_loc, "Ast")),
10370
(Ast.IdUid (_loc, "TySum")))))),
10371
(meta_loc _loc x0))),
10372
(meta_ctyp _loc x1))
9895
10373
| Ast.TyCom (x0, x1, x2) ->
9896
10374
Ast.PaApp (_loc,
9901
Ast.IdUid (_loc, "Ast"),
9902
Ast.IdUid (_loc, "TyCom"))),
10379
(Ast.IdUid (_loc, "Ast")),
10380
(Ast.IdUid (_loc, "TyCom")))))),
10381
(meta_loc _loc x0))),
10382
(meta_ctyp _loc x1))),
10383
(meta_ctyp _loc x2))
9906
10384
| Ast.TySem (x0, x1, x2) ->
9907
10385
Ast.PaApp (_loc,
9912
Ast.IdUid (_loc, "Ast"),
9913
Ast.IdUid (_loc, "TySem"))),
10390
(Ast.IdUid (_loc, "Ast")),
10391
(Ast.IdUid (_loc, "TySem")))))),
10392
(meta_loc _loc x0))),
10393
(meta_ctyp _loc x1))),
10394
(meta_ctyp _loc x2))
9917
10395
| Ast.TyCol (x0, x1, x2) ->
9918
10396
Ast.PaApp (_loc,
9923
Ast.IdUid (_loc, "Ast"),
9924
Ast.IdUid (_loc, "TyCol"))),
10401
(Ast.IdUid (_loc, "Ast")),
10402
(Ast.IdUid (_loc, "TyCol")))))),
10403
(meta_loc _loc x0))),
10404
(meta_ctyp _loc x1))),
10405
(meta_ctyp _loc x2))
9928
10406
| Ast.TyRec (x0, x1) ->
9929
10407
Ast.PaApp (_loc,
9932
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9933
Ast.IdUid (_loc, "TyRec"))),
10411
(Ast.IdUid (_loc, "Ast")),
10412
(Ast.IdUid (_loc, "TyRec")))))),
10413
(meta_loc _loc x0))),
10414
(meta_ctyp _loc x1))
9936
10415
| Ast.TyVrn (x0, x1) ->
9937
10416
Ast.PaApp (_loc,
9940
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9941
Ast.IdUid (_loc, "TyVrn"))),
9943
meta_string _loc x1)
10420
(Ast.IdUid (_loc, "Ast")),
10421
(Ast.IdUid (_loc, "TyVrn")))))),
10422
(meta_loc _loc x0))),
10423
(meta_string _loc x1))
9944
10424
| Ast.TyQuM (x0, x1) ->
9945
10425
Ast.PaApp (_loc,
9948
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9949
Ast.IdUid (_loc, "TyQuM"))),
9951
meta_string _loc x1)
10429
(Ast.IdUid (_loc, "Ast")),
10430
(Ast.IdUid (_loc, "TyQuM")))))),
10431
(meta_loc _loc x0))),
10432
(meta_string _loc x1))
9952
10433
| Ast.TyQuP (x0, x1) ->
9953
10434
Ast.PaApp (_loc,
9956
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9957
Ast.IdUid (_loc, "TyQuP"))),
9959
meta_string _loc x1)
10438
(Ast.IdUid (_loc, "Ast")),
10439
(Ast.IdUid (_loc, "TyQuP")))))),
10440
(meta_loc _loc x0))),
10441
(meta_string _loc x1))
9960
10442
| Ast.TyQuo (x0, x1) ->
9961
10443
Ast.PaApp (_loc,
9964
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
9965
Ast.IdUid (_loc, "TyQuo"))),
9967
meta_string _loc x1)
10447
(Ast.IdUid (_loc, "Ast")),
10448
(Ast.IdUid (_loc, "TyQuo")))))),
10449
(meta_loc _loc x0))),
10450
(meta_string _loc x1))
9968
10451
| Ast.TyPol (x0, x1, x2) ->
9969
10452
Ast.PaApp (_loc,
9974
Ast.IdUid (_loc, "Ast"),
9975
Ast.IdUid (_loc, "TyPol"))),
10457
(Ast.IdUid (_loc, "Ast")),
10458
(Ast.IdUid (_loc, "TyPol")))))),
10459
(meta_loc _loc x0))),
10460
(meta_ctyp _loc x1))),
10461
(meta_ctyp _loc x2))
9979
10462
| Ast.TyOlb (x0, x1, x2) ->
9980
10463
Ast.PaApp (_loc,
9985
Ast.IdUid (_loc, "Ast"),
9986
Ast.IdUid (_loc, "TyOlb"))),
9988
meta_string _loc x1),
10468
(Ast.IdUid (_loc, "Ast")),
10469
(Ast.IdUid (_loc, "TyOlb")))))),
10470
(meta_loc _loc x0))),
10471
(meta_string _loc x1))),
10472
(meta_ctyp _loc x2))
9990
10473
| Ast.TyObj (x0, x1, x2) ->
9991
10474
Ast.PaApp (_loc,
9996
Ast.IdUid (_loc, "Ast"),
9997
Ast.IdUid (_loc, "TyObj"))),
10000
meta_meta_bool _loc x2)
10479
(Ast.IdUid (_loc, "Ast")),
10480
(Ast.IdUid (_loc, "TyObj")))))),
10481
(meta_loc _loc x0))),
10482
(meta_ctyp _loc x1))),
10483
(meta_row_var_flag _loc x2))
10001
10484
| Ast.TyDcl (x0, x1, x2, x3, x4) ->
10002
10485
Ast.PaApp (_loc,
10009
Ast.IdUid (_loc, "Ast"),
10010
Ast.IdUid (_loc, "TyDcl"))),
10012
meta_string _loc x1),
10013
meta_list meta_ctyp _loc x2),
10014
meta_ctyp _loc x3),
10016
(fun _loc (x1, x2) ->
10018
Ast.PaCom (_loc, meta_ctyp _loc x1,
10019
meta_ctyp _loc x2)))
10492
(Ast.IdUid (_loc, "Ast")),
10493
(Ast.IdUid (_loc, "TyDcl")))))),
10494
(meta_loc _loc x0))),
10495
(meta_string _loc x1))),
10496
(meta_list meta_ctyp _loc x2))),
10497
(meta_ctyp _loc x3))),
10499
(fun _loc (x1, x2) ->
10502
(meta_ctyp _loc x1),
10503
(meta_ctyp _loc x2)))))
10021
10505
| Ast.TyMan (x0, x1, x2) ->
10022
10506
Ast.PaApp (_loc,
10027
Ast.IdUid (_loc, "Ast"),
10028
Ast.IdUid (_loc, "TyMan"))),
10030
meta_ctyp _loc x1),
10511
(Ast.IdUid (_loc, "Ast")),
10512
(Ast.IdUid (_loc, "TyMan")))))),
10513
(meta_loc _loc x0))),
10514
(meta_ctyp _loc x1))),
10515
(meta_ctyp _loc x2))
10032
10516
| Ast.TyId (x0, x1) ->
10033
10517
Ast.PaApp (_loc,
10036
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10037
Ast.IdUid (_loc, "TyId"))),
10039
meta_ident _loc x1)
10521
(Ast.IdUid (_loc, "Ast")),
10522
(Ast.IdUid (_loc, "TyId")))))),
10523
(meta_loc _loc x0))),
10524
(meta_ident _loc x1))
10040
10525
| Ast.TyLab (x0, x1, x2) ->
10041
10526
Ast.PaApp (_loc,
10046
Ast.IdUid (_loc, "Ast"),
10047
Ast.IdUid (_loc, "TyLab"))),
10049
meta_string _loc x1),
10531
(Ast.IdUid (_loc, "Ast")),
10532
(Ast.IdUid (_loc, "TyLab")))))),
10533
(meta_loc _loc x0))),
10534
(meta_string _loc x1))),
10535
(meta_ctyp _loc x2))
10051
10536
| Ast.TyCls (x0, x1) ->
10052
10537
Ast.PaApp (_loc,
10055
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10056
Ast.IdUid (_loc, "TyCls"))),
10058
meta_ident _loc x1)
10541
(Ast.IdUid (_loc, "Ast")),
10542
(Ast.IdUid (_loc, "TyCls")))))),
10543
(meta_loc _loc x0))),
10544
(meta_ident _loc x1))
10059
10545
| Ast.TyArr (x0, x1, x2) ->
10060
10546
Ast.PaApp (_loc,
10065
Ast.IdUid (_loc, "Ast"),
10066
Ast.IdUid (_loc, "TyArr"))),
10068
meta_ctyp _loc x1),
10551
(Ast.IdUid (_loc, "Ast")),
10552
(Ast.IdUid (_loc, "TyArr")))))),
10553
(meta_loc _loc x0))),
10554
(meta_ctyp _loc x1))),
10555
(meta_ctyp _loc x2))
10070
10556
| Ast.TyApp (x0, x1, x2) ->
10071
10557
Ast.PaApp (_loc,
10076
Ast.IdUid (_loc, "Ast"),
10077
Ast.IdUid (_loc, "TyApp"))),
10079
meta_ctyp _loc x1),
10562
(Ast.IdUid (_loc, "Ast")),
10563
(Ast.IdUid (_loc, "TyApp")))))),
10564
(meta_loc _loc x0))),
10565
(meta_ctyp _loc x1))),
10566
(meta_ctyp _loc x2))
10081
10567
| Ast.TyAny x0 ->
10082
10568
Ast.PaApp (_loc,
10084
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10085
Ast.IdUid (_loc, "TyAny"))),
10571
(Ast.IdUid (_loc, "Ast")),
10572
(Ast.IdUid (_loc, "TyAny")))))),
10573
(meta_loc _loc x0))
10087
10574
| Ast.TyAli (x0, x1, x2) ->
10088
10575
Ast.PaApp (_loc,
10093
Ast.IdUid (_loc, "Ast"),
10094
Ast.IdUid (_loc, "TyAli"))),
10096
meta_ctyp _loc x1),
10580
(Ast.IdUid (_loc, "Ast")),
10581
(Ast.IdUid (_loc, "TyAli")))))),
10582
(meta_loc _loc x0))),
10583
(meta_ctyp _loc x1))),
10584
(meta_ctyp _loc x2))
10098
10585
| Ast.TyNil x0 ->
10099
10586
Ast.PaApp (_loc,
10101
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10102
Ast.IdUid (_loc, "TyNil"))),
10589
(Ast.IdUid (_loc, "Ast")),
10590
(Ast.IdUid (_loc, "TyNil")))))),
10591
(meta_loc _loc x0))
10592
and meta_direction_flag _loc =
10594
| Ast.DiAnt x0 -> Ast.PaAnt (_loc, x0)
10597
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
10598
(Ast.IdUid (_loc, "DiDownto")))))
10601
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
10602
(Ast.IdUid (_loc, "DiTo")))))
10104
10603
and meta_expr _loc =
10605
| Ast.ExPkg (x0, x1) ->
10610
(Ast.IdUid (_loc, "Ast")),
10611
(Ast.IdUid (_loc, "ExPkg")))))),
10612
(meta_loc _loc x0))),
10613
(meta_module_expr _loc x1))
10614
| Ast.ExFUN (x0, x1, x2) ->
10620
(Ast.IdUid (_loc, "Ast")),
10621
(Ast.IdUid (_loc, "ExFUN")))))),
10622
(meta_loc _loc x0))),
10623
(meta_string _loc x1))),
10624
(meta_expr _loc x2))
10625
| Ast.ExOpI (x0, x1, x2) ->
10631
(Ast.IdUid (_loc, "Ast")),
10632
(Ast.IdUid (_loc, "ExOpI")))))),
10633
(meta_loc _loc x0))),
10634
(meta_ident _loc x1))),
10635
(meta_expr _loc x2))
10106
10636
| Ast.ExWhi (x0, x1, x2) ->
10107
10637
Ast.PaApp (_loc,
10112
Ast.IdUid (_loc, "Ast"),
10113
Ast.IdUid (_loc, "ExWhi"))),
10115
meta_expr _loc x1),
10642
(Ast.IdUid (_loc, "Ast")),
10643
(Ast.IdUid (_loc, "ExWhi")))))),
10644
(meta_loc _loc x0))),
10645
(meta_expr _loc x1))),
10646
(meta_expr _loc x2))
10117
10647
| Ast.ExVrn (x0, x1) ->
10118
10648
Ast.PaApp (_loc,
10121
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10122
Ast.IdUid (_loc, "ExVrn"))),
10124
meta_string _loc x1)
10652
(Ast.IdUid (_loc, "Ast")),
10653
(Ast.IdUid (_loc, "ExVrn")))))),
10654
(meta_loc _loc x0))),
10655
(meta_string _loc x1))
10125
10656
| Ast.ExTyc (x0, x1, x2) ->
10126
10657
Ast.PaApp (_loc,
10131
Ast.IdUid (_loc, "Ast"),
10132
Ast.IdUid (_loc, "ExTyc"))),
10134
meta_expr _loc x1),
10662
(Ast.IdUid (_loc, "Ast")),
10663
(Ast.IdUid (_loc, "ExTyc")))))),
10664
(meta_loc _loc x0))),
10665
(meta_expr _loc x1))),
10666
(meta_ctyp _loc x2))
10136
10667
| Ast.ExCom (x0, x1, x2) ->
10137
10668
Ast.PaApp (_loc,
10142
Ast.IdUid (_loc, "Ast"),
10143
Ast.IdUid (_loc, "ExCom"))),
10145
meta_expr _loc x1),
10673
(Ast.IdUid (_loc, "Ast")),
10674
(Ast.IdUid (_loc, "ExCom")))))),
10675
(meta_loc _loc x0))),
10676
(meta_expr _loc x1))),
10677
(meta_expr _loc x2))
10147
10678
| Ast.ExTup (x0, x1) ->
10148
10679
Ast.PaApp (_loc,
10151
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10152
Ast.IdUid (_loc, "ExTup"))),
10683
(Ast.IdUid (_loc, "Ast")),
10684
(Ast.IdUid (_loc, "ExTup")))))),
10685
(meta_loc _loc x0))),
10686
(meta_expr _loc x1))
10155
10687
| Ast.ExTry (x0, x1, x2) ->
10156
10688
Ast.PaApp (_loc,
10161
Ast.IdUid (_loc, "Ast"),
10162
Ast.IdUid (_loc, "ExTry"))),
10164
meta_expr _loc x1),
10165
meta_match_case _loc x2)
10693
(Ast.IdUid (_loc, "Ast")),
10694
(Ast.IdUid (_loc, "ExTry")))))),
10695
(meta_loc _loc x0))),
10696
(meta_expr _loc x1))),
10697
(meta_match_case _loc x2))
10166
10698
| Ast.ExStr (x0, x1) ->
10167
10699
Ast.PaApp (_loc,
10170
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10171
Ast.IdUid (_loc, "ExStr"))),
10173
meta_string _loc x1)
10703
(Ast.IdUid (_loc, "Ast")),
10704
(Ast.IdUid (_loc, "ExStr")))))),
10705
(meta_loc _loc x0))),
10706
(meta_string _loc x1))
10174
10707
| Ast.ExSte (x0, x1, x2) ->
10175
10708
Ast.PaApp (_loc,
10180
Ast.IdUid (_loc, "Ast"),
10181
Ast.IdUid (_loc, "ExSte"))),
10183
meta_expr _loc x1),
10713
(Ast.IdUid (_loc, "Ast")),
10714
(Ast.IdUid (_loc, "ExSte")))))),
10715
(meta_loc _loc x0))),
10716
(meta_expr _loc x1))),
10717
(meta_expr _loc x2))
10185
10718
| Ast.ExSnd (x0, x1, x2) ->
10186
10719
Ast.PaApp (_loc,
10191
Ast.IdUid (_loc, "Ast"),
10192
Ast.IdUid (_loc, "ExSnd"))),
10194
meta_expr _loc x1),
10195
meta_string _loc x2)
10724
(Ast.IdUid (_loc, "Ast")),
10725
(Ast.IdUid (_loc, "ExSnd")))))),
10726
(meta_loc _loc x0))),
10727
(meta_expr _loc x1))),
10728
(meta_string _loc x2))
10196
10729
| Ast.ExSeq (x0, x1) ->
10197
10730
Ast.PaApp (_loc,
10200
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10201
Ast.IdUid (_loc, "ExSeq"))),
10734
(Ast.IdUid (_loc, "Ast")),
10735
(Ast.IdUid (_loc, "ExSeq")))))),
10736
(meta_loc _loc x0))),
10737
(meta_expr _loc x1))
10204
10738
| Ast.ExRec (x0, x1, x2) ->
10205
10739
Ast.PaApp (_loc,
10210
Ast.IdUid (_loc, "Ast"),
10211
Ast.IdUid (_loc, "ExRec"))),
10213
meta_rec_binding _loc x1),
10744
(Ast.IdUid (_loc, "Ast")),
10745
(Ast.IdUid (_loc, "ExRec")))))),
10746
(meta_loc _loc x0))),
10747
(meta_rec_binding _loc x1))),
10748
(meta_expr _loc x2))
10215
10749
| Ast.ExOvr (x0, x1) ->
10216
10750
Ast.PaApp (_loc,
10219
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10220
Ast.IdUid (_loc, "ExOvr"))),
10222
meta_rec_binding _loc x1)
10754
(Ast.IdUid (_loc, "Ast")),
10755
(Ast.IdUid (_loc, "ExOvr")))))),
10756
(meta_loc _loc x0))),
10757
(meta_rec_binding _loc x1))
10223
10758
| Ast.ExOlb (x0, x1, x2) ->
10224
10759
Ast.PaApp (_loc,
10229
Ast.IdUid (_loc, "Ast"),
10230
Ast.IdUid (_loc, "ExOlb"))),
10232
meta_string _loc x1),
10764
(Ast.IdUid (_loc, "Ast")),
10765
(Ast.IdUid (_loc, "ExOlb")))))),
10766
(meta_loc _loc x0))),
10767
(meta_string _loc x1))),
10768
(meta_expr _loc x2))
10234
10769
| Ast.ExObj (x0, x1, x2) ->
10235
10770
Ast.PaApp (_loc,
10240
Ast.IdUid (_loc, "Ast"),
10241
Ast.IdUid (_loc, "ExObj"))),
10243
meta_patt _loc x1),
10244
meta_class_str_item _loc x2)
10775
(Ast.IdUid (_loc, "Ast")),
10776
(Ast.IdUid (_loc, "ExObj")))))),
10777
(meta_loc _loc x0))),
10778
(meta_patt _loc x1))),
10779
(meta_class_str_item _loc x2))
10245
10780
| Ast.ExNew (x0, x1) ->
10246
10781
Ast.PaApp (_loc,
10249
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10250
Ast.IdUid (_loc, "ExNew"))),
10252
meta_ident _loc x1)
10785
(Ast.IdUid (_loc, "Ast")),
10786
(Ast.IdUid (_loc, "ExNew")))))),
10787
(meta_loc _loc x0))),
10788
(meta_ident _loc x1))
10253
10789
| Ast.ExMat (x0, x1, x2) ->
10254
10790
Ast.PaApp (_loc,
10259
Ast.IdUid (_loc, "Ast"),
10260
Ast.IdUid (_loc, "ExMat"))),
10262
meta_expr _loc x1),
10263
meta_match_case _loc x2)
10795
(Ast.IdUid (_loc, "Ast")),
10796
(Ast.IdUid (_loc, "ExMat")))))),
10797
(meta_loc _loc x0))),
10798
(meta_expr _loc x1))),
10799
(meta_match_case _loc x2))
10264
10800
| Ast.ExLmd (x0, x1, x2, x3) ->
10265
10801
Ast.PaApp (_loc,
10271
Ast.IdUid (_loc, "Ast"),
10272
Ast.IdUid (_loc, "ExLmd"))),
10274
meta_string _loc x1),
10275
meta_module_expr _loc x2),
10807
(Ast.IdUid (_loc, "Ast")),
10808
(Ast.IdUid (_loc, "ExLmd")))))),
10809
(meta_loc _loc x0))),
10810
(meta_string _loc x1))),
10811
(meta_module_expr _loc x2))),
10812
(meta_expr _loc x3))
10277
10813
| Ast.ExLet (x0, x1, x2, x3) ->
10278
10814
Ast.PaApp (_loc,
10284
Ast.IdUid (_loc, "Ast"),
10285
Ast.IdUid (_loc, "ExLet"))),
10287
meta_meta_bool _loc x1),
10288
meta_binding _loc x2),
10820
(Ast.IdUid (_loc, "Ast")),
10821
(Ast.IdUid (_loc, "ExLet")))))),
10822
(meta_loc _loc x0))),
10823
(meta_rec_flag _loc x1))),
10824
(meta_binding _loc x2))),
10825
(meta_expr _loc x3))
10290
10826
| Ast.ExLaz (x0, x1) ->
10291
10827
Ast.PaApp (_loc,
10294
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10295
Ast.IdUid (_loc, "ExLaz"))),
10831
(Ast.IdUid (_loc, "Ast")),
10832
(Ast.IdUid (_loc, "ExLaz")))))),
10833
(meta_loc _loc x0))),
10834
(meta_expr _loc x1))
10298
10835
| Ast.ExLab (x0, x1, x2) ->
10299
10836
Ast.PaApp (_loc,
10304
Ast.IdUid (_loc, "Ast"),
10305
Ast.IdUid (_loc, "ExLab"))),
10307
meta_string _loc x1),
10841
(Ast.IdUid (_loc, "Ast")),
10842
(Ast.IdUid (_loc, "ExLab")))))),
10843
(meta_loc _loc x0))),
10844
(meta_string _loc x1))),
10845
(meta_expr _loc x2))
10309
10846
| Ast.ExNativeInt (x0, x1) ->
10310
10847
Ast.PaApp (_loc,
10313
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10314
Ast.IdUid (_loc, "ExNativeInt"))),
10316
meta_string _loc x1)
10851
(Ast.IdUid (_loc, "Ast")),
10852
(Ast.IdUid (_loc, "ExNativeInt")))))),
10853
(meta_loc _loc x0))),
10854
(meta_string _loc x1))
10317
10855
| Ast.ExInt64 (x0, x1) ->
10318
10856
Ast.PaApp (_loc,
10321
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10322
Ast.IdUid (_loc, "ExInt64"))),
10324
meta_string _loc x1)
10860
(Ast.IdUid (_loc, "Ast")),
10861
(Ast.IdUid (_loc, "ExInt64")))))),
10862
(meta_loc _loc x0))),
10863
(meta_string _loc x1))
10325
10864
| Ast.ExInt32 (x0, x1) ->
10326
10865
Ast.PaApp (_loc,
10329
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10330
Ast.IdUid (_loc, "ExInt32"))),
10332
meta_string _loc x1)
10869
(Ast.IdUid (_loc, "Ast")),
10870
(Ast.IdUid (_loc, "ExInt32")))))),
10871
(meta_loc _loc x0))),
10872
(meta_string _loc x1))
10333
10873
| Ast.ExInt (x0, x1) ->
10334
10874
Ast.PaApp (_loc,
10337
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10338
Ast.IdUid (_loc, "ExInt"))),
10340
meta_string _loc x1)
10878
(Ast.IdUid (_loc, "Ast")),
10879
(Ast.IdUid (_loc, "ExInt")))))),
10880
(meta_loc _loc x0))),
10881
(meta_string _loc x1))
10341
10882
| Ast.ExIfe (x0, x1, x2, x3) ->
10342
10883
Ast.PaApp (_loc,
10348
Ast.IdUid (_loc, "Ast"),
10349
Ast.IdUid (_loc, "ExIfe"))),
10351
meta_expr _loc x1),
10352
meta_expr _loc x2),
10889
(Ast.IdUid (_loc, "Ast")),
10890
(Ast.IdUid (_loc, "ExIfe")))))),
10891
(meta_loc _loc x0))),
10892
(meta_expr _loc x1))),
10893
(meta_expr _loc x2))),
10894
(meta_expr _loc x3))
10354
10895
| Ast.ExFun (x0, x1) ->
10355
10896
Ast.PaApp (_loc,
10358
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10359
Ast.IdUid (_loc, "ExFun"))),
10361
meta_match_case _loc x1)
10900
(Ast.IdUid (_loc, "Ast")),
10901
(Ast.IdUid (_loc, "ExFun")))))),
10902
(meta_loc _loc x0))),
10903
(meta_match_case _loc x1))
10362
10904
| Ast.ExFor (x0, x1, x2, x3, x4, x5) ->
10363
10905
Ast.PaApp (_loc,
10371
Ast.IdUid (_loc, "Ast"),
10372
Ast.IdUid (_loc, "ExFor"))),
10374
meta_string _loc x1),
10375
meta_expr _loc x2),
10376
meta_expr _loc x3),
10377
meta_meta_bool _loc x4),
10913
(Ast.IdUid (_loc, "Ast")),
10916
(meta_loc _loc x0))),
10917
(meta_string _loc x1))),
10918
(meta_expr _loc x2))),
10919
(meta_expr _loc x3))),
10920
(meta_direction_flag _loc x4))),
10921
(meta_expr _loc x5))
10379
10922
| Ast.ExFlo (x0, x1) ->
10380
10923
Ast.PaApp (_loc,
10383
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10384
Ast.IdUid (_loc, "ExFlo"))),
10386
meta_string _loc x1)
10927
(Ast.IdUid (_loc, "Ast")),
10928
(Ast.IdUid (_loc, "ExFlo")))))),
10929
(meta_loc _loc x0))),
10930
(meta_string _loc x1))
10387
10931
| Ast.ExCoe (x0, x1, x2, x3) ->
10388
10932
Ast.PaApp (_loc,
10394
Ast.IdUid (_loc, "Ast"),
10395
Ast.IdUid (_loc, "ExCoe"))),
10397
meta_expr _loc x1),
10398
meta_ctyp _loc x2),
10938
(Ast.IdUid (_loc, "Ast")),
10939
(Ast.IdUid (_loc, "ExCoe")))))),
10940
(meta_loc _loc x0))),
10941
(meta_expr _loc x1))),
10942
(meta_ctyp _loc x2))),
10943
(meta_ctyp _loc x3))
10400
10944
| Ast.ExChr (x0, x1) ->
10401
10945
Ast.PaApp (_loc,
10404
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10405
Ast.IdUid (_loc, "ExChr"))),
10407
meta_string _loc x1)
10949
(Ast.IdUid (_loc, "Ast")),
10950
(Ast.IdUid (_loc, "ExChr")))))),
10951
(meta_loc _loc x0))),
10952
(meta_string _loc x1))
10408
10953
| Ast.ExAss (x0, x1, x2) ->
10409
10954
Ast.PaApp (_loc,
10414
Ast.IdUid (_loc, "Ast"),
10415
Ast.IdUid (_loc, "ExAss"))),
10417
meta_expr _loc x1),
10959
(Ast.IdUid (_loc, "Ast")),
10960
(Ast.IdUid (_loc, "ExAss")))))),
10961
(meta_loc _loc x0))),
10962
(meta_expr _loc x1))),
10963
(meta_expr _loc x2))
10419
10964
| Ast.ExAsr (x0, x1) ->
10420
10965
Ast.PaApp (_loc,
10423
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10424
Ast.IdUid (_loc, "ExAsr"))),
10969
(Ast.IdUid (_loc, "Ast")),
10970
(Ast.IdUid (_loc, "ExAsr")))))),
10971
(meta_loc _loc x0))),
10972
(meta_expr _loc x1))
10427
10973
| Ast.ExAsf x0 ->
10428
10974
Ast.PaApp (_loc,
10430
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10431
Ast.IdUid (_loc, "ExAsf"))),
10977
(Ast.IdUid (_loc, "Ast")),
10978
(Ast.IdUid (_loc, "ExAsf")))))),
10979
(meta_loc _loc x0))
10433
10980
| Ast.ExSem (x0, x1, x2) ->
10434
10981
Ast.PaApp (_loc,
10439
Ast.IdUid (_loc, "Ast"),
10440
Ast.IdUid (_loc, "ExSem"))),
10442
meta_expr _loc x1),
10986
(Ast.IdUid (_loc, "Ast")),
10987
(Ast.IdUid (_loc, "ExSem")))))),
10988
(meta_loc _loc x0))),
10989
(meta_expr _loc x1))),
10990
(meta_expr _loc x2))
10444
10991
| Ast.ExArr (x0, x1) ->
10445
10992
Ast.PaApp (_loc,
10448
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10449
Ast.IdUid (_loc, "ExArr"))),
10996
(Ast.IdUid (_loc, "Ast")),
10997
(Ast.IdUid (_loc, "ExArr")))))),
10998
(meta_loc _loc x0))),
10999
(meta_expr _loc x1))
10452
11000
| Ast.ExAre (x0, x1, x2) ->
10453
11001
Ast.PaApp (_loc,
10458
Ast.IdUid (_loc, "Ast"),
10459
Ast.IdUid (_loc, "ExAre"))),
10461
meta_expr _loc x1),
11006
(Ast.IdUid (_loc, "Ast")),
11007
(Ast.IdUid (_loc, "ExAre")))))),
11008
(meta_loc _loc x0))),
11009
(meta_expr _loc x1))),
11010
(meta_expr _loc x2))
10463
11011
| Ast.ExApp (x0, x1, x2) ->
10464
11012
Ast.PaApp (_loc,
10469
Ast.IdUid (_loc, "Ast"),
10470
Ast.IdUid (_loc, "ExApp"))),
10472
meta_expr _loc x1),
11017
(Ast.IdUid (_loc, "Ast")),
11018
(Ast.IdUid (_loc, "ExApp")))))),
11019
(meta_loc _loc x0))),
11020
(meta_expr _loc x1))),
11021
(meta_expr _loc x2))
10474
11022
| Ast.ExAnt (x0, x1) -> Ast.PaAnt (x0, x1)
10475
11023
| Ast.ExAcc (x0, x1, x2) ->
10476
11024
Ast.PaApp (_loc,
10481
Ast.IdUid (_loc, "Ast"),
10482
Ast.IdUid (_loc, "ExAcc"))),
10484
meta_expr _loc x1),
11029
(Ast.IdUid (_loc, "Ast")),
11030
(Ast.IdUid (_loc, "ExAcc")))))),
11031
(meta_loc _loc x0))),
11032
(meta_expr _loc x1))),
11033
(meta_expr _loc x2))
10486
11034
| Ast.ExId (x0, x1) ->
10487
11035
Ast.PaApp (_loc,
10490
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10491
Ast.IdUid (_loc, "ExId"))),
10493
meta_ident _loc x1)
11039
(Ast.IdUid (_loc, "Ast")),
11040
(Ast.IdUid (_loc, "ExId")))))),
11041
(meta_loc _loc x0))),
11042
(meta_ident _loc x1))
10494
11043
| Ast.ExNil x0 ->
10495
11044
Ast.PaApp (_loc,
10497
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10498
Ast.IdUid (_loc, "ExNil"))),
11047
(Ast.IdUid (_loc, "Ast")),
11048
(Ast.IdUid (_loc, "ExNil")))))),
11049
(meta_loc _loc x0))
10500
11050
and meta_ident _loc =
10502
11052
| Ast.IdAnt (x0, x1) -> Ast.PaAnt (x0, x1)
10503
11053
| Ast.IdUid (x0, x1) ->
10504
11054
Ast.PaApp (_loc,
10507
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10508
Ast.IdUid (_loc, "IdUid"))),
10510
meta_string _loc x1)
11058
(Ast.IdUid (_loc, "Ast")),
11059
(Ast.IdUid (_loc, "IdUid")))))),
11060
(meta_loc _loc x0))),
11061
(meta_string _loc x1))
10511
11062
| Ast.IdLid (x0, x1) ->
10512
11063
Ast.PaApp (_loc,
10515
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10516
Ast.IdUid (_loc, "IdLid"))),
10518
meta_string _loc x1)
11067
(Ast.IdUid (_loc, "Ast")),
11068
(Ast.IdUid (_loc, "IdLid")))))),
11069
(meta_loc _loc x0))),
11070
(meta_string _loc x1))
10519
11071
| Ast.IdApp (x0, x1, x2) ->
10520
11072
Ast.PaApp (_loc,
10525
Ast.IdUid (_loc, "Ast"),
10526
Ast.IdUid (_loc, "IdApp"))),
10528
meta_ident _loc x1),
10529
meta_ident _loc x2)
11077
(Ast.IdUid (_loc, "Ast")),
11078
(Ast.IdUid (_loc, "IdApp")))))),
11079
(meta_loc _loc x0))),
11080
(meta_ident _loc x1))),
11081
(meta_ident _loc x2))
10530
11082
| Ast.IdAcc (x0, x1, x2) ->
10531
11083
Ast.PaApp (_loc,
10536
Ast.IdUid (_loc, "Ast"),
10537
Ast.IdUid (_loc, "IdAcc"))),
10539
meta_ident _loc x1),
10540
meta_ident _loc x2)
11088
(Ast.IdUid (_loc, "Ast")),
11089
(Ast.IdUid (_loc, "IdAcc")))))),
11090
(meta_loc _loc x0))),
11091
(meta_ident _loc x1))),
11092
(meta_ident _loc x2))
10541
11093
and meta_match_case _loc =
10543
11095
| Ast.McAnt (x0, x1) -> Ast.PaAnt (x0, x1)
10544
11096
| Ast.McArr (x0, x1, x2, x3) ->
10545
11097
Ast.PaApp (_loc,
10551
Ast.IdUid (_loc, "Ast"),
10552
Ast.IdUid (_loc, "McArr"))),
10554
meta_patt _loc x1),
10555
meta_expr _loc x2),
11103
(Ast.IdUid (_loc, "Ast")),
11104
(Ast.IdUid (_loc, "McArr")))))),
11105
(meta_loc _loc x0))),
11106
(meta_patt _loc x1))),
11107
(meta_expr _loc x2))),
11108
(meta_expr _loc x3))
10557
11109
| Ast.McOr (x0, x1, x2) ->
10558
11110
Ast.PaApp (_loc,
10563
Ast.IdUid (_loc, "Ast"),
10564
Ast.IdUid (_loc, "McOr"))),
10566
meta_match_case _loc x1),
10567
meta_match_case _loc x2)
11115
(Ast.IdUid (_loc, "Ast")),
11116
(Ast.IdUid (_loc, "McOr")))))),
11117
(meta_loc _loc x0))),
11118
(meta_match_case _loc x1))),
11119
(meta_match_case _loc x2))
10568
11120
| Ast.McNil x0 ->
10569
11121
Ast.PaApp (_loc,
10571
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10572
Ast.IdUid (_loc, "McNil"))),
11124
(Ast.IdUid (_loc, "Ast")),
11125
(Ast.IdUid (_loc, "McNil")))))),
11126
(meta_loc _loc x0))
10574
11127
and meta_meta_bool _loc =
10576
11129
| Ast.BAnt x0 -> Ast.PaAnt (_loc, x0)
10577
11130
| Ast.BFalse ->
10578
11131
Ast.PaId (_loc,
10579
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10580
Ast.IdUid (_loc, "BFalse")))
11132
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11133
(Ast.IdUid (_loc, "BFalse")))))
10581
11134
| Ast.BTrue ->
10582
11135
Ast.PaId (_loc,
10583
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10584
Ast.IdUid (_loc, "BTrue")))
11136
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11137
(Ast.IdUid (_loc, "BTrue")))))
10585
11138
and meta_meta_list mf_a _loc =
10587
11140
| Ast.LAnt x0 -> Ast.PaAnt (_loc, x0)
10588
11141
| Ast.LCons (x0, x1) ->
10589
11142
Ast.PaApp (_loc,
10592
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10593
Ast.IdUid (_loc, "LCons"))),
10595
meta_meta_list mf_a _loc x1)
11146
(Ast.IdUid (_loc, "Ast")),
11147
(Ast.IdUid (_loc, "LCons")))))),
11149
(meta_meta_list mf_a _loc x1))
10596
11150
| Ast.LNil ->
10597
11151
Ast.PaId (_loc,
10598
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10599
Ast.IdUid (_loc, "LNil")))
11152
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11153
(Ast.IdUid (_loc, "LNil")))))
10600
11154
and meta_meta_option mf_a _loc =
10602
11156
| Ast.OAnt x0 -> Ast.PaAnt (_loc, x0)
10603
11157
| Ast.OSome x0 ->
10604
11158
Ast.PaApp (_loc,
10606
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10607
Ast.IdUid (_loc, "OSome"))),
11161
(Ast.IdUid (_loc, "Ast")),
11162
(Ast.IdUid (_loc, "OSome")))))),
10609
11164
| Ast.ONone ->
10610
11165
Ast.PaId (_loc,
10611
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10612
Ast.IdUid (_loc, "ONone")))
11166
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11167
(Ast.IdUid (_loc, "ONone")))))
10613
11168
and meta_module_binding _loc =
10615
11170
| Ast.MbAnt (x0, x1) -> Ast.PaAnt (x0, x1)
10616
11171
| Ast.MbCol (x0, x1, x2) ->
10617
11172
Ast.PaApp (_loc,
10622
Ast.IdUid (_loc, "Ast"),
10623
Ast.IdUid (_loc, "MbCol"))),
10625
meta_string _loc x1),
10626
meta_module_type _loc x2)
11177
(Ast.IdUid (_loc, "Ast")),
11178
(Ast.IdUid (_loc, "MbCol")))))),
11179
(meta_loc _loc x0))),
11180
(meta_string _loc x1))),
11181
(meta_module_type _loc x2))
10627
11182
| Ast.MbColEq (x0, x1, x2, x3) ->
10628
11183
Ast.PaApp (_loc,
10634
Ast.IdUid (_loc, "Ast"),
10635
Ast.IdUid (_loc, "MbColEq"))),
10637
meta_string _loc x1),
10638
meta_module_type _loc x2),
10639
meta_module_expr _loc x3)
11189
(Ast.IdUid (_loc, "Ast")),
11190
(Ast.IdUid (_loc, "MbColEq")))))),
11191
(meta_loc _loc x0))),
11192
(meta_string _loc x1))),
11193
(meta_module_type _loc x2))),
11194
(meta_module_expr _loc x3))
10640
11195
| Ast.MbAnd (x0, x1, x2) ->
10641
11196
Ast.PaApp (_loc,
10646
Ast.IdUid (_loc, "Ast"),
10647
Ast.IdUid (_loc, "MbAnd"))),
10649
meta_module_binding _loc x1),
10650
meta_module_binding _loc x2)
11201
(Ast.IdUid (_loc, "Ast")),
11202
(Ast.IdUid (_loc, "MbAnd")))))),
11203
(meta_loc _loc x0))),
11204
(meta_module_binding _loc x1))),
11205
(meta_module_binding _loc x2))
10651
11206
| Ast.MbNil x0 ->
10652
11207
Ast.PaApp (_loc,
10654
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10655
Ast.IdUid (_loc, "MbNil"))),
11210
(Ast.IdUid (_loc, "Ast")),
11211
(Ast.IdUid (_loc, "MbNil")))))),
11212
(meta_loc _loc x0))
10657
11213
and meta_module_expr _loc =
10659
11215
| Ast.MeAnt (x0, x1) -> Ast.PaAnt (x0, x1)
11216
| Ast.MePkg (x0, x1) ->
11221
(Ast.IdUid (_loc, "Ast")),
11222
(Ast.IdUid (_loc, "MePkg")))))),
11223
(meta_loc _loc x0))),
11224
(meta_expr _loc x1))
10660
11225
| Ast.MeTyc (x0, x1, x2) ->
10661
11226
Ast.PaApp (_loc,
10666
Ast.IdUid (_loc, "Ast"),
10667
Ast.IdUid (_loc, "MeTyc"))),
10669
meta_module_expr _loc x1),
10670
meta_module_type _loc x2)
11231
(Ast.IdUid (_loc, "Ast")),
11232
(Ast.IdUid (_loc, "MeTyc")))))),
11233
(meta_loc _loc x0))),
11234
(meta_module_expr _loc x1))),
11235
(meta_module_type _loc x2))
10671
11236
| Ast.MeStr (x0, x1) ->
10672
11237
Ast.PaApp (_loc,
10675
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10676
Ast.IdUid (_loc, "MeStr"))),
10678
meta_str_item _loc x1)
11241
(Ast.IdUid (_loc, "Ast")),
11242
(Ast.IdUid (_loc, "MeStr")))))),
11243
(meta_loc _loc x0))),
11244
(meta_str_item _loc x1))
10679
11245
| Ast.MeFun (x0, x1, x2, x3) ->
10680
11246
Ast.PaApp (_loc,
10686
Ast.IdUid (_loc, "Ast"),
10687
Ast.IdUid (_loc, "MeFun"))),
10689
meta_string _loc x1),
10690
meta_module_type _loc x2),
10691
meta_module_expr _loc x3)
11252
(Ast.IdUid (_loc, "Ast")),
11253
(Ast.IdUid (_loc, "MeFun")))))),
11254
(meta_loc _loc x0))),
11255
(meta_string _loc x1))),
11256
(meta_module_type _loc x2))),
11257
(meta_module_expr _loc x3))
10692
11258
| Ast.MeApp (x0, x1, x2) ->
10693
11259
Ast.PaApp (_loc,
10698
Ast.IdUid (_loc, "Ast"),
10699
Ast.IdUid (_loc, "MeApp"))),
10701
meta_module_expr _loc x1),
10702
meta_module_expr _loc x2)
11264
(Ast.IdUid (_loc, "Ast")),
11265
(Ast.IdUid (_loc, "MeApp")))))),
11266
(meta_loc _loc x0))),
11267
(meta_module_expr _loc x1))),
11268
(meta_module_expr _loc x2))
10703
11269
| Ast.MeId (x0, x1) ->
10704
11270
Ast.PaApp (_loc,
10707
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10708
Ast.IdUid (_loc, "MeId"))),
10710
meta_ident _loc x1)
11274
(Ast.IdUid (_loc, "Ast")),
11275
(Ast.IdUid (_loc, "MeId")))))),
11276
(meta_loc _loc x0))),
11277
(meta_ident _loc x1))
10711
11278
| Ast.MeNil x0 ->
10712
11279
Ast.PaApp (_loc,
10714
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10715
Ast.IdUid (_loc, "MeNil"))),
11282
(Ast.IdUid (_loc, "Ast")),
11283
(Ast.IdUid (_loc, "MeNil")))))),
11284
(meta_loc _loc x0))
10717
11285
and meta_module_type _loc =
10719
11287
| Ast.MtAnt (x0, x1) -> Ast.PaAnt (x0, x1)
10720
11288
| Ast.MtWit (x0, x1, x2) ->
10721
11289
Ast.PaApp (_loc,
10726
Ast.IdUid (_loc, "Ast"),
10727
Ast.IdUid (_loc, "MtWit"))),
10729
meta_module_type _loc x1),
10730
meta_with_constr _loc x2)
11294
(Ast.IdUid (_loc, "Ast")),
11295
(Ast.IdUid (_loc, "MtWit")))))),
11296
(meta_loc _loc x0))),
11297
(meta_module_type _loc x1))),
11298
(meta_with_constr _loc x2))
10731
11299
| Ast.MtSig (x0, x1) ->
10732
11300
Ast.PaApp (_loc,
10735
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10736
Ast.IdUid (_loc, "MtSig"))),
10738
meta_sig_item _loc x1)
11304
(Ast.IdUid (_loc, "Ast")),
11305
(Ast.IdUid (_loc, "MtSig")))))),
11306
(meta_loc _loc x0))),
11307
(meta_sig_item _loc x1))
10739
11308
| Ast.MtQuo (x0, x1) ->
10740
11309
Ast.PaApp (_loc,
10743
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10744
Ast.IdUid (_loc, "MtQuo"))),
10746
meta_string _loc x1)
11313
(Ast.IdUid (_loc, "Ast")),
11314
(Ast.IdUid (_loc, "MtQuo")))))),
11315
(meta_loc _loc x0))),
11316
(meta_string _loc x1))
10747
11317
| Ast.MtFun (x0, x1, x2, x3) ->
10748
11318
Ast.PaApp (_loc,
10754
Ast.IdUid (_loc, "Ast"),
10755
Ast.IdUid (_loc, "MtFun"))),
10757
meta_string _loc x1),
10758
meta_module_type _loc x2),
10759
meta_module_type _loc x3)
11324
(Ast.IdUid (_loc, "Ast")),
11325
(Ast.IdUid (_loc, "MtFun")))))),
11326
(meta_loc _loc x0))),
11327
(meta_string _loc x1))),
11328
(meta_module_type _loc x2))),
11329
(meta_module_type _loc x3))
10760
11330
| Ast.MtId (x0, x1) ->
10761
11331
Ast.PaApp (_loc,
10764
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10765
Ast.IdUid (_loc, "MtId"))),
10767
meta_ident _loc x1)
11335
(Ast.IdUid (_loc, "Ast")),
11336
(Ast.IdUid (_loc, "MtId")))))),
11337
(meta_loc _loc x0))),
11338
(meta_ident _loc x1))
10768
11339
| Ast.MtNil x0 ->
10769
11340
Ast.PaApp (_loc,
10771
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10772
Ast.IdUid (_loc, "MtNil"))),
11343
(Ast.IdUid (_loc, "Ast")),
11344
(Ast.IdUid (_loc, "MtNil")))))),
11345
(meta_loc _loc x0))
11346
and meta_mutable_flag _loc =
11348
| Ast.MuAnt x0 -> Ast.PaAnt (_loc, x0)
11351
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11352
(Ast.IdUid (_loc, "MuNil")))))
11355
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11356
(Ast.IdUid (_loc, "MuMutable")))))
11357
and meta_override_flag _loc =
11359
| Ast.OvAnt x0 -> Ast.PaAnt (_loc, x0)
11362
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11363
(Ast.IdUid (_loc, "OvNil")))))
11364
| Ast.OvOverride ->
11366
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11367
(Ast.IdUid (_loc, "OvOverride")))))
10774
11368
and meta_patt _loc =
10776
11370
| Ast.PaLaz (x0, x1) ->
10777
11371
Ast.PaApp (_loc,
10780
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10781
Ast.IdUid (_loc, "PaLaz"))),
11375
(Ast.IdUid (_loc, "Ast")),
11376
(Ast.IdUid (_loc, "PaLaz")))))),
11377
(meta_loc _loc x0))),
11378
(meta_patt _loc x1))
10784
11379
| Ast.PaVrn (x0, x1) ->
10785
11380
Ast.PaApp (_loc,
10788
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10789
Ast.IdUid (_loc, "PaVrn"))),
10791
meta_string _loc x1)
11384
(Ast.IdUid (_loc, "Ast")),
11385
(Ast.IdUid (_loc, "PaVrn")))))),
11386
(meta_loc _loc x0))),
11387
(meta_string _loc x1))
10792
11388
| Ast.PaTyp (x0, x1) ->
10793
11389
Ast.PaApp (_loc,
10796
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10797
Ast.IdUid (_loc, "PaTyp"))),
10799
meta_ident _loc x1)
11393
(Ast.IdUid (_loc, "Ast")),
11394
(Ast.IdUid (_loc, "PaTyp")))))),
11395
(meta_loc _loc x0))),
11396
(meta_ident _loc x1))
10800
11397
| Ast.PaTyc (x0, x1, x2) ->
10801
11398
Ast.PaApp (_loc,
10806
Ast.IdUid (_loc, "Ast"),
10807
Ast.IdUid (_loc, "PaTyc"))),
10809
meta_patt _loc x1),
11403
(Ast.IdUid (_loc, "Ast")),
11404
(Ast.IdUid (_loc, "PaTyc")))))),
11405
(meta_loc _loc x0))),
11406
(meta_patt _loc x1))),
11407
(meta_ctyp _loc x2))
10811
11408
| Ast.PaTup (x0, x1) ->
10812
11409
Ast.PaApp (_loc,
10815
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10816
Ast.IdUid (_loc, "PaTup"))),
11413
(Ast.IdUid (_loc, "Ast")),
11414
(Ast.IdUid (_loc, "PaTup")))))),
11415
(meta_loc _loc x0))),
11416
(meta_patt _loc x1))
10819
11417
| Ast.PaStr (x0, x1) ->
10820
11418
Ast.PaApp (_loc,
10823
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10824
Ast.IdUid (_loc, "PaStr"))),
10826
meta_string _loc x1)
11422
(Ast.IdUid (_loc, "Ast")),
11423
(Ast.IdUid (_loc, "PaStr")))))),
11424
(meta_loc _loc x0))),
11425
(meta_string _loc x1))
10827
11426
| Ast.PaEq (x0, x1, x2) ->
10828
11427
Ast.PaApp (_loc,
10833
Ast.IdUid (_loc, "Ast"),
10834
Ast.IdUid (_loc, "PaEq"))),
10836
meta_ident _loc x1),
11432
(Ast.IdUid (_loc, "Ast")),
11433
(Ast.IdUid (_loc, "PaEq")))))),
11434
(meta_loc _loc x0))),
11435
(meta_ident _loc x1))),
11436
(meta_patt _loc x2))
10838
11437
| Ast.PaRec (x0, x1) ->
10839
11438
Ast.PaApp (_loc,
10842
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10843
Ast.IdUid (_loc, "PaRec"))),
11442
(Ast.IdUid (_loc, "Ast")),
11443
(Ast.IdUid (_loc, "PaRec")))))),
11444
(meta_loc _loc x0))),
11445
(meta_patt _loc x1))
10846
11446
| Ast.PaRng (x0, x1, x2) ->
10847
11447
Ast.PaApp (_loc,
10852
Ast.IdUid (_loc, "Ast"),
10853
Ast.IdUid (_loc, "PaRng"))),
10855
meta_patt _loc x1),
11452
(Ast.IdUid (_loc, "Ast")),
11453
(Ast.IdUid (_loc, "PaRng")))))),
11454
(meta_loc _loc x0))),
11455
(meta_patt _loc x1))),
11456
(meta_patt _loc x2))
10857
11457
| Ast.PaOrp (x0, x1, x2) ->
10858
11458
Ast.PaApp (_loc,
10863
Ast.IdUid (_loc, "Ast"),
10864
Ast.IdUid (_loc, "PaOrp"))),
10866
meta_patt _loc x1),
11463
(Ast.IdUid (_loc, "Ast")),
11464
(Ast.IdUid (_loc, "PaOrp")))))),
11465
(meta_loc _loc x0))),
11466
(meta_patt _loc x1))),
11467
(meta_patt _loc x2))
10868
11468
| Ast.PaOlbi (x0, x1, x2, x3) ->
10869
11469
Ast.PaApp (_loc,
10875
Ast.IdUid (_loc, "Ast"),
10876
Ast.IdUid (_loc, "PaOlbi"))),
10878
meta_string _loc x1),
10879
meta_patt _loc x2),
11475
(Ast.IdUid (_loc, "Ast")),
11476
(Ast.IdUid (_loc, "PaOlbi")))))),
11477
(meta_loc _loc x0))),
11478
(meta_string _loc x1))),
11479
(meta_patt _loc x2))),
11480
(meta_expr _loc x3))
10881
11481
| Ast.PaOlb (x0, x1, x2) ->
10882
11482
Ast.PaApp (_loc,
10887
Ast.IdUid (_loc, "Ast"),
10888
Ast.IdUid (_loc, "PaOlb"))),
10890
meta_string _loc x1),
11487
(Ast.IdUid (_loc, "Ast")),
11488
(Ast.IdUid (_loc, "PaOlb")))))),
11489
(meta_loc _loc x0))),
11490
(meta_string _loc x1))),
11491
(meta_patt _loc x2))
10892
11492
| Ast.PaLab (x0, x1, x2) ->
10893
11493
Ast.PaApp (_loc,
10898
Ast.IdUid (_loc, "Ast"),
10899
Ast.IdUid (_loc, "PaLab"))),
10901
meta_string _loc x1),
11498
(Ast.IdUid (_loc, "Ast")),
11499
(Ast.IdUid (_loc, "PaLab")))))),
11500
(meta_loc _loc x0))),
11501
(meta_string _loc x1))),
11502
(meta_patt _loc x2))
10903
11503
| Ast.PaFlo (x0, x1) ->
10904
11504
Ast.PaApp (_loc,
10907
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10908
Ast.IdUid (_loc, "PaFlo"))),
10910
meta_string _loc x1)
11508
(Ast.IdUid (_loc, "Ast")),
11509
(Ast.IdUid (_loc, "PaFlo")))))),
11510
(meta_loc _loc x0))),
11511
(meta_string _loc x1))
10911
11512
| Ast.PaNativeInt (x0, x1) ->
10912
11513
Ast.PaApp (_loc,
10915
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10916
Ast.IdUid (_loc, "PaNativeInt"))),
10918
meta_string _loc x1)
11517
(Ast.IdUid (_loc, "Ast")),
11518
(Ast.IdUid (_loc, "PaNativeInt")))))),
11519
(meta_loc _loc x0))),
11520
(meta_string _loc x1))
10919
11521
| Ast.PaInt64 (x0, x1) ->
10920
11522
Ast.PaApp (_loc,
10923
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10924
Ast.IdUid (_loc, "PaInt64"))),
10926
meta_string _loc x1)
11526
(Ast.IdUid (_loc, "Ast")),
11527
(Ast.IdUid (_loc, "PaInt64")))))),
11528
(meta_loc _loc x0))),
11529
(meta_string _loc x1))
10927
11530
| Ast.PaInt32 (x0, x1) ->
10928
11531
Ast.PaApp (_loc,
10931
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10932
Ast.IdUid (_loc, "PaInt32"))),
10934
meta_string _loc x1)
11535
(Ast.IdUid (_loc, "Ast")),
11536
(Ast.IdUid (_loc, "PaInt32")))))),
11537
(meta_loc _loc x0))),
11538
(meta_string _loc x1))
10935
11539
| Ast.PaInt (x0, x1) ->
10936
11540
Ast.PaApp (_loc,
10939
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10940
Ast.IdUid (_loc, "PaInt"))),
10942
meta_string _loc x1)
11544
(Ast.IdUid (_loc, "Ast")),
11545
(Ast.IdUid (_loc, "PaInt")))))),
11546
(meta_loc _loc x0))),
11547
(meta_string _loc x1))
10943
11548
| Ast.PaChr (x0, x1) ->
10944
11549
Ast.PaApp (_loc,
10947
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10948
Ast.IdUid (_loc, "PaChr"))),
10950
meta_string _loc x1)
11553
(Ast.IdUid (_loc, "Ast")),
11554
(Ast.IdUid (_loc, "PaChr")))))),
11555
(meta_loc _loc x0))),
11556
(meta_string _loc x1))
10951
11557
| Ast.PaSem (x0, x1, x2) ->
10952
11558
Ast.PaApp (_loc,
10957
Ast.IdUid (_loc, "Ast"),
10958
Ast.IdUid (_loc, "PaSem"))),
10960
meta_patt _loc x1),
11563
(Ast.IdUid (_loc, "Ast")),
11564
(Ast.IdUid (_loc, "PaSem")))))),
11565
(meta_loc _loc x0))),
11566
(meta_patt _loc x1))),
11567
(meta_patt _loc x2))
10962
11568
| Ast.PaCom (x0, x1, x2) ->
10963
11569
Ast.PaApp (_loc,
10968
Ast.IdUid (_loc, "Ast"),
10969
Ast.IdUid (_loc, "PaCom"))),
10971
meta_patt _loc x1),
11574
(Ast.IdUid (_loc, "Ast")),
11575
(Ast.IdUid (_loc, "PaCom")))))),
11576
(meta_loc _loc x0))),
11577
(meta_patt _loc x1))),
11578
(meta_patt _loc x2))
10973
11579
| Ast.PaArr (x0, x1) ->
10974
11580
Ast.PaApp (_loc,
10977
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10978
Ast.IdUid (_loc, "PaArr"))),
11584
(Ast.IdUid (_loc, "Ast")),
11585
(Ast.IdUid (_loc, "PaArr")))))),
11586
(meta_loc _loc x0))),
11587
(meta_patt _loc x1))
10981
11588
| Ast.PaApp (x0, x1, x2) ->
10982
11589
Ast.PaApp (_loc,
10987
Ast.IdUid (_loc, "Ast"),
10988
Ast.IdUid (_loc, "PaApp"))),
10990
meta_patt _loc x1),
11594
(Ast.IdUid (_loc, "Ast")),
11595
(Ast.IdUid (_loc, "PaApp")))))),
11596
(meta_loc _loc x0))),
11597
(meta_patt _loc x1))),
11598
(meta_patt _loc x2))
10992
11599
| Ast.PaAny x0 ->
10993
11600
Ast.PaApp (_loc,
10995
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
10996
Ast.IdUid (_loc, "PaAny"))),
11603
(Ast.IdUid (_loc, "Ast")),
11604
(Ast.IdUid (_loc, "PaAny")))))),
11605
(meta_loc _loc x0))
10998
11606
| Ast.PaAnt (x0, x1) -> Ast.PaAnt (x0, x1)
10999
11607
| Ast.PaAli (x0, x1, x2) ->
11000
11608
Ast.PaApp (_loc,
11005
Ast.IdUid (_loc, "Ast"),
11006
Ast.IdUid (_loc, "PaAli"))),
11008
meta_patt _loc x1),
11613
(Ast.IdUid (_loc, "Ast")),
11614
(Ast.IdUid (_loc, "PaAli")))))),
11615
(meta_loc _loc x0))),
11616
(meta_patt _loc x1))),
11617
(meta_patt _loc x2))
11010
11618
| Ast.PaId (x0, x1) ->
11011
11619
Ast.PaApp (_loc,
11014
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11015
Ast.IdUid (_loc, "PaId"))),
11017
meta_ident _loc x1)
11623
(Ast.IdUid (_loc, "Ast")),
11624
(Ast.IdUid (_loc, "PaId")))))),
11625
(meta_loc _loc x0))),
11626
(meta_ident _loc x1))
11018
11627
| Ast.PaNil x0 ->
11019
11628
Ast.PaApp (_loc,
11021
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11022
Ast.IdUid (_loc, "PaNil"))),
11631
(Ast.IdUid (_loc, "Ast")),
11632
(Ast.IdUid (_loc, "PaNil")))))),
11633
(meta_loc _loc x0))
11634
and meta_private_flag _loc =
11636
| Ast.PrAnt x0 -> Ast.PaAnt (_loc, x0)
11639
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11640
(Ast.IdUid (_loc, "PrNil")))))
11643
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11644
(Ast.IdUid (_loc, "PrPrivate")))))
11024
11645
and meta_rec_binding _loc =
11026
11647
| Ast.RbAnt (x0, x1) -> Ast.PaAnt (x0, x1)
11027
11648
| Ast.RbEq (x0, x1, x2) ->
11028
11649
Ast.PaApp (_loc,
11033
Ast.IdUid (_loc, "Ast"),
11034
Ast.IdUid (_loc, "RbEq"))),
11036
meta_ident _loc x1),
11654
(Ast.IdUid (_loc, "Ast")),
11655
(Ast.IdUid (_loc, "RbEq")))))),
11656
(meta_loc _loc x0))),
11657
(meta_ident _loc x1))),
11658
(meta_expr _loc x2))
11038
11659
| Ast.RbSem (x0, x1, x2) ->
11039
11660
Ast.PaApp (_loc,
11044
Ast.IdUid (_loc, "Ast"),
11045
Ast.IdUid (_loc, "RbSem"))),
11047
meta_rec_binding _loc x1),
11048
meta_rec_binding _loc x2)
11665
(Ast.IdUid (_loc, "Ast")),
11666
(Ast.IdUid (_loc, "RbSem")))))),
11667
(meta_loc _loc x0))),
11668
(meta_rec_binding _loc x1))),
11669
(meta_rec_binding _loc x2))
11049
11670
| Ast.RbNil x0 ->
11050
11671
Ast.PaApp (_loc,
11052
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11053
Ast.IdUid (_loc, "RbNil"))),
11674
(Ast.IdUid (_loc, "Ast")),
11675
(Ast.IdUid (_loc, "RbNil")))))),
11676
(meta_loc _loc x0))
11677
and meta_rec_flag _loc =
11679
| Ast.ReAnt x0 -> Ast.PaAnt (_loc, x0)
11682
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11683
(Ast.IdUid (_loc, "ReNil")))))
11684
| Ast.ReRecursive ->
11686
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11687
(Ast.IdUid (_loc, "ReRecursive")))))
11688
and meta_row_var_flag _loc =
11690
| Ast.RvAnt x0 -> Ast.PaAnt (_loc, x0)
11693
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11694
(Ast.IdUid (_loc, "RvNil")))))
11697
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11698
(Ast.IdUid (_loc, "RvRowVar")))))
11055
11699
and meta_sig_item _loc =
11057
11701
| Ast.SgAnt (x0, x1) -> Ast.PaAnt (x0, x1)
11058
11702
| Ast.SgVal (x0, x1, x2) ->
11059
11703
Ast.PaApp (_loc,
11064
Ast.IdUid (_loc, "Ast"),
11065
Ast.IdUid (_loc, "SgVal"))),
11067
meta_string _loc x1),
11708
(Ast.IdUid (_loc, "Ast")),
11709
(Ast.IdUid (_loc, "SgVal")))))),
11710
(meta_loc _loc x0))),
11711
(meta_string _loc x1))),
11712
(meta_ctyp _loc x2))
11069
11713
| Ast.SgTyp (x0, x1) ->
11070
11714
Ast.PaApp (_loc,
11073
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11074
Ast.IdUid (_loc, "SgTyp"))),
11718
(Ast.IdUid (_loc, "Ast")),
11719
(Ast.IdUid (_loc, "SgTyp")))))),
11720
(meta_loc _loc x0))),
11721
(meta_ctyp _loc x1))
11077
11722
| Ast.SgOpn (x0, x1) ->
11078
11723
Ast.PaApp (_loc,
11081
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11082
Ast.IdUid (_loc, "SgOpn"))),
11084
meta_ident _loc x1)
11727
(Ast.IdUid (_loc, "Ast")),
11728
(Ast.IdUid (_loc, "SgOpn")))))),
11729
(meta_loc _loc x0))),
11730
(meta_ident _loc x1))
11085
11731
| Ast.SgMty (x0, x1, x2) ->
11086
11732
Ast.PaApp (_loc,
11091
Ast.IdUid (_loc, "Ast"),
11092
Ast.IdUid (_loc, "SgMty"))),
11094
meta_string _loc x1),
11095
meta_module_type _loc x2)
11737
(Ast.IdUid (_loc, "Ast")),
11738
(Ast.IdUid (_loc, "SgMty")))))),
11739
(meta_loc _loc x0))),
11740
(meta_string _loc x1))),
11741
(meta_module_type _loc x2))
11096
11742
| Ast.SgRecMod (x0, x1) ->
11097
11743
Ast.PaApp (_loc,
11100
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11101
Ast.IdUid (_loc, "SgRecMod"))),
11103
meta_module_binding _loc x1)
11747
(Ast.IdUid (_loc, "Ast")),
11748
(Ast.IdUid (_loc, "SgRecMod")))))),
11749
(meta_loc _loc x0))),
11750
(meta_module_binding _loc x1))
11104
11751
| Ast.SgMod (x0, x1, x2) ->
11105
11752
Ast.PaApp (_loc,
11110
Ast.IdUid (_loc, "Ast"),
11111
Ast.IdUid (_loc, "SgMod"))),
11113
meta_string _loc x1),
11114
meta_module_type _loc x2)
11757
(Ast.IdUid (_loc, "Ast")),
11758
(Ast.IdUid (_loc, "SgMod")))))),
11759
(meta_loc _loc x0))),
11760
(meta_string _loc x1))),
11761
(meta_module_type _loc x2))
11115
11762
| Ast.SgInc (x0, x1) ->
11116
11763
Ast.PaApp (_loc,
11119
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11120
Ast.IdUid (_loc, "SgInc"))),
11122
meta_module_type _loc x1)
11767
(Ast.IdUid (_loc, "Ast")),
11768
(Ast.IdUid (_loc, "SgInc")))))),
11769
(meta_loc _loc x0))),
11770
(meta_module_type _loc x1))
11123
11771
| Ast.SgExt (x0, x1, x2, x3) ->
11124
11772
Ast.PaApp (_loc,
11130
Ast.IdUid (_loc, "Ast"),
11131
Ast.IdUid (_loc, "SgExt"))),
11133
meta_string _loc x1),
11134
meta_ctyp _loc x2),
11135
meta_meta_list meta_string _loc x3)
11778
(Ast.IdUid (_loc, "Ast")),
11779
(Ast.IdUid (_loc, "SgExt")))))),
11780
(meta_loc _loc x0))),
11781
(meta_string _loc x1))),
11782
(meta_ctyp _loc x2))),
11783
(meta_meta_list meta_string _loc x3))
11136
11784
| Ast.SgExc (x0, x1) ->
11137
11785
Ast.PaApp (_loc,
11140
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11141
Ast.IdUid (_loc, "SgExc"))),
11789
(Ast.IdUid (_loc, "Ast")),
11790
(Ast.IdUid (_loc, "SgExc")))))),
11791
(meta_loc _loc x0))),
11792
(meta_ctyp _loc x1))
11144
11793
| Ast.SgDir (x0, x1, x2) ->
11145
11794
Ast.PaApp (_loc,
11150
Ast.IdUid (_loc, "Ast"),
11151
Ast.IdUid (_loc, "SgDir"))),
11153
meta_string _loc x1),
11799
(Ast.IdUid (_loc, "Ast")),
11800
(Ast.IdUid (_loc, "SgDir")))))),
11801
(meta_loc _loc x0))),
11802
(meta_string _loc x1))),
11803
(meta_expr _loc x2))
11155
11804
| Ast.SgSem (x0, x1, x2) ->
11156
11805
Ast.PaApp (_loc,
11161
Ast.IdUid (_loc, "Ast"),
11162
Ast.IdUid (_loc, "SgSem"))),
11164
meta_sig_item _loc x1),
11165
meta_sig_item _loc x2)
11810
(Ast.IdUid (_loc, "Ast")),
11811
(Ast.IdUid (_loc, "SgSem")))))),
11812
(meta_loc _loc x0))),
11813
(meta_sig_item _loc x1))),
11814
(meta_sig_item _loc x2))
11166
11815
| Ast.SgClt (x0, x1) ->
11167
11816
Ast.PaApp (_loc,
11170
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11171
Ast.IdUid (_loc, "SgClt"))),
11173
meta_class_type _loc x1)
11820
(Ast.IdUid (_loc, "Ast")),
11821
(Ast.IdUid (_loc, "SgClt")))))),
11822
(meta_loc _loc x0))),
11823
(meta_class_type _loc x1))
11174
11824
| Ast.SgCls (x0, x1) ->
11175
11825
Ast.PaApp (_loc,
11178
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11179
Ast.IdUid (_loc, "SgCls"))),
11181
meta_class_type _loc x1)
11829
(Ast.IdUid (_loc, "Ast")),
11830
(Ast.IdUid (_loc, "SgCls")))))),
11831
(meta_loc _loc x0))),
11832
(meta_class_type _loc x1))
11182
11833
| Ast.SgNil x0 ->
11183
11834
Ast.PaApp (_loc,
11185
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11186
Ast.IdUid (_loc, "SgNil"))),
11837
(Ast.IdUid (_loc, "Ast")),
11838
(Ast.IdUid (_loc, "SgNil")))))),
11839
(meta_loc _loc x0))
11188
11840
and meta_str_item _loc =
11190
11842
| Ast.StAnt (x0, x1) -> Ast.PaAnt (x0, x1)
11191
11843
| Ast.StVal (x0, x1, x2) ->
11192
11844
Ast.PaApp (_loc,
11197
Ast.IdUid (_loc, "Ast"),
11198
Ast.IdUid (_loc, "StVal"))),
11200
meta_meta_bool _loc x1),
11201
meta_binding _loc x2)
11849
(Ast.IdUid (_loc, "Ast")),
11850
(Ast.IdUid (_loc, "StVal")))))),
11851
(meta_loc _loc x0))),
11852
(meta_rec_flag _loc x1))),
11853
(meta_binding _loc x2))
11202
11854
| Ast.StTyp (x0, x1) ->
11203
11855
Ast.PaApp (_loc,
11206
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11207
Ast.IdUid (_loc, "StTyp"))),
11859
(Ast.IdUid (_loc, "Ast")),
11860
(Ast.IdUid (_loc, "StTyp")))))),
11861
(meta_loc _loc x0))),
11862
(meta_ctyp _loc x1))
11210
11863
| Ast.StOpn (x0, x1) ->
11211
11864
Ast.PaApp (_loc,
11214
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11215
Ast.IdUid (_loc, "StOpn"))),
11217
meta_ident _loc x1)
11868
(Ast.IdUid (_loc, "Ast")),
11869
(Ast.IdUid (_loc, "StOpn")))))),
11870
(meta_loc _loc x0))),
11871
(meta_ident _loc x1))
11218
11872
| Ast.StMty (x0, x1, x2) ->
11219
11873
Ast.PaApp (_loc,
11224
Ast.IdUid (_loc, "Ast"),
11225
Ast.IdUid (_loc, "StMty"))),
11227
meta_string _loc x1),
11228
meta_module_type _loc x2)
11878
(Ast.IdUid (_loc, "Ast")),
11879
(Ast.IdUid (_loc, "StMty")))))),
11880
(meta_loc _loc x0))),
11881
(meta_string _loc x1))),
11882
(meta_module_type _loc x2))
11229
11883
| Ast.StRecMod (x0, x1) ->
11230
11884
Ast.PaApp (_loc,
11233
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11234
Ast.IdUid (_loc, "StRecMod"))),
11236
meta_module_binding _loc x1)
11888
(Ast.IdUid (_loc, "Ast")),
11889
(Ast.IdUid (_loc, "StRecMod")))))),
11890
(meta_loc _loc x0))),
11891
(meta_module_binding _loc x1))
11237
11892
| Ast.StMod (x0, x1, x2) ->
11238
11893
Ast.PaApp (_loc,
11243
Ast.IdUid (_loc, "Ast"),
11244
Ast.IdUid (_loc, "StMod"))),
11246
meta_string _loc x1),
11247
meta_module_expr _loc x2)
11898
(Ast.IdUid (_loc, "Ast")),
11899
(Ast.IdUid (_loc, "StMod")))))),
11900
(meta_loc _loc x0))),
11901
(meta_string _loc x1))),
11902
(meta_module_expr _loc x2))
11248
11903
| Ast.StInc (x0, x1) ->
11249
11904
Ast.PaApp (_loc,
11252
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11253
Ast.IdUid (_loc, "StInc"))),
11255
meta_module_expr _loc x1)
11908
(Ast.IdUid (_loc, "Ast")),
11909
(Ast.IdUid (_loc, "StInc")))))),
11910
(meta_loc _loc x0))),
11911
(meta_module_expr _loc x1))
11256
11912
| Ast.StExt (x0, x1, x2, x3) ->
11257
11913
Ast.PaApp (_loc,
11263
Ast.IdUid (_loc, "Ast"),
11264
Ast.IdUid (_loc, "StExt"))),
11266
meta_string _loc x1),
11267
meta_ctyp _loc x2),
11268
meta_meta_list meta_string _loc x3)
11919
(Ast.IdUid (_loc, "Ast")),
11920
(Ast.IdUid (_loc, "StExt")))))),
11921
(meta_loc _loc x0))),
11922
(meta_string _loc x1))),
11923
(meta_ctyp _loc x2))),
11924
(meta_meta_list meta_string _loc x3))
11269
11925
| Ast.StExp (x0, x1) ->
11270
11926
Ast.PaApp (_loc,
11273
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11274
Ast.IdUid (_loc, "StExp"))),
11930
(Ast.IdUid (_loc, "Ast")),
11931
(Ast.IdUid (_loc, "StExp")))))),
11932
(meta_loc _loc x0))),
11933
(meta_expr _loc x1))
11277
11934
| Ast.StExc (x0, x1, x2) ->
11278
11935
Ast.PaApp (_loc,
11283
Ast.IdUid (_loc, "Ast"),
11284
Ast.IdUid (_loc, "StExc"))),
11286
meta_ctyp _loc x1),
11287
meta_meta_option meta_ident _loc x2)
11940
(Ast.IdUid (_loc, "Ast")),
11941
(Ast.IdUid (_loc, "StExc")))))),
11942
(meta_loc _loc x0))),
11943
(meta_ctyp _loc x1))),
11944
(meta_meta_option meta_ident _loc x2))
11288
11945
| Ast.StDir (x0, x1, x2) ->
11289
11946
Ast.PaApp (_loc,
11294
Ast.IdUid (_loc, "Ast"),
11295
Ast.IdUid (_loc, "StDir"))),
11297
meta_string _loc x1),
11951
(Ast.IdUid (_loc, "Ast")),
11952
(Ast.IdUid (_loc, "StDir")))))),
11953
(meta_loc _loc x0))),
11954
(meta_string _loc x1))),
11955
(meta_expr _loc x2))
11299
11956
| Ast.StSem (x0, x1, x2) ->
11300
11957
Ast.PaApp (_loc,
11305
Ast.IdUid (_loc, "Ast"),
11306
Ast.IdUid (_loc, "StSem"))),
11308
meta_str_item _loc x1),
11309
meta_str_item _loc x2)
11962
(Ast.IdUid (_loc, "Ast")),
11963
(Ast.IdUid (_loc, "StSem")))))),
11964
(meta_loc _loc x0))),
11965
(meta_str_item _loc x1))),
11966
(meta_str_item _loc x2))
11310
11967
| Ast.StClt (x0, x1) ->
11311
11968
Ast.PaApp (_loc,
11314
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11315
Ast.IdUid (_loc, "StClt"))),
11317
meta_class_type _loc x1)
11972
(Ast.IdUid (_loc, "Ast")),
11973
(Ast.IdUid (_loc, "StClt")))))),
11974
(meta_loc _loc x0))),
11975
(meta_class_type _loc x1))
11318
11976
| Ast.StCls (x0, x1) ->
11319
11977
Ast.PaApp (_loc,
11322
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11323
Ast.IdUid (_loc, "StCls"))),
11325
meta_class_expr _loc x1)
11981
(Ast.IdUid (_loc, "Ast")),
11982
(Ast.IdUid (_loc, "StCls")))))),
11983
(meta_loc _loc x0))),
11984
(meta_class_expr _loc x1))
11326
11985
| Ast.StNil x0 ->
11327
11986
Ast.PaApp (_loc,
11329
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11330
Ast.IdUid (_loc, "StNil"))),
11989
(Ast.IdUid (_loc, "Ast")),
11990
(Ast.IdUid (_loc, "StNil")))))),
11991
(meta_loc _loc x0))
11992
and meta_virtual_flag _loc =
11994
| Ast.ViAnt x0 -> Ast.PaAnt (_loc, x0)
11997
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
11998
(Ast.IdUid (_loc, "ViNil")))))
12001
(Ast.IdAcc (_loc, (Ast.IdUid (_loc, "Ast")),
12002
(Ast.IdUid (_loc, "ViVirtual")))))
11332
12003
and meta_with_constr _loc =
11334
12005
| Ast.WcAnt (x0, x1) -> Ast.PaAnt (x0, x1)
11335
12006
| Ast.WcAnd (x0, x1, x2) ->
11336
12007
Ast.PaApp (_loc,
11341
Ast.IdUid (_loc, "Ast"),
11342
Ast.IdUid (_loc, "WcAnd"))),
11344
meta_with_constr _loc x1),
11345
meta_with_constr _loc x2)
12012
(Ast.IdUid (_loc, "Ast")),
12013
(Ast.IdUid (_loc, "WcAnd")))))),
12014
(meta_loc _loc x0))),
12015
(meta_with_constr _loc x1))),
12016
(meta_with_constr _loc x2))
12017
| Ast.WcMoS (x0, x1, x2) ->
12023
(Ast.IdUid (_loc, "Ast")),
12024
(Ast.IdUid (_loc, "WcMoS")))))),
12025
(meta_loc _loc x0))),
12026
(meta_ident _loc x1))),
12027
(meta_ident _loc x2))
12028
| Ast.WcTyS (x0, x1, x2) ->
12034
(Ast.IdUid (_loc, "Ast")),
12035
(Ast.IdUid (_loc, "WcTyS")))))),
12036
(meta_loc _loc x0))),
12037
(meta_ctyp _loc x1))),
12038
(meta_ctyp _loc x2))
11346
12039
| Ast.WcMod (x0, x1, x2) ->
11347
12040
Ast.PaApp (_loc,
11352
Ast.IdUid (_loc, "Ast"),
11353
Ast.IdUid (_loc, "WcMod"))),
11355
meta_ident _loc x1),
11356
meta_ident _loc x2)
12045
(Ast.IdUid (_loc, "Ast")),
12046
(Ast.IdUid (_loc, "WcMod")))))),
12047
(meta_loc _loc x0))),
12048
(meta_ident _loc x1))),
12049
(meta_ident _loc x2))
11357
12050
| Ast.WcTyp (x0, x1, x2) ->
11358
12051
Ast.PaApp (_loc,
11363
Ast.IdUid (_loc, "Ast"),
11364
Ast.IdUid (_loc, "WcTyp"))),
11366
meta_ctyp _loc x1),
12056
(Ast.IdUid (_loc, "Ast")),
12057
(Ast.IdUid (_loc, "WcTyp")))))),
12058
(meta_loc _loc x0))),
12059
(meta_ctyp _loc x1))),
12060
(meta_ctyp _loc x2))
11368
12061
| Ast.WcNil x0 ->
11369
12062
Ast.PaApp (_loc,
11371
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Ast"),
11372
Ast.IdUid (_loc, "WcNil"))),
12065
(Ast.IdUid (_loc, "Ast")),
12066
(Ast.IdUid (_loc, "WcNil")))))),
12067
(meta_loc _loc x0))