Created
October 25, 2019 14:10
-
-
Save eric-corumdigital/c4af06070a794396567681fad954aa87 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module SIMPLE-SYNTAX | |
endmodule | |
module SIMPLE | |
imports BOOL | |
imports INT | |
syntax S ::= "mul(" S "," S ")" | |
| "i(" Int ")" | |
rule mul( X:Int , Y:Int ) => X *Int Y | |
endmodule |
Author
eric-corumdigital
commented
Oct 25, 2019
•
mul(_, _)
takes two S
, but you've given it two Int
. Did you mean to subsort syntax S ::= Int
?
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment