Polish Main.idr

Author: bamboo

src/Main.idr

@@ -817,7 +817,6 @@ mutual
       , positional
       , named
     ] = dartPrimInvoke fn typeArguments positionalTys positional named
-
   dartPrimFnExt
     (NS _ (UN "prim__dart_new_const"))
     [ IENull, IENull, IENull, IENull -- erased type arguments
@@ -826,17 +825,15 @@ mutual
       , positional
       , named
     ] = dartPrimNew ty ctorName positional named
-
   dartPrimFnExt
     (NS _ (UN "prim__dart_new"))
     [ IENull, IENull, IENull, IENull -- erased type arguments
       , ty
       , IEConstant (Str ctorName)
       , positional
       , named
-      , rest
+      , _
     ] = dartPrimNew ty ctorName positional named
-
   dartPrimFnExt
     (NS _ (UN "prim__dart_List_new"))
     [ elementTy