git.iko.soy/Idris-dev
on master help sign in
Added backtick notation: e.g. x xs
commit022e230b673dc3c2ac751285fe0c1481f5d1a31e authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateThu 23 Feb 2012, 16:43 (15 years ago) parenta12ecc2
2 files changed+11−5
compare with master
unifiedsplit
CHANGELOG+2 src/Idris/Parser.hs+9−5
CHANGELOG+2
@@ -3,12 +3,14 @@ New in 0.9.2:
33
44User visible changes:
55
6+* backtick notation added: x `foo` y ==> foo x y
67* case expressions allowed in type signatures
78* Library extensions in prelude.vect and prelude.algebra
89
910Internal changes:
1011
1112* Some type class resolution fixes
13+* Several minor bug fixes
1214
1315New in 0.9.1:
1416-------------
src/Idris/Parser.hs+9−5
@@ -941,7 +941,8 @@ table fixes
941941 = [[prefix "-" (\fc x -> PApp fc (PRef fc (UN "-"))
942942 [pexp (PApp fc (PRef fc (UN "fromInteger")) [pexp (PConstant (I 0))]), pexp x])]]
943943 ++ toTable (reverse fixes) ++
944− [[binary "=" (\fc x y -> PEq fc x y) AssocLeft],
944+ [[backtick],
945+ [binary "=" (\fc x y -> PEq fc x y) AssocLeft],
945946 [binary "->" (\fc x y -> PPi expl (MN 42 "__pi_arg") x y) AssocRight]]
946947
947948toTable fs = map (map toBin)
@@ -954,10 +955,13 @@ toTable fs = map (map toBin)
954955 assoc (Infixr _) = AssocRight
955956 assoc (InfixN _) = AssocNone
956957
957−binary name f assoc = Infix (do { reservedOp name; fc <- pfc;
958− return (f fc) }) assoc
959−prefix name f = Prefix (do { reservedOp name; fc <- pfc;
960− return (f fc) })
958+binary name f assoc = Infix (do reservedOp name; fc <- pfc;
959+ return (f fc)) assoc
960+prefix name f = Prefix (do reservedOp name; fc <- pfc;
961+ return (f fc))
962+backtick = Infix (do lchar '`'; n <- pfName; lchar '`'
963+ fc <- pfc
964+ return (\x y -> PApp fc (PRef fc n) [pexp x, pexp y])) AssocNone
961965
962966--------- Data declarations ---------
963967