Closed zwrawr closed 9 months ago
fixes tests failing in #128
This has a similar syntax to haskell and shares the same comments ---comment and {- multiline -} , for some reason it's block comment was set up as /* multiline */. this makes the tests pass. https://agda.readthedocs.io/en/latest/language/lexical-structure.html#comments https://wiki.portal.chalmers.se/agda/ReferenceManual/Comments#:~:text=Agda%20has%20both%20single%2Dline,delimited%20by%20%7B%2D%20and%20%2D%7D%20.
---comment
{- multiline -}
/* multiline */
comment heading here https://www.renpy.org/doc/html/language_basics.html SDL heading here https://www.renpy.org/doc/html/other.html
The ren py test was just set up wrong
""" \""" block comment \""" # a $ source.code() #comment show code #comment # comment ''' another block comment ''' """
The above has two source lines $ source.code() #comment and show code #comment not one. And it has 4 single line comments in
$ source.code() #comment
show code #comment
I'm sorry, there are conflicts now, would you mind to solve them?
Thanks to your explanation I just fixed it myself. Thank you!
fixes tests failing in #128
Agda #116
This has a similar syntax to haskell and shares the same comments
---comment
and{- multiline -}
, for some reason it's block comment was set up as/* multiline */
. this makes the tests pass. https://agda.readthedocs.io/en/latest/language/lexical-structure.html#comments https://wiki.portal.chalmers.se/agda/ReferenceManual/Comments#:~:text=Agda%20has%20both%20single%2Dline,delimited%20by%20%7B%2D%20and%20%2D%7D%20.Ren'py #119
comment heading here https://www.renpy.org/doc/html/language_basics.html SDL heading here https://www.renpy.org/doc/html/other.html
The ren py test was just set up wrong
The above has two source lines
$ source.code() #comment
andshow code #comment
not one. And it has 4 single line comments in