Remove obsolete constructor matches

webdsl · Mar 9, 2022 · 44c01d3 · 44c01d3
1 parent 994489b
commit 44c01d3
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/webdsl.editor/trans/typecheck/navigate.str b/webdsl.editor/trans/typecheck/navigate.str
@@ -3,14 +3,8 @@ module typecheck/navigate
 imports
   libwebdsl-front
   libwebdsl-generator
-    
+
 rules
-  
+
   declaration-of: PageCall(name, args) -> page
     where page := <PageDecl> name
-
-rules
-
-  desugar-def: DispatchNavigateCall(name, args) -> PageCall(name, args)
-  desugar-def: DispatchNavigateCallNoArg(name) -> PageCall(name, [])
-