@@ -744,7 +744,9 @@ process fn (NewDefn decls) = do
744 defineName (PFix fc fixity strs : defns) = do
744 defineName (PFix fc fixity strs : defns) = do
745 fmodifyState idris_fixities (map (Fix fixity) strs ++)
745 fmodifyState idris_fixities (map (Fix fixity) strs ++)
746 unless (null defns) $ defineName defns
746 unless (null defns) $ defineName defns
747− defineName (PSyntax{}:_) = tclift $ tfail (Msg "That kind of declaration is not supported. If you feel it should be supported, please submit an issue at https://github.com/idris-lang/Idris-dev.")
747+ defineName (PSyntax _ syntax:_) = do
749+ put (addReplSyntax i syntax)
748 defineName decls = do
750 defineName decls = do
749 elabDecls toplevel (map fixClauses decls)
751 elabDecls toplevel (map fixClauses decls)
750 setReplDefined (getName (head decls))
752 setReplDefined (getName (head decls))