math/hs-syfco/files/patch-src_lib_Reader.hs


1
2
3
4
5
6
7
8
9
10
11

--- src/lib/Reader.hs.orig	2022-10-28 19:22:32 UTC
+++ src/lib/Reader.hs
@@ -102,7 +102,7 @@ fromTLSF str =
   inferTypes >>=
 
   -- lift reader specification to global specification
-  \(s @ RD.Specification {..}) -> return
+  \(s@RD.Specification {..}) -> return
     Specification
       { source         = str
       , title          = fst title