git.iko.soy/Idris-dev
on master help sign in
Change internal names of pattern bindings
03b9980Edwin Brady
libs/base/System.idr+1−1
compare with master
unifiedsplit
@@ -56,7 +56,7 @@ getEnvironment = getAllPairs 0 []
56exit : Int -> IO ()
56exit : Int -> IO ()
57exit code = foreign FFI_C "exit" (Int -> IO ()) code
57exit code = foreign FFI_C "exit" (Int -> IO ()) code
58
58
59−||| Get the Unix time
59+||| Get the numbers of sections since 1st January 1970, 00:00 UTC
60time : IO Integer
60time : IO Integer
61time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
61time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
62 return t
62 return t
src/Idris/DSL.hs+3−3
@@ -98,8 +98,8 @@ expandSugar dsl (PDoBlock ds)
98 block b (DoBind fc n nfc tm : rest)
98 block b (DoBind fc n nfc tm : rest)
99 = PApp fc b [pexp tm, pexp (PLam fc n nfc Placeholder (block b rest))]
99 = PApp fc b [pexp tm, pexp (PLam fc n nfc Placeholder (block b rest))]
100 block b (DoBindP fc p tm alts : rest)
100 block b (DoBindP fc p tm alts : rest)
101− = PApp fc b [pexp tm, pexp (PLam fc (sMN 0 "bpat") NoFC Placeholder
101+ = PApp fc b [pexp tm, pexp (PLam fc (sMN 0 "__bpat") NoFC Placeholder
102− (PCase fc (PRef fc [] (sMN 0 "bpat"))
102+ (PCase fc (PRef fc [] (sMN 0 "__bpat"))
103 ((p, block b rest) : alts)))]
103 ((p, block b rest) : alts)))]
104 block b (DoLet fc n nfc ty tm : rest)
104 block b (DoLet fc n nfc ty tm : rest)
105 = PLet fc n nfc ty tm (block b rest)
105 = PLet fc n nfc ty tm (block b rest)
@@ -108,7 +108,7 @@ expandSugar dsl (PDoBlock ds)
108 block b (DoExp fc tm : rest)
108 block b (DoExp fc tm : rest)
109 = PApp fc b
109 = PApp fc b
110 [pexp tm,
110 [pexp tm,
111− pexp (PLam fc (sMN 0 "bindx") NoFC (mkTy tm) (block b rest))]
111+ pexp (PLam fc (sMN 0 "__bindx") NoFC (mkTy tm) (block b rest))]
112 where mkTy (PCase _ _ _) = PRef fc [] unitTy
112 where mkTy (PCase _ _ _) = PRef fc [] unitTy
113 mkTy (PMetavar _ _) = PRef fc [] unitTy
113 mkTy (PMetavar _ _) = PRef fc [] unitTy
114 mkTy _ = Placeholder
114 mkTy _ = Placeholder