Commit 407737c6 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl
Browse files
parents 5fdfea3f b2071c08
...@@ -317,7 +317,7 @@ where ...@@ -317,7 +317,7 @@ where
# (token, scanState) = nextToken GeneralContext scanState # (token, scanState) = nextToken GeneralContext scanState
| is_icl_mod | is_icl_mod
| token == ModuleToken | token == ModuleToken
# (token, scanState) = nextToken GeneralContext scanState # (token, scanState) = nextToken ModuleNameContext scanState
= try_module_name token MK_Main scanState = try_module_name token MK_Main scanState
| token == ImpModuleToken | token == ImpModuleToken
= try_module_token MK_Module scanState = try_module_token MK_Module scanState
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment