support data record value syntax

2 files changed, 6 insertions, 2 deletions

diff --git a/prototypes/Infer.hs b/prototypes/Infer.hs
index 8cd060d5..1bdaffe0 100644
--- a/prototypes/Infer.hs
+++ b/prototypes/Infer.hs
@@ -1464,9 +1464,12 @@ parseTerm ns PrecOp e = (asks $ \dcls -> calculatePrecs dcls e) <*> p' where
     p op = do (exp, op') <- try ((,) <$> parseTerm ns PrecApp e <*> operator')
               ((op, exp):) <$> p op'
        <|> pure . (,) op <$> parseTerm ns PrecLam e
-parseTerm ns PrecApp e = foldl sapp <$> parseTerm ns PrecAtom e <*> many
+parseTerm ns PrecApp e = 
+    try {- TODO: adjust try for better error messages e.g. don't use braces -}
+      (foldl sapp <$> (sVar e <$> upperCaseIdent ns) <*> braces (commaSep $ lcIdents ns *> operator "=" *> ((,) Visible <$> parseTerm ns PrecAtom e))) <|>
+    (foldl sapp <$> parseTerm ns PrecAtom e <*> many
             (   (,) Visible <$> parseTerm ns PrecAtom e
-            <|> (,) Hidden <$ operator "@" <*> parseTTerm ns PrecAtom e)
+            <|> (,) Hidden <$ operator "@" <*> parseTTerm ns PrecAtom e))
 parseTerm ns PrecAtom e =
      sLit . LChar    <$> charLiteral
  <|> sLit . LString  <$> stringLiteral
diff --git a/prototypes/tests/accept/Material.lc b/prototypes/tests/accept/Material.lc
new file mode 120000
index 00000000..828663d7
--- /dev/null
+++ b/prototypes/tests/accept/Material.lc
@@ -0,0 +1 @@
+/Users/csaba/haskell/lc/lambdacube-compiler/tests/accept/Material.lc
\ No newline at end of file