@@ -1105,7 +1105,7 @@ unApplyRaw tm = ua [] tm
1105 ua args t = (t, args)
1105 ua args t = (t, args)
1107-- | Build the reflected function definition(s) that correspond(s) to
1107-- | Build the reflected function definition(s) that correspond(s) to
1108−-- a provided unqualifed name
1108+-- a provided unqualified name
1109buildFunDefns :: IState -> Name -> [RFunDefn Term]
1109buildFunDefns :: IState -> Name -> [RFunDefn Term]
1110buildFunDefns ist n =
1110buildFunDefns ist n =
1111 [ mkFunDefn name clauses
1111 [ mkFunDefn name clauses