summaryrefslogtreecommitdiff
path: root/src/full/Agda/Compiler/UHC/Primitives.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Compiler/UHC/Primitives.hs')
-rw-r--r--src/full/Agda/Compiler/UHC/Primitives.hs14
1 files changed, 12 insertions, 2 deletions
diff --git a/src/full/Agda/Compiler/UHC/Primitives.hs b/src/full/Agda/Compiler/UHC/Primitives.hs
index c2aff71..78ca53d 100644
--- a/src/full/Agda/Compiler/UHC/Primitives.hs
+++ b/src/full/Agda/Compiler/UHC/Primitives.hs
@@ -74,11 +74,13 @@ primFunctions = M.fromList $
-- Float
, "primShowFloat"
, "primFloatEquality"
- , "primFloatLess"
+ , "primFloatNumericalEquality"
+ , "primFloatNumericalLess"
, "primNatToFloat"
, "primFloatPlus"
, "primFloatMinus"
, "primFloatTimes"
+ , "primFloatNegate"
, "primFloatDiv"
, "primFloatSqrt"
, "primRound"
@@ -87,10 +89,18 @@ primFunctions = M.fromList $
, "primExp"
, "primLog"
, "primSin"
+ , "primCos"
+ , "primTan"
+ , "primASin"
+ , "primACos"
+ , "primATan"
+ , "primATan"
+ , "primATan2"
-- Reflection
, "primQNameEquality"
, "primQNameLess"
, "primShowQName"
+ , "primQNameFixity"
, "primMetaEquality"
, "primMetaLess"
, "primShowMeta"
@@ -102,7 +112,7 @@ primFunctions = M.fromList $
-- lookup refl constructor
bt <- fromMaybe __IMPOSSIBLE__ <$> (lift $ getBuiltin' builtinRefl)
let reflNm = case T.ignoreSharing bt of
- (T.Con conHd []) -> T.conName conHd
+ (T.Con conHd _ []) -> T.conName conHd
_ -> __IMPOSSIBLE__
mkVar <$> getConstrFun reflNm