msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

pair examples

Browse Source
This commit is contained in:
crumbtoo
2023-11-22 16:09:28 -07:00
parent 5cd645e5d6
commit 3f2dfe0c96
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/Core/Examples.hs
View File

@@ -1,4 +1,5 @@
{-# LANGUAGE QuasiQuotes #-} {-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE OverloadedStrings #-}
module Core.Examples where module Core.Examples where
---------------------------------------------------------------------------------- ----------------------------------------------------------------------------------
import Core.Syntax import Core.Syntax
@@ -77,6 +78,10 @@ facExample = [coreProg|
main = fac 3; main = fac 3;
|] |]
pairExample = [coreProg|
main = fst (snd (fst (MkPair (MkPair 1 (MkPair 2 3)) 4)));
|]
corePrelude :: Module corePrelude :: Module
corePrelude = Module (Just ("Prelude", [])) $ Program corePrelude = Module (Just ("Prelude", [])) $ Program
[ ScDef "id" ["x"] (Var "x") [ ScDef "id" ["x"] (Var "x")
@@ -87,5 +92,8 @@ corePrelude = Module (Just ("Prelude", [])) $ Program
, ScDef "twice" ["f", "x"] (Var "f" :$ (Var "f" :$ Var "x")) , ScDef "twice" ["f", "x"] (Var "f" :$ (Var "f" :$ Var "x"))
, ScDef "False" [] $ Con 0 0 , ScDef "False" [] $ Con 0 0
, ScDef "True" [] $ Con 1 0 , ScDef "True" [] $ Con 1 0
, ScDef "MkPair" [] $ Con 1 2
-- , ScDef "fst" ["p"] $ "casePair#" :$ "p" :$ "k"
-- , ScDef "snd" ["p"] $ "casePair#" :$ "p" :$ "k1"
] ]